Activity
From 04/17/2018 to 05/16/2018
05/16/2018
- 05:19 PM Revision 12249005 (lustrec): Kind licence file
- 05:19 PM Revision 2ae3ef3f (lustrec): Tentative to rely on Kind parser for contracts
- 04:33 PM Bug #58 (Closed): int to long long int
- Already supported by option -real or -int
- 04:32 PM Bug #64 (Closed): Typing error
- 04:31 PM Bug #64 (Resolved): Typing error
- Not a typing error in secret unstable branch
- 04:30 PM Bug #65: integer division (euclidein division)
- Considering producing valid integer division and modulo instead of C ones. To be discussed.
- 03:34 PM Revision ff6ba54e (lustrec): Produce condition coverage for basic boolean expressions. To be improved with a simpler condition.
05/15/2018
- 02:38 PM Revision 8cacf677 (lustrec): [lustrec/mcdc/ improved the MCDC output
- 11:49 AM Revision 8e6cab20 (lustrec): Tuning the pretty printing of Salsa plugin
05/08/2018
- 10:39 PM Bug #65 (Closed): integer division (euclidein division)
- node top(x, y:int)
returns(z:int);
let
z = x/y;
tel
This is translated as x/y in C, which is different fro...
05/07/2018
05/04/2018
- 08:01 PM Revision 68322df3 (lustrec): Some tentative improvement of Salsa plugin. Not satisfying yet
- 08:00 PM Revision 7065d912 (lustrec): Moved mk_fresh_var from normalization to corelang
- 05:42 PM Revision 8926852f (lustrec): [scopes] Producing the appropriate scope label
- 05:09 PM Revision 08faae63 (lustrec): NumMartel functions
05/03/2018
- 08:35 AM Revision b068041a (lustrec): Merging unstable into salsa
- 08:35 AM Revision c0d116ec (lustrec): Merge branch 'unstable' into salsa
04/18/2018
Also available in: Atom