From 06/18/2018 to 07/17/2018
- 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