/src/backends/C - Repository - LustreC

Name	Size	Revision	Age	Author	Comment
c_backend.ml	5.78 KB	c226a3ba	over 3 years	Lélio Brun	start generating ACSL spec
c_backend_cmake.ml	3.92 KB
c_backend_common.ml	23.4 KB	c226a3ba	over 3 years	Lélio Brun	start generating ACSL spec
c_backend_header.ml	16.1 KB	c226a3ba	over 3 years	Lélio Brun	start generating ACSL spec
c_backend_lusic.ml	630 Bytes	90cc3b8e	over 3 years	Lélio Brun	some rewriting in C backend pretty-printer
c_backend_main.ml	12.2 KB	c226a3ba	over 3 years	Lélio Brun	start generating ACSL spec
c_backend_makefile.ml	4.51 KB	57c96fb7	over 3 years	Lélio Brun	setup tests for dune
c_backend_mauve.ml	7.35 KB	ca7e8027	over 3 years	Lélio Brun	fix almost all warnings
c_backend_spec.ml	17.9 KB	c226a3ba	over 3 years	Lélio Brun	start generating ACSL spec
c_backend_src.ml	37.4 KB	c226a3ba	over 3 years	Lélio Brun	start generating ACSL spec

#	Date	Author	Comment
c226a3ba	03/01/2021 03:56 PM	Lélio Brun	start generating ACSL spec
90cc3b8e	02/19/2021 11:19 AM	Lélio Brun	some rewriting in C backend pretty-printer
1df55e58	02/16/2021 04:21 PM	Lélio Brun	minor rewriting
57c96fb7	02/15/2021 02:26 PM	Lélio Brun	setup tests for dune
ca7e8027	02/05/2021 02:36 PM	Lélio Brun	fix almost all warnings
719ae9fd	02/03/2021 02:47 PM	Lélio Brun	migration draft on dune
f0195e96	01/28/2020 05:26 AM	Pierre-Loïc Garoche	- Primitive Tiny backend - Renamed Mpfr to lustrec_mpfr - Introduced dependency in Zarith. Trying to move away from Num
8d164031	12/09/2019 04:43 PM	Pierre-Loïc Garoche	[MPFR] add more functions and better treatment of print output variables in main.c
04a188ec	11/21/2019 03:45 AM	Pierre-Loïc Garoche	- Refactored Error exception and messages - Bugs in partial evaluation for equalities among bool constants and a nice recursive call generating a stack overflow! Now solved - Setup a timeout for z3 in seal - Better log for seal
1147e80a	11/20/2019 08:57 PM	Pierre-Loïc Garoche	Array access: solved issues in C backend when basic operations in array access dimensions. Also better handling in EMF, ie further normalization through new equations

CristalCaveGem » LustreC