/src/backends - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/backends @ 71999483

Name	Size	Revision	Age	Author	Comment
Ada		de671495	about 4 years	Pierre-Loïc Garoche	Merging branches, disabling the specification p...
C		71999483	about 4 years	Pierre-Loïc Garoche	Cleaning C backend - removing unused functiions...
EMF		f4cba4b8	about 4 years	Pierre-Loïc Garoche	Some progress on compiling cocospec contract. C...
Horn		19a1e66b	over 4 years	Pierre-Loïc Garoche	Added include directive that directly inject a ...
Java		ae7d913d	over 4 years	Pierre-Loïc Garoche	Merlin files
VHDL		dea84f9e	about 5 years	Pierre-Loïc Garoche	Working example!
.merlin	3 Bytes	ae7d913d	over 4 years	Pierre-Loïc Garoche	Merlin files
backends.ml	1.14 KB	ad4774b0	about 5 years	Pierre-Loïc Garoche	- Normalization parameters (alias and unfold_ar...

#	Date	Author	Comment
71999483	03/21/2019 05:18 PM	Pierre-Loïc Garoche	Cleaning C backend - removing unused functiions Preparing for coming ACSL
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.
8d22ea35	03/12/2019 09:48 AM	Guillaume DAVY	Ada: Some indentation

Also available in: Atom