Project

General

Profile

Activity

From 06/25/2018 to 07/24/2018

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