mc1516the.git
8 years agoFinished 3
pimjager [Thu, 16 Jun 2016 15:25:14 +0000 (17:25 +0200)]
Finished 3

8 years agoYES kutmodel werkt
pimjager [Thu, 16 Jun 2016 14:56:55 +0000 (16:56 +0200)]
YES kutmodel werkt

8 years agoKut UPPAAL stik er in
pimjager [Thu, 16 Jun 2016 14:54:46 +0000 (16:54 +0200)]
Kut UPPAAL stik er in

8 years agohoi
pimjager [Thu, 16 Jun 2016 14:02:02 +0000 (16:02 +0200)]
hoi

8 years agoWorking on 3, f-ing uppaal is giving absurd errors
pimjager [Thu, 16 Jun 2016 12:52:58 +0000 (14:52 +0200)]
Working on 3, f-ing uppaal is giving absurd errors

8 years agoassignment2
pimjager [Thu, 16 Jun 2016 11:58:20 +0000 (13:58 +0200)]
assignment2

8 years agoworking exercise2
pimjager [Thu, 16 Jun 2016 11:22:14 +0000 (13:22 +0200)]
working exercise2

8 years agoWoep woep, 2 works for small example
pimjager [Thu, 16 Jun 2016 09:36:44 +0000 (11:36 +0200)]
Woep woep, 2 works for small example

8 years ago2.xml voor prop weight op RedCar
pimjager [Thu, 16 Jun 2016 09:28:08 +0000 (11:28 +0200)]
2.xml voor prop weight op RedCar

8 years agoding
Mart Lubbers [Tue, 14 Jun 2016 11:10:06 +0000 (13:10 +0200)]
ding

8 years agomend
pimjager [Tue, 14 Jun 2016 10:16:50 +0000 (12:16 +0200)]
mend

8 years agoGaat de goede kant op
pimjager [Tue, 14 Jun 2016 10:05:05 +0000 (12:05 +0200)]
Gaat de goede kant op

8 years ago!
Mart Lubbers [Tue, 14 Jun 2016 09:36:11 +0000 (11:36 +0200)]
!

8 years agomend
pimjager [Tue, 14 Jun 2016 09:31:15 +0000 (11:31 +0200)]
mend

8 years agoMerge branch 'master' of https://gitlab.science.ru.nl/mlubbers/mc1516the
pimjager [Tue, 14 Jun 2016 09:30:08 +0000 (11:30 +0200)]
Merge branch 'master' of https://gitlab.science.ru.nl/mlubbers/mc1516the

8 years agokut rushhour spelletje
pimjager [Tue, 14 Jun 2016 09:29:58 +0000 (11:29 +0200)]
kut rushhour spelletje

8 years agoupdate document
Mart Lubbers [Tue, 14 Jun 2016 09:10:48 +0000 (11:10 +0200)]
update document

8 years agohoi
Mart Lubbers [Tue, 14 Jun 2016 08:43:08 +0000 (10:43 +0200)]
hoi

8 years agohoi
Mart Lubbers [Tue, 14 Jun 2016 08:42:34 +0000 (10:42 +0200)]
hoi

8 years agotraingate
pimjager [Tue, 14 Jun 2016 08:35:18 +0000 (10:35 +0200)]
traingate

8 years agoUppaalmodel of train gate
pimjager [Tue, 14 Jun 2016 08:23:50 +0000 (10:23 +0200)]
Uppaalmodel of train gate

8 years agoeerste opzet
Mart Lubbers [Tue, 14 Jun 2016 07:21:28 +0000 (09:21 +0200)]
eerste opzet

8 years agoinitial commit
Mart Lubbers [Tue, 14 Jun 2016 07:13:36 +0000 (09:13 +0200)]
initial commit