source: tests/example_scripts/c/run_prover

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @4f79997   11 years Mei 1) add a new scaling test -haystack/ralphs 2) tweak some libabac code … abac0-leakabac0-mei
(edit) @3c30b59   11 years Mei 1) add in new refactored regression testing directory 2) undo the … abac0-leakabac0-mei
(edit) @bec30b5   11 years Mei 1) change abac_context_load_directory to check on every regular files … abac0-leakabac0-meimei-idtvf-new-xml
(add) @ec550f7   11 years Mei 1) reworked how API doc is generated 2) tweak top level Makefile.am 3) … abac0-leakabac0-meimei-idtvf-new-xml
Note: See TracRevisionLog for help on using the revision log.