Activity
From 05/24/2017 to 06/22/2017
06/22/2017
- 11:44 PM Revision 64385d42 (lustrec): Turn an option to off by default: it was triggering scope plugin automatically
- 05:26 PM Revision e70326c9 (lustrec): Providing means to have specification as dynamic checks.
- [bug] seems to crash with EMF backend
- 05:24 PM Revision e7def055 (lustrec): Updated scope plugin
- 05:24 PM Revision 59fc6b1c (lustrec): Default precision for real values printing
- 05:22 PM Revision 9a7268ba (lustrec): io_frontend header with new functions
- 05:21 PM Revision 7ab1c5bd (lustrec): - Added a precision parameter for io_frontend "real" types
- - New fonction in plugins: main_loop_body_prefix
- 05:14 PM Revision f5a568dd (lustrec): Flushing after printing in io_frontend functions
- 04:25 AM Revision 32539b6d (lustrec): Changed encoding of matlab expression inputs from u(xx) to uxx.
- 04:18 AM Revision f7caf067 (lustrec): EMF backend now relies on machine code representation.
- Impact:
- EMF backend has an extra machines argument
- specific option to avoid merge of ite constructs
- set_backend... - 03:49 AM Revision d6976d31 (lustrec): Removed duplicate tan definition in math.lusi
- 03:47 AM Revision 2800921b (lustrec): add tan function to math.lusi
- 03:45 AM Revision 97be8db8 (lustrec): fixed matlab output
- 03:44 AM Revision 1411704e (lustrec): Changed the matlab function backend
- 03:37 AM Revision 5d6fc968 (lustrec): Merge branch 'unstable' into seahorn_a6df3
- 02:35 AM Revision 489bd646 (lustrec): Merge branch 'unstable' of https://cavale.enseeiht.fr/git/lustrec into unstable
- 02:34 AM Revision 86aadaf1 (lustrec): Improved dependencies for install target
06/21/2017
- 11:42 PM Lustrec-Tests Revision 16bf5d3c (lustrec-tests): Improved zustre output comparison
- 11:03 PM Revision 2dae76da (lustrec): Restored common_option definition. Was removed by a non delicate merge.
- 08:50 PM Revision b6d37e71 (lustrec): Bug solved: EMF backend was forced
- 08:46 PM Revision 37419cf4 (lustrec): Missing file
- 08:46 PM Revision 30dee850 (lustrec): fixed matlab output
- 08:46 PM Revision d3e837ea (lustrec): Changed the matlab function backend
- 08:45 PM Revision e0597d49 (lustrec): _Bool are unsigned integer. The cast as a _Bool is delayed until the end of the function
- 08:42 PM Revision b7258fa5 (lustrec): Merge branch 'unstable' into seahorn_a6df3
- a6df3 is the initial commit of branch seahorn
06/20/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_...
Also available in: Atom