Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Update soutenanceHEADmaster | Alex AUVOLAT | 2014-09-09 | 1 | -188/+115 |
| | |||||
* | Copy prez | Alex AUVOLAT | 2014-09-08 | 7 | -71/+1038 |
| | |||||
* | Add an interesting document | Alex Auvolat | 2014-07-31 | 1 | -0/+0 |
| | |||||
* | Merge branch 'refactor' | Alex Auvolat | 2014-07-31 | 7 | -182/+357 |
|\ | |||||
| * | Oops, forgot most important file ! | Alex Auvolat | 2014-07-31 | 1 | -0/+221 |
| | | |||||
| * | Refactor some stuff (this code sould be re-read.) | Alex Auvolat | 2014-07-30 | 6 | -182/+136 |
| | | |||||
* | | Update Rapport de stage | Alex Auvolat | 2014-07-31 | 1 | -0/+0 |
|/ | |||||
* | Import Rapport de stage, probably not final version. | Alex Auvolat | 2014-07-30 | 1 | -0/+0 |
| | |||||
* | Implement selection of disjunction variables for EDDs. | Alex Auvolat | 2014-07-30 | 4 | -30/+66 |
| | | | | Next (?) : leaves can store information on evars. | ||||
* | The heater example is not a very good example... | Alex Auvolat | 2014-07-30 | 9 | -93/+10227 |
| | |||||
* | Experiment on dynamic partitionning (guarantee initial partition). | Alex Auvolat | 2014-07-24 | 3 | -98/+98 |
| | |||||
* | Plug into Apron Box domain for intervals. | Alex Auvolat | 2014-07-24 | 7 | -150/+280 |
| | |||||
* | Move README && add stuff ; add presentation. | Alex Auvolat | 2014-07-23 | 9 | -12/+1174 |
| | |||||
* | Add a few examples from KIND2 distribution. | Alex Auvolat | 2014-07-23 | 3 | -0/+1902 |
| | |||||
* | Correct mode. | Alex Auvolat | 2014-07-22 | 1 | -0/+0 |
| | |||||
* | Add support for octagons. | Alex Auvolat | 2014-07-22 | 5 | -21/+223 |
| | |||||
* | More doc : command lien options; | Alex Auvolat | 2014-07-16 | 2 | -22/+223 |
| | |||||
* | Many corrections. | Alex Auvolat | 2014-07-16 | 2 | -317/+369 |
| | |||||
* | Begin redaction of README. | Alex Auvolat | 2014-07-15 | 2 | -0/+1560 |
| | |||||
* | Clean up & comment a bit. | Alex Auvolat | 2014-07-15 | 23 | -474/+305 |
| | |||||
* | Try (and fail) to make heuristic any good. | Alex Auvolat | 2014-07-15 | 1 | -4/+18 |
| | |||||
* | DOES NOT WORK AT ALL | Alex Auvolat | 2014-07-11 | 2 | -137/+150 |
| | |||||
* | Acceptable heuristic. | Alex Auvolat | 2014-07-11 | 7 | -63/+178 |
| | |||||
* | Add heuristic... | Alex Auvolat | 2014-07-10 | 5 | -41/+133 |
| | |||||
* | DP locations defined by abstract values and not by formula. | Alex Auvolat | 2014-07-10 | 4 | -92/+121 |
| | |||||
* | Fix a few things, this doesn't work well. | Alex Auvolat | 2014-07-10 | 6 | -61/+107 |
| | |||||
* | Now it's starting to work... | Alex Auvolat | 2014-07-09 | 3 | -43/+221 |
| | |||||
* | Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !! | Alex Auvolat | 2014-07-09 | 8 | -63/+475 |
| | |||||
* | Minor optimisation in ordering strategy. | Alex Auvolat | 2014-07-09 | 1 | -2/+2 |
| | |||||
* | Add simplification pass && better heuristic for BDDs based on ternaries. | Alex Auvolat | 2014-07-09 | 5 | -14/+97 |
| | |||||
* | Correct some bugs on clocks. | Alex Auvolat | 2014-07-08 | 5 | -32/+89 |
| | |||||
* | Add ternaries, simplifications. BIG BUG FOUND (init/reset translation) | Alex Auvolat | 2014-07-08 | 5 | -63/+144 |
| | |||||
* | Cleanup. | Alex Auvolat | 2014-07-08 | 4 | -241/+292 |
| | |||||
* | Revert that. We have two different domain kinds for enums, that's all. | Alex Auvolat | 2014-07-08 | 2 | -67/+69 |
| | |||||
* | Adapt abs_interp to use ENUM_DOMAIN2 (this is a test...) | Alex Auvolat | 2014-07-08 | 3 | -73/+113 |
| | |||||
* | Implement stand-alone EDDs | Alex Auvolat | 2014-07-08 | 5 | -232/+372 |
| | |||||
* | Merge branch 'e-last' | Alex Auvolat | 2014-07-04 | 14 | -310/+405 |
|\ | | | | | | | | | | | Conflicts: abstract/abs_interp.ml tests/source/counters.scade | ||||
| * | Adapt non-EDD disjunction interpret to use two set of disjunction vars. | Alex Auvolat | 2014-07-04 | 1 | -20/+15 |
| | | |||||
| * | Adapt domain with non-EDD disjunctions ; it doesn't work very well ! | Alex Auvolat | 2014-07-04 | 3 | -106/+121 |
| | | |||||
| * | New example ; minor fixes. | Alex Auvolat | 2014-07-04 | 7 | -12/+63 |
| | | |||||
| * | First implementation of resetting transitions. | Alex Auvolat | 2014-07-04 | 5 | -40/+83 |
| | | |||||
| * | Use LAST instead of NEXT (only EDD implementation works at the moment) | Alex Auvolat | 2014-07-04 | 8 | -173/+189 |
| | | |||||
* | | Add example counters.scade. | Alex Auvolat | 2014-07-04 | 1 | -0/+27 |
| | | |||||
* | | Warning for contradictory hypotheses was wrong. | Alex Auvolat | 2014-07-04 | 1 | -15/+13 |
|/ | |||||
* | Simplifications && preparation for restart. | Alex Auvolat | 2014-07-04 | 4 | -9/+35 |
| | |||||
* | Changes to parser ; EDD optimisations ; test cases. | Alex Auvolat | 2014-07-03 | 8 | -126/+2240 |
| | |||||
* | Add ABRO example ; correct interpret bug. | Alex Auvolat | 2014-07-03 | 8 | -7010/+205 |
| | |||||
* | Fix some tests. | Alex Auvolat | 2014-07-03 | 5 | -6/+37 |
| | |||||
* | New algorithm for variable ordering based on FORCE. | Alex Auvolat | 2014-07-03 | 2 | -8/+86 |
| | |||||
* | Add message when a step goes on BOT, ie. contradiction in assumes. | Alex Auvolat | 2014-07-02 | 2 | -25/+38 |
| |