| Commit message (Collapse) | Author | Age | |
|---|---|---|---|
| * | speed up not_edf(), produce some output | Bjoern B. Brandenburg | 2008-11-02 |
| | | |||
| * | more diagnostic rules | Bjoern B. Brandenburg | 2008-11-02 |
| | | |||
| * | GNU Prolog glue | Bjoern B. Brandenburg | 2008-11-02 |
| | | |||
| * | started work on verifier | Bjoern B. Brandenburg | 2008-11-01 |
 |
index : sched_trace.git | |
| The original visualization and checking tools | Bjoern Brandenburg |
| summaryrefslogtreecommitdiffstats |