From 06/27/2018 to 07/26/2018
- 08:44 PM Bug #68 (Rejected): Error compiling lustresf
- Compiling binary lustrec
Compiling binary lustret
Compiling binary lustresf
+ mkdir /home/ktrinh/cocosim/cocosim2/...
- 05:22 PM Bug #67 (Closed): Lusi generation failed because of parser in unstable branch
- Temporary disabling of Mehnir and Kind2 parser for annotation. Still work in progress.
- 05:20 PM Bug #57 (Closed): horn-traces backend not working when not initialising a pre operator
- Solved with commit 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c
- 07:43 PM Bug #55 (Closed): assertions generation in Horn clauses (smt2 file)
- Solved in current unstable version 1.5-827
Also available in: Atom