Project

General

Profile

Statistics
| Branch: | Tag: | Revision:

lustrec / src / tools @ d75eb6f1

Name Size Revision Age Author Comment
  importer fbc571e6 over 1 year Arnaud Dieumegard Refactoring of vhdl data types
  seal d75eb6f1 5 months Pierre-Loïc Garoche seal-export: produce the output as well. Could ...
  stateflow f4cba4b8 9 months Pierre-Loïc Garoche Some progress on compiling cocospec contract. C...
  zustre 58301109 5 months Pierre-Loïc Garoche Zustre: Bug solved in const injection for reals
.merlin 3 Bytes ae7d913d about 1 year Pierre-Loïc Garoche Merlin files

Latest revisions

# Date Author Comment
d75eb6f1 07/11/2019 07:43 AM Pierre-Loïc Garoche

seal-export: produce the output as well. Could be simpler

81229f63 07/11/2019 06:39 AM Pierre-Loïc Garoche

Seal-extract: first serious version. Guards are gathered as a single expression

3b7f916b 07/10/2019 09:16 PM Pierre-Loïc Garoche

Updated version seal-extract

47851ec2 07/09/2019 03:02 AM Pierre-Loïc Garoche

Working version of seal-extract. Heavy load on z3.
TODO: improvement through memoization

7aaacbc9 07/07/2019 03:24 AM Pierre-Loïc Garoche

Better extraction in lustrev-seal

58301109 07/07/2019 03:24 AM Pierre-Loïc Garoche

Zustre: Bug solved in const injection for reals

8c934ccd 07/04/2019 06:35 AM Pierre-Loïc Garoche

lustrev seal: ongoing work on extraction as dynamical system. Still not working yet

d5ec9f63 03/18/2019 04:31 PM Pierre-Loïc Garoche

Minor modif on seal

6517aa0e 03/18/2019 03:34 PM Pierre-Loïc Garoche

Reorganizing folders

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.

View revisions

Also available in: Atom