/src/tools - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec/src/tools @ 589ccf9f

Name	Size	Revision	Age	Author	Comment
importer		fbc571e6	almost 4 years	Arnaud Dieumegard	Refactoring of vhdl data types
seal		a0c92fa8	over 2 years	Pierre-Loïc Garoche	printing nodes + more progress on seal export
stateflow		f4cba4b8	about 3 years	Pierre-Loïc Garoche	Some progress on compiling cocospec contract. C...
tiny		58fd528a	almost 2 years	Pierre-Loïc Garoche	Added some missing locations in tiny plugin
zustre		a0c92fa8	over 2 years	Pierre-Loïc Garoche	printing nodes + more progress on seal export
.merlin	3 Bytes	ae7d913d	over 3 years	Pierre-Loïc Garoche	Merlin files

#	Date	Author	Comment
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
efc2cd2f	11/15/2019 12:34 AM	Pierre-Loïc Garoche	[seal] more progress on seal extract
73a4995a	07/18/2019 09:02 AM	Pierre-Loïc Garoche	seal: now deals with enum
72a93147	07/17/2019 11:12 PM	Pierre-Loïc Garoche	seal: stateless systems
ae08b9fc	07/17/2019 07:30 PM	Pierre-Loïc Garoche	[seal] delt with Merge and when [printer] more kind2 syntax

Also available in: Atom