summary |
shortlog | log |
commit |
commitdiff |
tree
first ⋅ prev ⋅ next
pimjager [Thu, 16 Jun 2016 15:25:14 +0000 (17:25 +0200)]
Finished 3
pimjager [Thu, 16 Jun 2016 14:56:55 +0000 (16:56 +0200)]
YES kutmodel werkt
pimjager [Thu, 16 Jun 2016 14:54:46 +0000 (16:54 +0200)]
Kut UPPAAL stik er in
pimjager [Thu, 16 Jun 2016 14:02:02 +0000 (16:02 +0200)]
hoi
pimjager [Thu, 16 Jun 2016 12:52:58 +0000 (14:52 +0200)]
Working on 3, f-ing uppaal is giving absurd errors
pimjager [Thu, 16 Jun 2016 11:58:20 +0000 (13:58 +0200)]
assignment2
pimjager [Thu, 16 Jun 2016 11:22:14 +0000 (13:22 +0200)]
working exercise2
pimjager [Thu, 16 Jun 2016 09:36:44 +0000 (11:36 +0200)]
Woep woep, 2 works for small example
pimjager [Thu, 16 Jun 2016 09:28:08 +0000 (11:28 +0200)]
2.xml voor prop weight op RedCar
Mart Lubbers [Tue, 14 Jun 2016 11:10:06 +0000 (13:10 +0200)]
ding
pimjager [Tue, 14 Jun 2016 10:16:50 +0000 (12:16 +0200)]
mend
pimjager [Tue, 14 Jun 2016 10:05:05 +0000 (12:05 +0200)]
Gaat de goede kant op
Mart Lubbers [Tue, 14 Jun 2016 09:36:11 +0000 (11:36 +0200)]
!
pimjager [Tue, 14 Jun 2016 09:31:15 +0000 (11:31 +0200)]
mend
pimjager [Tue, 14 Jun 2016 09:30:08 +0000 (11:30 +0200)]
Merge branch 'master' of https://gitlab.science.ru.nl/mlubbers/mc1516the
pimjager [Tue, 14 Jun 2016 09:29:58 +0000 (11:29 +0200)]
kut rushhour spelletje
Mart Lubbers [Tue, 14 Jun 2016 09:10:48 +0000 (11:10 +0200)]
update document
Mart Lubbers [Tue, 14 Jun 2016 08:43:08 +0000 (10:43 +0200)]
hoi
Mart Lubbers [Tue, 14 Jun 2016 08:42:34 +0000 (10:42 +0200)]
hoi
pimjager [Tue, 14 Jun 2016 08:35:18 +0000 (10:35 +0200)]
traingate
pimjager [Tue, 14 Jun 2016 08:23:50 +0000 (10:23 +0200)]
Uppaalmodel of train gate
Mart Lubbers [Tue, 14 Jun 2016 07:21:28 +0000 (09:21 +0200)]
eerste opzet
Mart Lubbers [Tue, 14 Jun 2016 07:13:36 +0000 (09:13 +0200)]
initial commit
repositories / mc1516the.git / log