/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 826063db

Name	Size	Revision	Age	Author	Comment
Ada		826063db	over 3 years	Guillaume DAVY	Ada: Correct ada main to handle statelles top l...
C		f0a067e9	over 3 years	Pierre-Loïc Garoche	Better production of trace files. By default tr...
EMF		f4cba4b8	over 3 years	Pierre-Loïc Garoche	Some progress on compiling cocospec contract. C...
Horn		19a1e66b	over 3 years	Pierre-Loïc Garoche	Added include directive that directly inject a ...
Java		ae7d913d	over 3 years	Pierre-Loïc Garoche	Merlin files
VHDL		dea84f9e	about 4 years	Pierre-Loïc Garoche	Working example!
.merlin	3 Bytes	ae7d913d	over 3 years	Pierre-Loïc Garoche	Merlin files
backends.ml	1.14 KB	ad4774b0	over 4 years	Pierre-Loïc Garoche	- Normalization parameters (alias and unfold_ar...

#	Date	Author	Comment
826063db	03/22/2019 01:50 PM	Guillaume DAVY	Ada: Correct ada main to handle statelles top level node
61e0c3c4	03/21/2019 07:23 PM	Guillaume DAVY	Ada: - Correct the merge with lustrec-seal - Improve support for builtin function(still work to do) - Add generation of a gpr file for lib(without main). - Add var initialisation in the reset, still work to do.
de671495	03/18/2019 08:31 PM	Pierre-Loïc Garoche	Merging branches, disabling the specification print in Ada backend. Should be re-enabled at some point
ab26e196	03/18/2019 04:52 PM	Pierre-Loïc Garoche	Merge branch 'lustrec-seal' into ada
c3b0a8c9	03/16/2019 03:28 PM	Pierre-Loïc Garoche	Merge branch 'salsa' into lustrec-seal
f0a067e9	03/15/2019 10:14 PM	Pierre-Loïc Garoche	Better production of trace files. By default traces are not produced. Requires the option -t to produce them
525eebd1	03/13/2019 01:27 PM	Guillaume DAVY	Ada: Correct branch exporting to handle boolean match(using an ada if)
379715f7	03/13/2019 10:42 AM	Guillaume DAVY	Ada: Improve input/output of main ada file
6e3cdaf6	03/12/2019 01:18 PM	Guillaume DAVY	Ada: Add pretty printer for case
f4cba4b8	03/12/2019 11:23 AM	Pierre-Loïc Garoche	Some progress on compiling cocospec contract. Contract resolution still need to be done as well as dealing with the machine code level and so on.

Also available in: Atom