Commit graph

61 commits

Author SHA1 Message Date
Quentin Carbonneaux
490799b772 update help message of unit tester 2016-08-16 13:38:39 -07:00
Quentin Carbonneaux
479e946113 add tool to process afl results 2016-04-18 16:21:51 -04:00
Quentin Carbonneaux
3ea138853d get more entropy in callgen.ml 2016-03-29 10:28:21 -04:00
Quentin Carbonneaux
b75cb8388f new layout, put LICENSE in root 2016-03-29 10:10:22 -04:00
Quentin Carbonneaux
1b4943eb1f implement export control 2016-03-28 14:57:20 -04:00
Quentin Carbonneaux
54d734f6a4 mac os compatibility fixes in scripts 2016-03-27 19:35:19 -04:00
Quentin Carbonneaux
3406a5fb2f free memory in pmov test 2016-03-27 18:35:21 -04:00
Quentin Carbonneaux
2f2d99e63f fix path in regress 2016-03-27 18:26:14 -04:00
Quentin Carbonneaux
32590f3a6c fix wrong path in pmov 2016-03-27 18:21:29 -04:00
Quentin Carbonneaux
c21581647b compile pmov to cwd 2016-03-27 18:20:51 -04:00
Quentin Carbonneaux
da640c5a46 move tools to the root 2016-03-27 18:17:08 -04:00