Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Fixing the generation of verifier_times.txt and oracle_times.txt | Cyril SIX | 2019-07-18 | 1 | -5/+5 |
| | |||||
* | Recompile CompCert before applying the patch and compiling itjuly2019 | Cyril SIX | 2019-07-11 | 1 | -2/+4 |
| | |||||
* | Only generating measure.csv in test/monniaux/Makefile | Cyril SIX | 2019-07-11 | 1 | -6/+7 |
| | |||||
* | Using Python3.5 instead of Python3.6 (python3.6 not installed on carlit) | Cyril SIX | 2019-06-20 | 1 | -2/+2 |
| | |||||
* | Circumventing a bug from patch | Cyril SIX | 2019-06-20 | 1 | -4/+4 |
| | | | | https://lists.gnu.org/archive/html/bug-patch/2017-01/msg00001.html | ||||
* | Adding measures graph generation in the Makefile | Cyril SIX | 2019-06-19 | 1 | -2/+10 |
| | |||||
* | Adding clean to test/monniaux/Makefile | Cyril SIX | 2019-06-19 | 1 | -0/+24 |
| | |||||
* | moved to subdirectory | David Monniaux | 2019-01-18 | 1 | -46/+0 |
| | |||||
* | some unrolling | David Monniaux | 2019-01-18 | 1 | -1/+1 |
| | |||||
* | some better experiments... | David Monniaux | 2019-01-18 | 1 | -2/+5 |
| | |||||
* | clearer filenames | David Monniaux | 2019-01-18 | 1 | -13/+24 |
| | |||||
* | so that we can compare gcc and ccomp .s | David Monniaux | 2019-01-17 | 1 | -3/+6 |
| | |||||
* | for testing postpass | David Monniaux | 2019-01-17 | 1 | -9/+15 |
| | |||||
* | test (does not compile yet) | David Monniaux | 2019-01-17 | 1 | -0/+23 |