Activity
From 02/06/2017 to 03/07/2017
03/06/2017
- 01:43 PM Revision 86854b27 (lustrec): adding dealloc
- 01:32 PM Revision 7fcfaf49 (lustrec): Merge branch 'master' into mauve
03/03/2017
- 05:12 PM Revision 80f93e0a (lustrec): added deallocation for dynamic memory allocation scheme
- 03:32 PM Revision be206ad8 (lustrec): adding & in shell
- 03:26 PM Revision 08fd9ec8 (lustrec): mauve generator with annotations
03/02/2017
03/01/2017
02/27/2017
02/24/2017
02/15/2017
- 11:08 PM Revision 54fd3235 (lustrec): fixed matlab output
- 10:43 PM Revision 9c126c6b (lustrec): removed uncessary include math def
02/14/2017
- 07:19 PM Revision 5695b3d4 (lustrec): Merge branch 'master' into seahorn_backend
- 12:11 PM Revision e49b6d55 (lustrec): nice bug correction wrt constants with a large number of digits. Would raise exception when comparing these constants
02/13/2017
02/09/2017
Also available in: Atom