/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 4e809854

Name	Revision	Age	Author	Comment
C	5e7cecdd	about 5 years	Pierre-Loïc Garoche	More informative error message in case of untyp...
Horn	4e809854	about 5 years	Pierre-Loïc Garoche	Cosmetic changes
Java	b38ffff3	almost 8 years	Pierre-Loïc Garoche	Updated the licence info and header for each fi...

#	Date	Author	Comment
4e809854	04/25/2017 09:41 AM	Pierre-Loïc Garoche	Cosmetic changes
5e7cecdd	04/25/2017 09:41 AM	Pierre-Loïc Garoche	More informative error message in case of untyped value
ca88e660	01/08/2016 05:37 PM	Pierre-Loïc Garoche	Resolved conflict when merging salsa with horn_encoding. The current branch is the most updated.
f0bff3e5	01/08/2016 01:41 PM	Pierre-Loïc Garoche	Merge branch 'salsa' into merge_salsa_horn_2 Postponed conflicts to be solved Conflicts: src/_tags src/backends/Horn/horn_backend.ml src/machine_code.ml src/main_lustre_compiler.ml src/myocamlbuild.ml.in src/optimize_machine.ml
a7e70823	01/07/2016 10:55 PM	Pierre-Loïc Garoche	Clean old and resolved TODO
8d0c1f8e	01/07/2016 06:44 PM	Pierre-Loïc Garoche	fixed a z3 bug for => within Horn clauses
cf9cc6f9	01/07/2016 04:43 PM	Pierre-Loïc Garoche	Introduced the opposite of Reset call: NoReset. This simplify the general compilation process and makes the code more symmetric, hence simpler and clearer code.
2ed9b6f2	01/07/2016 04:41 PM	Pierre-Loïc Garoche	solved bug: missing parenthesis in enum typedef
8eee42de	01/07/2016 04:41 PM	Pierre-Loïc Garoche	Refined the dependencies in the generated makefile
5df5dd85	12/16/2015 03:18 PM	Pierre-Loïc Garoche	Merge branch 'master' into horn_enum_types Conflicts: src/backends/Horn/horn_backend.ml

Also available in: Atom