Activity
From 12/10/2014 to 01/08/2015
12/26/2014
12/23/2014
- 08:03 AM Revision 08bbd713 (lustrec): uploaded scripts
- 07:25 AM Revision e5d5c450 (lustrec): Mem limit + issues with log and pdflatex log
12/22/2014
- 10:21 PM Revision 13b22bd5 (lustrec): Solved some bugs in the scripts: invalid path for report style files and blocking pdflatex
- 04:36 PM Revision 0ec278d2 (lustrec): cleaning
- 04:28 PM Revision a06b22fd (lustrec): Moved scripts here
- 04:28 PM Revision 94a4b867 (lustrec): worklist for parallel
- 02:28 PM Revision 82398d1d (lustrec): Frama-C WP report templates
- 02:27 PM Revision 2b7729d4 (lustrec): On going work. Generating report focusing on proved vs unproved part
12/19/2014
- 11:04 PM Revision 6bc919cb (lustrec): Move gen_contracts.py
- 10:50 PM Revision 4174a469 (lustrec): Correct some problem related to new bool encoding
- 10:50 PM Revision 105b3645 (lustrec): Delete tests files that have no k
12/18/2014
- 10:07 PM Revision d3a3e7e9 (lustrec): SMT2 file generated by frama-c/why3/z3-edit - it is the second base case of kinduction of ALT3. And it is not provable.
- 02:45 PM Revision 995bfad5 (lustrec): Add the script used to add k annotation to tests.
- 02:40 PM Revision 2bdbbe54 (lustrec): Add tests from fmcad with k annotation to new_backend branch
12/17/2014
12/16/2014
- 08:10 AM Revision af0ff493 (lustrec): Removed unused predicate
- 12:23 AM Revision 5b12f571 (lustrec): Example on possible encoding using the 5-inductive two counter example.
12/10/2014
- 11:15 AM Revision e3373485 (lustrec): Revert the commit 384 by Xavier: adding dirname to the source_name introduced a bug: the .h file is empty!!! Strange behavior.
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@387 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 11:15 AM Revision 13fa31c2 (lustrec): Revert the commit 384 by Xavier: adding dirname to the source_name introduced a bug: the .h file is empty!!! Strange behavior.
- 11:14 AM Revision 40875a30 (lustrec): Added an install target in the src folder
- git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/trunk@386 041b043f-8d7c-46b2-b46e-ef0dd855326e
- 11:14 AM Revision 5d8ddbf7 (lustrec): Added an install target in the src folder
Also available in: Atom