Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • master default protected
1 result
Created with Raphaël 2.2.018Jan8718Dec16158729Nov262120167613Oct98715Sep18Aug139Jun513May5413Apr9843124Mar17161265316Feb10Dec98127Nov29Sep26241814109543215Jul12111098743227Jun2625242320171223May222019161Apr31Mar24201918171614131110654128Feb2624212019525Nov1412722Oct2travis 2travistravisMerge branch 'master' of https://github.com/coco-team/lustrectravistravisResolved conflict when merging salsa with horn_encoding. The current branch is the most updated.Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrecbug correction in automata.ml (order of assigned variables was not always coherent between automata branches)Merge branch 'salsa' into merge_salsa_horn_2Clean old and resolved TODOfixed a z3 bug for => within Horn clausesIntroduced the opposite of Reset call: NoReset. This simplify the general compilation process and makes the code more symmetric, hence simpler and clearer code.Removed file thanks to the use of ocamlfindsolved bug: missing parenthesis in enum typedefRefined the dependencies in the generated makefileUsing ocamlfind to link with ocamlgraphRemoved myocamlbuild.ml. Not used anymoreMerge branch 'master' of https://cavale.enseeiht.fr/git/lustreccleaned up binMerge branch 'master' into horn_enum_typesSolved bug with C backendEnable expressions in array indicesAdded by default -O0travisMerge branch 'master' of https://cavale.enseeiht.fr/git/lustrecChanged mpfr threshold to 2Merge branch 'master' of https://cavale.enseeiht.fr/git/lustrec several bugs/oddities corrected:regression bugs correctedPlugin based frameworkImport bug... .... some files missing major branche merging salsa/mpfr with trunkCleaning old filecorrected pessimistic behavior of optimization phase -O 3corrected pessimistic behavior of optimization phase -O 3