Vivien Kraus (2fd2e464) at 24 Mar 04:12
gnulib-tool.py: Fix the modules indentation in --create-testdir' ou...
... and 40 more commits
Vivien Kraus (92b4f293) at 17 Mar 04:12
gnulib-tool.py: Follow gnulib-tool changes, part 59.
... and 26 more commits
Vivien Kraus (d15237a2) at 10 Mar 04:12
gnulib-tool.py: Follow gnulib-tool changes, part 50.
... and 43 more commits
Vivien Kraus (1a33cc97) at 07 Mar 19:20
Vivien Kraus (fa7f810b) at 06 Mar 22:59
Operate the cards proof on integers, not naturals.
Vivien Kraus (9d6941a9) at 04 Mar 20:09
Vivien Kraus (4b225735) at 04 Mar 20:09
Also build a PDF for the API.
Vivien Kraus (9d6941a9) at 03 Mar 19:14
Check the C implementation with frama-c wp.
Vivien Kraus (53198cca) at 03 Mar 19:03
Check the C implementation with frama-c wp.
Vivien Kraus (c3519455) at 03 Mar 18:50
Check the C implementation with frama-c wp.
Vivien Kraus (6f394850) at 03 Mar 18:44
Install frama-c.
Vivien Kraus (4866aef0) at 03 Mar 18:38
Install frama-c.
Vivien Kraus (2864d508) at 03 Mar 18:34
Install why3 with the coq plugin.
Vivien Kraus (4b225735) at 03 Mar 18:29
Also build a PDF for the API.
Vivien Kraus (75252d96) at 03 Mar 17:25
Simplify the proofs by considering the cards are positive.
... and 1 more commit
Vivien Kraus (5b8cad00) at 03 Mar 12:41