Project

General

Profile

Activity

From 07/08/2019 to 08/06/2019

07/18/2019

09:38 PM Revision 0323b9e6 (lustrec): More kind2 outputs: clocked fun call + clocked and restart fun call
Pierre-Loïc Garoche
09:02 AM Revision 73a4995a (lustrec): seal: now deals with enum
Pierre-Loïc Garoche
07:52 AM Revision ff61a638 (lustrec): when condition in kind2 printer
Pierre-Loïc Garoche
07:39 AM Revision 3b007718 (lustrec): EMF backend issue
Pierre-Loïc Garoche

07/17/2019

11:12 PM Revision 72a93147 (lustrec): seal: stateless systems
Pierre-Loïc Garoche
07:40 PM Revision 1d3f2f66 (lustrec): every in kind2 syntax
Pierre-Loïc Garoche
07:30 PM Revision ae08b9fc (lustrec): [seal] delt with Merge and when
[printer] more kind2 syntax Pierre-Loïc Garoche
02:16 AM Revision 629392e1 (lustrec): No more when suffix in clocked variables with kind2 option
Pierre-Loïc Garoche

07/16/2019

11:17 PM Revision 0697ff5b (lustrec): Produce true/false statements as constants
Pierre-Loïc Garoche
07:43 PM Revision 2200179c (lustrec): removed reload of external modules when checking algebraic loop.
Pierre-Loïc Garoche
06:54 PM Revision 25320f03 (lustrec): scheduling now report unused vars and remove their definition instea...
Pierre-Loïc Garoche
06:53 PM Revision c6c8786b (lustrec): kind2 output for printer. global option available
Pierre-Loïc Garoche
03:38 AM Revision 03c767b1 (lustrec): Seal: solved issue with guards merging
Pierre-Loïc Garoche

07/15/2019

01:36 AM Lustrec-Tests Revision 333948c1 (lustrec-tests): add simpler triplex example
hbourbou
08:19 PM Revision 3e07a17b (lustrec): Sorting expressions: less bugs
Pierre-Loïc Garoche

07/12/2019

11:24 PM Revision b8dfc744 (lustrec): valid _verif node for seal-export lustre
Pierre-Loïc Garoche
10:32 PM Revision fbcd3ad1 (lustrec): No space in comments
Pierre-Loïc Garoche
10:24 PM Revision 518951ed (lustrec): Seal export lustre
Pierre-Loïc Garoche
10:24 PM Revision faf2b835 (lustrec): Work in progress: higher level constructs for lustre elements
Pierre-Loïc Garoche
03:05 AM Revision 5b4c0069 (lustrec): Contract printer cocospec
Pierre-Loïc Garoche

07/11/2019

11:25 PM Revision 1561a5bb (lustrec): No space before contract kwd
Pierre-Loïc Garoche
11:23 PM Revision 096f48d5 (lustrec): Printing trailing zeros in real constants
Pierre-Loïc Garoche
11:12 PM Revision 0292f958 (lustrec): Export cocospec contract
Pierre-Loïc Garoche
09:14 PM Revision 3209838a (lustrec): configure.ac
Pierre-Loïc Garoche
09:10 PM Revision 3bd83542 (lustrec): Remove dep
Pierre-Loïc Garoche
09:09 PM Revision 0980686c (lustrec): Seal deps + Z3 pin opam
Pierre-Loïc Garoche
08:59 PM Revision 7a4fd94d (lustrec): Output folder for seal-extract
Pierre-Loïc Garoche
08:41 PM Lustrec-Tests Revision db87e34d (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
08:40 PM Lustrec-Tests Revision 43460259 (lustrec-tests): New folder for extraction testing
Pierre-Loïc Garoche
08:39 PM Revision 3fd36dc9 (lustrec): Seal-export to a new file
Pierre-Loïc Garoche
07:43 AM Revision d75eb6f1 (lustrec): seal-export: produce the output as well. Could be simpler
Pierre-Loïc Garoche
06:39 AM Revision 81229f63 (lustrec): Seal-extract: first serious version. Guards are gathered as a single...
Pierre-Loïc Garoche

07/10/2019

09:16 PM Revision 3b7f916b (lustrec): Updated version seal-extract
Pierre-Loïc Garoche

07/09/2019

03:02 AM Revision 47851ec2 (lustrec): Working version of seal-extract. Heavy load on z3.
TODO: improvement through memoization Pierre-Loïc Garoche
03:02 AM Revision 7659bbb1 (lustrec): Corelang function: push_negations that propagate negations in leafs ...
Pierre-Loïc Garoche
 

Also available in: Atom