Project

General

Profile

Activity

From 06/26/2018 to 07/25/2018

07/25/2018

08:44 PM Bug #68 (Rejected): Error compiling lustresf
Compiling binary lustrec
Compiling binary lustret
Compiling binary lustresf
+ mkdir /home/ktrinh/cocosim/cocosim2/...
Anonymous

07/13/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. Pierre-Loïc Garoche
05:20 PM Bug #57 (Closed): horn-traces backend not working when not initialising a pre operator
Solved with commit 2d2144c04d8df16bfae1936b93eb7eeb8e5fcc4c Pierre-Loïc Garoche

07/12/2018

07:43 PM Bug #55 (Closed): assertions generation in Horn clauses (smt2 file)
Solved in current unstable version 1.5-827 Pierre-Loïc Garoche
 

Also available in: Atom