Activity
From 03/14/2016 to 04/12/2016
04/12/2016
- 09:24 AM Revision 28d2185f (lustrec): bug removed: with dummy automata, lustrec would generate parameterless nodes, which is forbidden in Lustre (and would raise an exception)
- 08:49 AM Revision 2ba02d72 (lustrec): Revert old version of automata.
- 08:28 AM Revision 99124f62 (lustrec): Merge branch 'master' into horn_encoding
- Conflicts:
src/automata.ml - 08:00 AM Revision 7179288a (lustrec): Producing output vairables in horn backend
- 12:50 AM Lustrec-Tests Revision f910b2ed (lustrec-tests): added example in automata/restart_example.lus
- 12:49 AM Revision a406ac67 (lustrec): removed a bug in automata code generation
- 12:36 AM Revision 52b87ecc (lustrec): silly bug removed in automata code
04/01/2016
03/14/2016
Also available in: Atom