repositories / mc1516.git / summary
| description | 1516-S2 - NWI-IMC046: Model Checking |
| last change | Tue, 1 Mar 2016 20:27:32 +0000 (21:27 +0100) |
| URL | https://git.martlubbers.net/mc1516.git |
| 2016-03-01 | Mart Lubbers | up master | commit | commitdiff | tree | snapshot |
| 2016-03-01 | Mart Lubbers | update phils | commit | commitdiff | tree | snapshot |
| 2016-03-01 | Mart Lubbers | updated | commit | commitdiff | tree | snapshot |
| 2016-03-01 | Mart Lubbers | merge | commit | commitdiff | tree | snapshot |
| 2016-03-01 | Mart Lubbers | started with 4 | commit | commitdiff | tree | snapshot |
| 2016-02-24 | Mart Lubbers | product automaton | commit | commitdiff | tree | snapshot |
| 2016-02-21 | Mart Lubbers | . | commit | commitdiff | tree | snapshot |
| 2016-02-21 | Mart Lubbers | . | commit | commitdiff | tree | snapshot |
| 2016-02-17 | Mart Lubbers | a2done | commit | commitdiff | tree | snapshot |
| 2016-02-14 | Mart Lubbers | e2 done | commit | commitdiff | tree | snapshot |
| 2016-02-12 | Mart Lubbers | a | commit | commitdiff | tree | snapshot |
| 2016-02-10 | Mart Lubbers | fix e1 | commit | commitdiff | tree | snapshot |
| 2016-02-08 | Mart Lubbers | update | commit | commitdiff | tree | snapshot |
| 2016-02-05 | Mart Lubbers | e1-4 done | commit | commitdiff | tree | snapshot |
| 8 years ago | master | shortlog | log | tree |