summaryrefslogtreecommitdiff
path: root/tests
Commit message (Collapse)AuthorAgeFilesLines
* Correct some bugs on clocks.Alex Auvolat2014-07-081-0/+28
|
* Implement stand-alone EDDsAlex Auvolat2014-07-081-0/+0
|
* Merge branch 'e-last'Alex Auvolat2014-07-043-6/+17
|\ | | | | | | | | | | Conflicts: abstract/abs_interp.ml tests/source/counters.scade
| * New example ; minor fixes.Alex Auvolat2014-07-043-6/+44
| |
* | Add example counters.scade.Alex Auvolat2014-07-041-0/+27
|/
* Changes to parser ; EDD optimisations ; test cases.Alex Auvolat2014-07-035-1/+2128
|
* Add ABRO example ; correct interpret bug.Alex Auvolat2014-07-035-7001/+162
|
* Fix some tests.Alex Auvolat2014-07-035-6/+37
|
* Fix non-termination issue in EDDsAlex Auvolat2014-07-021-0/+40
|
* More verbosity ; adapt rfollow so that it can be provedAlex Auvolat2014-07-021-2/+4
|
* Adapt for real type with Apron ; not very efficient ATM.Alex Auvolat2014-07-015-1/+8152
|
* Finish up EDDsAlex Auvolat2014-07-011-1/+1
|
* Reached interesting point in BDD implementation.Alex Auvolat2014-06-301-2/+2
|
* Not much. Still does not work very well.Alex Auvolat2014-06-202-1/+77
|
* Actually, it works.Alex Auvolat2014-06-191-1/+1
|
* Nice view of guarantees ; add half test, proved.Alex Auvolat2014-06-186-2/+55
|
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-186-26/+83
|
* Abstract interpretation gives good results on the limiter example.Alex Auvolat2014-06-183-26/+26
|
* Pretty printing.Alex Auvolat2014-06-181-1/+1
|
* Implement automata and activate blocks in interpret.Alex Auvolat2014-06-163-103/+115
|
* Add fail updown test (using pre instead of last).Alex Auvolat2014-06-133-1/+55
|
* Move a lot of things.Alex Auvolat2014-06-1332-79/+313
|
* Parse activate blocks.Alex Auvolat2014-06-131-0/+26
|
* Working prototype for an interpret ! But very messy.Alex Auvolat2014-06-1210-25/+54
|
* Add some testsAlex Auvolat2014-06-1215-0/+242