summaryrefslogtreecommitdiff
path: root/tests/source
Commit message (Expand)AuthorAgeFilesLines
* The heater example is not a very good example...Alex Auvolat2014-07-301-6/+18
* Plug into Apron Box domain for intervals.Alex Auvolat2014-07-242-2/+2
* Correct mode.Alex Auvolat2014-07-221-0/+0
* Add support for octagons.Alex Auvolat2014-07-221-0/+53
* DOES NOT WORK AT ALLAlex Auvolat2014-07-111-2/+8
* Acceptable heuristic.Alex Auvolat2014-07-111-0/+19
* Add heuristic...Alex Auvolat2014-07-101-0/+16
* Fix a few things, this doesn't work well.Alex Auvolat2014-07-102-2/+2
* Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !!Alex Auvolat2014-07-091-5/+7
* 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
|\
| * 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-033-0/+124
* Add ABRO example ; correct interpret bug.Alex Auvolat2014-07-032-1/+32
* Fix some tests.Alex Auvolat2014-07-032-2/+2
* 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-012-0/+46
* 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-184-1/+33
* Add gilbreath suite ; booleans are not represented in a good way.Alex Auvolat2014-06-183-1/+36
* Abstract interpretation gives good results on the limiter example.Alex Auvolat2014-06-182-2/+2
* Pretty printing.Alex Auvolat2014-06-181-1/+1
* Implement automata and activate blocks in interpret.Alex Auvolat2014-06-161-7/+5
* Add fail updown test (using pre instead of last).Alex Auvolat2014-06-131-0/+23
* Move a lot of things.Alex Auvolat2014-06-1314-0/+234