/src/tools - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools @ 0406ab94

Name	Revision	Age	Author	Comment
importer	ca7ff3f7	11 months	Lélio Brun	reformatting
seal	ca7ff3f7	11 months	Lélio Brun	reformatting
stateflow	ca7ff3f7	11 months	Lélio Brun	reformatting
tiny	ca7ff3f7	11 months	Lélio Brun	reformatting
zustre	ca7ff3f7	11 months	Lélio Brun	reformatting

#	Date	Author	Comment
ca7ff3f7	06/17/2021 11:33 AM	Lélio Brun	reformatting
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
ef598ac3	11/17/2020 04:38 PM	Pierre-Loïc Garoche	moved from Num to Zarith. IMpacted main.ml ad uses of Z3 in zustre_cex and seal-extract
58fd528a	07/09/2020 03:27 PM	Pierre-Loïc Garoche	Added some missing locations in tiny plugin
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
a0c92fa8	01/27/2020 04:24 PM	Pierre-Loïc Garoche	printing nodes + more progress on seal export
f3574a72	11/21/2019 03:49 AM	Pierre-Loïc Garoche	Moved some code
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
ea758c12	11/20/2019 08:57 PM	Pierre-Loïc Garoche	Commenting out unused variables

Also available in: Atom