| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Implement selection of disjunction variables for EDDs. | Alex Auvolat | 2014-07-30 | 1 | -2/+9 |
| | | | | | Next (?) : leaves can store information on evars. | ||||
| * | Clean up & comment a bit. | Alex Auvolat | 2014-07-15 | 1 | -1/+32 |
| | | |||||
| * | Acceptable heuristic. | Alex Auvolat | 2014-07-11 | 1 | -0/+6 |
| | | |||||
| * | Begin dynamic partitionning ; CORRECT BUG IN unpass_cycle !! | Alex Auvolat | 2014-07-09 | 1 | -1/+7 |
| | | |||||
| * | 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 | 1 | -0/+21 |
| | | |||||
| * | Cleanup. | Alex Auvolat | 2014-07-08 | 1 | -0/+252 |
 |
index : scade-analyzer.git | |
| Analyse statique de SCADE |
| summaryrefslogtreecommitdiff |