Project

General

Profile

Activity

From 04/29/2017 to 05/28/2017

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

05/18/2017

09:18 AM Lustrec-Tests Revision 6d1a5792 (lustrec-tests): Improving Zustre output check
Pierre-Loïc Garoche

05/17/2017

12:21 PM Revision a6974c82 (lustrec): [Horn] Workaround to prevent the use of declared keywords as node name
Pierre-Loïc Garoche
10:14 AM Revision e656160b (lustrec): Better dist-clean
Pierre-Loïc Garoche
10:13 AM Revision 5d08c49e (lustrec): Solved printing bug in Horn backend
Pierre-Loïc Garoche

05/16/2017

04:57 PM Revision 990210f3 (lustrec): Improved include folders behaviors:
- allow multiple -I dir, will be used in order (first one declared
is first used)
- when declaring a global librar...
Pierre-Loïc Garoche
03:18 PM Revision 0cddb853 (lustrec): Solved dependency in Makefile
Pierre-Loïc Garoche
02:46 PM Revision fad3be22 (lustrec): ...
Xavier Thirioux
02:45 PM Revision 0137f02d (lustrec): ...
Xavier Thirioux
10:56 AM Revision 521e2a6b (lustrec): trying to improving pretty printing. Not so perfect for the moment
Pierre-Loïc Garoche
10:56 AM Revision 7354c96c (lustrec): [bug solved] issues with asserts (invalid eqs scheduling)
Pierre-Loïc Garoche
10:51 AM Revision 4d138e19 (lustrec): added pp_imap function
Pierre-Loïc Garoche

05/05/2017

10:24 PM Lustrec-Tests Revision 7a4e6825 (lustrec-tests): conditional use of zustre
Pierre-Loïc Garoche
10:23 PM Lustrec-Tests Revision 5945cfcc (lustrec-tests): hints to drive search of lustrec binary
Pierre-Loïc Garoche
10:22 PM Lustrec-Tests Revision f0008b5b (lustrec-tests): - no Zustre does not interrupt test, it just disable horn rela...
- commit to cavale cdash(board) instead of my.cdash.org Pierre-Loïc Garoche
10:09 PM Revision a86bae77 (lustrec): - Adding new Makefile target for regression test
- Version now includes current git branch Pierre-Loïc Garoche
10:07 PM Revision b9af4e0c (lustrec): Cleaning test folder. Now generated with ctest/cmake
Pierre-Loïc Garoche

05/02/2017

07:23 AM Lustrec-Tests Revision 1d64c816 (lustrec-tests): Merge branch 'master' of https://cavale.enseeiht.fr/git/lustre...
Pierre-Loïc Garoche
07:21 AM Lustrec-Tests Revision f36a76f7 (lustrec-tests): Added Jack and John's example: rendezvous maneuver
Pierre-Loïc Garoche
 

Also available in: Atom