/src/tools - Repository - LustreC

| Branch: | Tag: | Revision:

lustrec / src / tools @ 0d79d0f3

Name	Size	Revision	Age	Author	Comment
importer		fbc571e6	over 1 year	Arnaud Dieumegard	Refactoring of vhdl data types
stateflow		8446bf03	over 1 year	Pierre-Loïc Garoche	- Makefile: solved dependency problem when comp...
zustre		7d77632f	over 1 year	Pierre-Loïc Garoche	Added two fresh vars counter and uid. uid is a ...
seal_extract.ml	12.2 KB	0d79d0f3	about 1 year	Pierre-Loïc Garoche	First working version of switched system extrac...
seal_slice.ml	4.3 KB	0d79d0f3	about 1 year	Pierre-Loïc Garoche	First working version of switched system extrac...
seal_utils.ml	74 Bytes	0d79d0f3	about 1 year	Pierre-Loïc Garoche	First working version of switched system extrac...
seal_verifier.ml	2.49 KB	0d79d0f3	about 1 year	Pierre-Loïc Garoche	First working version of switched system extrac...

#	Date	Author	Comment
0d79d0f3	11/12/2018 02:06 AM	Pierre-Loïc Garoche	First working version of switched system extraction for seal tool
a5dc55ca	11/09/2018 07:43 AM	Pierre-Loïc Garoche	Restructuring code in SEAL
a742719e	11/08/2018 09:12 AM	Pierre-Loïc Garoche	SEAL: compute the projection to switched systems. Some issues with intermediate variables and a better selection of split guard have to be addressed
a703ed0c	11/03/2018 12:03 AM	Pierre-Loïc Garoche	Preprocess the selected node in seaL BACKEND: focus on memories and perform node slicing.
b0c381d0	07/12/2018 04:04 PM	Pierre-Loïc Garoche	Merge branch 'vhdl' of https://cavale.enseeiht.fr/git/lustrec into lustrec-seal
fbc571e6	07/04/2018 04:06 PM	Arnaud Dieumegard	Refactoring of vhdl data types
7d77632f	06/22/2018 06:24 PM	Pierre-Loïc Garoche	Added two fresh vars counter and uid. uid is a list of integer denoting the specific instance of a stateful/stateless node.
57d61d67	06/22/2018 11:24 AM	Pierre-Loïc Garoche	New option to select github version of Z3 Added Yojson dependency in lustrev Some progress on Cex generation
fae1790f	06/21/2018 05:42 PM	Arnaud Dieumegard	Added support for Process statements, signal assignment, If, Exit and Null sequential statements
d77323b8	06/15/2018 05:45 PM	Arnaud Dieumegard	Added postprocessing for numeric literals

Also available in: Atom