Project

General

Profile

Activity

From 05/22/2017 to 06/20/2017

06/20/2017

10:51 PM Revision afbf8da2 (lustrec): add tan function in math.lusi
Bourbouh

05/24/2017

11:26 PM Bug #55 (Closed): assertions generation in Horn clauses (smt2 file)
with the file attached
Using *Unstable* branch I get following errors using these steps:
*lustrec -horn tcm_with_...
Hamza Bourbouh
 

Also available in: Atom