tt2015.git
8 years agoAdded exercise code from BB
pimjager [Wed, 20 Jan 2016 10:04:52 +0000 (11:04 +0100)]
Added exercise code from BB

8 years agoAdded readme for running basic learner
pimjager [Wed, 20 Jan 2016 09:57:43 +0000 (10:57 +0100)]
Added readme for running basic learner

8 years agopush
Mart Lubbers [Wed, 20 Jan 2016 09:08:19 +0000 (10:08 +0100)]
push

8 years agomapje gemaakt voor a4
Mart Lubbers [Wed, 20 Jan 2016 09:02:28 +0000 (10:02 +0100)]
mapje gemaakt voor a4

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Mon, 21 Dec 2015 11:26:00 +0000 (12:26 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agowith gast output
charlie [Mon, 21 Dec 2015 11:25:42 +0000 (12:25 +0100)]
with gast output

8 years agospellcheck
pimjager [Mon, 21 Dec 2015 11:05:26 +0000 (12:05 +0100)]
spellcheck

8 years agomeer gast verhaal in verslag
charlie [Mon, 21 Dec 2015 10:42:47 +0000 (11:42 +0100)]
meer gast verhaal in verslag

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Mon, 21 Dec 2015 10:06:08 +0000 (11:06 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agoAdded a bit of discussion
pimjager [Sun, 20 Dec 2015 22:35:28 +0000 (23:35 +0100)]
Added a bit of discussion

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 22:23:58 +0000 (23:23 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agogenerate grapvis from gast model
charlie [Sun, 20 Dec 2015 22:23:30 +0000 (23:23 +0100)]
generate grapvis from gast model

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 22:22:34 +0000 (23:22 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agoworking python adapter for gast.
charlie [Sun, 20 Dec 2015 22:22:13 +0000 (23:22 +0100)]
working python adapter for gast.

8 years agoSoort van start met hfdst5
pimjager [Sun, 20 Dec 2015 21:45:00 +0000 (22:45 +0100)]
Soort van start met hfdst5

8 years agofixed ref and stukje 4 toegevoegd
Mart Lubbers [Sun, 20 Dec 2015 21:32:38 +0000 (22:32 +0100)]
fixed ref and stukje 4 toegevoegd

8 years agofixed some small errors in the report
pimjager [Sun, 20 Dec 2015 21:07:40 +0000 (22:07 +0100)]
fixed some small errors in the report

8 years agofixed agly space after gast command
pimjager [Sun, 20 Dec 2015 21:02:48 +0000 (22:02 +0100)]
fixed agly space after gast command

8 years agoMerge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Sun, 20 Dec 2015 20:19:25 +0000 (21:19 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015

8 years agojtorx log
Mart Lubbers [Sun, 20 Dec 2015 20:19:13 +0000 (21:19 +0100)]
jtorx log

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
mart & charlie [Sun, 20 Dec 2015 20:18:46 +0000 (15:18 -0500)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agofinal hello
mart & charlie [Sun, 20 Dec 2015 20:18:37 +0000 (15:18 -0500)]
final hello

8 years agographs nu erbij
Mart Lubbers [Sun, 20 Dec 2015 19:27:14 +0000 (20:27 +0100)]
graphs nu erbij

8 years agonon-functional adapter python code pushed.
charlie [Sun, 20 Dec 2015 19:25:07 +0000 (20:25 +0100)]
non-functional adapter python code pushed.

8 years ago:wWMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 18:41:55 +0000 (19:41 +0100)]
:wWMerge branch 'master' of https://github.com/dopefishh/tt2015

8 years agochanges to gast adapter.
charlie [Sun, 20 Dec 2015 18:41:41 +0000 (19:41 +0100)]
changes to gast adapter.

8 years agoadded bibtex'
Mart Lubbers [Sun, 20 Dec 2015 18:21:26 +0000 (19:21 +0100)]
added bibtex'
git p

8 years agoupdate hfst 1 2
Mart Lubbers [Sun, 20 Dec 2015 18:18:47 +0000 (19:18 +0100)]
update hfst 1 2

8 years agoupdated graphs
Mart Lubbers [Sun, 20 Dec 2015 17:44:27 +0000 (18:44 +0100)]
updated graphs

8 years agoMerge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Sun, 20 Dec 2015 16:48:20 +0000 (17:48 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015

8 years agoadd data transfer
Mart Lubbers [Sun, 20 Dec 2015 16:48:13 +0000 (17:48 +0100)]
add data transfer

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 15:51:10 +0000 (16:51 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agoright clean Generics library version added
charlie [Sun, 20 Dec 2015 15:50:47 +0000 (16:50 +0100)]
right clean Generics library version added

8 years agopartial makefile fix, need to push more code from windows first.
charlie [Sun, 20 Dec 2015 15:49:03 +0000 (16:49 +0100)]
partial makefile fix, need to push more code from windows first.

8 years agountested python adapter for gast program
charlie [Sun, 20 Dec 2015 15:40:36 +0000 (16:40 +0100)]
untested python adapter for gast program

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 14:33:32 +0000 (15:33 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agotcp enabled gast version added
charlie [Sun, 20 Dec 2015 14:31:51 +0000 (15:31 +0100)]
tcp enabled gast version added

8 years agoMerge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Sun, 20 Dec 2015 14:31:18 +0000 (15:31 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015

8 years agoupdate setup and close graph
Mart Lubbers [Sun, 20 Dec 2015 14:31:14 +0000 (15:31 +0100)]
update setup and close graph

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
mart & charlie [Sun, 20 Dec 2015 14:30:46 +0000 (09:30 -0500)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agowerkende jtorx shizzle
mart & charlie [Sun, 20 Dec 2015 14:30:31 +0000 (09:30 -0500)]
werkende jtorx shizzle

8 years agoclean tcp shizzle werkt nu, heeft aangepaste versie van gast nodig!
charlie [Sat, 19 Dec 2015 21:22:29 +0000 (22:22 +0100)]
clean tcp shizzle werkt nu, heeft aangepaste versie van gast nodig!

8 years agoclean TCPIP library test
charlie [Sat, 19 Dec 2015 16:05:11 +0000 (17:05 +0100)]
clean TCPIP library test

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
mart & charlie [Sat, 19 Dec 2015 12:42:05 +0000 (07:42 -0500)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agowerkende jtorx code
mart & charlie [Sat, 19 Dec 2015 12:41:52 +0000 (07:41 -0500)]
werkende jtorx code

8 years agoFramework iets uitgebreid. Grove versie symbolic transition system van driver toegevoegd
pimjager [Fri, 18 Dec 2015 21:33:49 +0000 (22:33 +0100)]
Framework iets uitgebreid. Grove versie symbolic transition system van driver toegevoegd

8 years agoAdded something on the architecture
pimjager [Wed, 16 Dec 2015 15:37:27 +0000 (16:37 +0100)]
Added something on the architecture

8 years agoAdded something on the architecture
pimjager [Wed, 16 Dec 2015 15:36:48 +0000 (16:36 +0100)]
Added something on the architecture

8 years agoadded something about the LTS model of TCP
pimjager [Wed, 16 Dec 2015 15:22:55 +0000 (16:22 +0100)]
added something about the LTS model of TCP

8 years agoimproved modeling section based on feedback Ramon
pimjager [Wed, 16 Dec 2015 15:07:45 +0000 (16:07 +0100)]
improved modeling section based on feedback Ramon

8 years agoadded labels
pimjager [Wed, 16 Dec 2015 15:07:25 +0000 (16:07 +0100)]
added labels

8 years agoAdded framework for report
pimjager [Wed, 16 Dec 2015 14:58:32 +0000 (15:58 +0100)]
Added framework for report

8 years agoinitial tcpmodel for gast
charlie [Tue, 15 Dec 2015 17:50:33 +0000 (18:50 +0100)]
initial tcpmodel for gast

8 years agoMerge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Tue, 15 Dec 2015 15:28:15 +0000 (16:28 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015

8 years agoconflict
Mart Lubbers [Tue, 15 Dec 2015 15:27:56 +0000 (16:27 +0100)]
conflict

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Mon, 14 Dec 2015 23:50:42 +0000 (00:50 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agoA3, add grpahs for model and test setup
pimjager [Mon, 14 Dec 2015 23:50:32 +0000 (00:50 +0100)]
A3, add grpahs for model and test setup

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
mart & charlie [Mon, 14 Dec 2015 18:14:59 +0000 (13:14 -0500)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agowerkende gast
mart & charlie [Mon, 14 Dec 2015 18:14:34 +0000 (13:14 -0500)]
werkende gast

8 years agoVerslag gesprek Ramon toegevoegd
pimjager [Mon, 14 Dec 2015 16:01:19 +0000 (17:01 +0100)]
Verslag gesprek Ramon toegevoegd

8 years agogast example with output added to repo
charlie [Mon, 14 Dec 2015 12:59:37 +0000 (13:59 +0100)]
gast example with output added to repo

8 years agoInvestigation improved, added conclusion which model we will use
pimjager [Thu, 10 Dec 2015 15:58:47 +0000 (16:58 +0100)]
Investigation improved, added conclusion which model we will use

8 years agoA3, moddeling investigation, different models
pimjager [Thu, 10 Dec 2015 15:50:33 +0000 (16:50 +0100)]
A3, moddeling investigation, different models

9 years agoadded a3 pdf
Mart Lubbers [Mon, 23 Nov 2015 08:58:24 +0000 (09:58 +0100)]
added a3 pdf

9 years agokleine fix die er toch niet meer toe doet.
Charlie Gerhardus [Sun, 15 Nov 2015 21:08:30 +0000 (22:08 +0100)]
kleine fix die er toch niet meer toe doet.

9 years agoremoved refrence section
pimjager [Sun, 15 Nov 2015 19:51:53 +0000 (20:51 +0100)]
removed refrence section

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
mart [Sun, 15 Nov 2015 19:44:46 +0000 (20:44 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agotestcases erin
mart [Sun, 15 Nov 2015 19:44:23 +0000 (20:44 +0100)]
testcases erin

9 years agoAdded passing grade to report and removed discussion on randomisation
pimjager [Sun, 15 Nov 2015 19:35:03 +0000 (20:35 +0100)]
Added passing grade to report and removed discussion on randomisation

9 years agoadded discussion on not testing checksums
pimjager [Sun, 15 Nov 2015 19:27:05 +0000 (20:27 +0100)]
added discussion on not testing checksums

9 years agoChanged packets to segments were applicable
pimjager [Sun, 15 Nov 2015 19:02:41 +0000 (20:02 +0100)]
Changed packets to segments were applicable

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
mart [Sun, 15 Nov 2015 18:07:31 +0000 (19:07 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agoexpected results tabel klopt nu ook.
Charlie Gerhardus [Sun, 15 Nov 2015 18:09:28 +0000 (19:09 +0100)]
expected results tabel klopt nu ook.

9 years agoupdate generatiescirpt
mart [Sun, 15 Nov 2015 18:07:18 +0000 (19:07 +0100)]
update generatiescirpt

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
Charlie Gerhardus [Sun, 15 Nov 2015 18:00:35 +0000 (19:00 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agotc 12 t/m 18 kloppen nu ook.
Charlie Gerhardus [Sun, 15 Nov 2015 18:00:21 +0000 (19:00 +0100)]
tc 12 t/m 18 kloppen nu ook.

9 years agogeneratie van testkazen erbij, alleen results nog
mart [Sun, 15 Nov 2015 17:35:38 +0000 (18:35 +0100)]
generatie van testkazen erbij, alleen results nog

9 years agotc 1 t/m 11 klopt nu.
Charlie Gerhardus [Sun, 15 Nov 2015 17:33:15 +0000 (18:33 +0100)]
tc 1 t/m 11 klopt nu.

9 years agopush om beneden achter de pc F1 te kunnen kijken.
charlie [Sun, 15 Nov 2015 16:00:59 +0000 (17:00 +0100)]
push om beneden achter de pc F1 te kunnen kijken.

9 years agoExpected result en test-case table matchen nu.
charlie [Sat, 14 Nov 2015 19:47:32 +0000 (20:47 +0100)]
Expected result en test-case table matchen nu.
11 test-cases totaal nu.
Verhaal over transactie iets uitgebreid.

9 years agoAdd description of what is tested
pimjager [Sat, 14 Nov 2015 15:47:38 +0000 (16:47 +0100)]
Add description of what is tested

9 years agomerge with master
pimjager [Sat, 14 Nov 2015 13:51:59 +0000 (14:51 +0100)]
merge with master

9 years agoFramework voor results toegevoegd
pimjager [Sat, 14 Nov 2015 13:51:30 +0000 (14:51 +0100)]
Framework voor results toegevoegd

9 years agored ipv ref gefixed.
charlie [Sat, 14 Nov 2015 13:49:24 +0000 (14:49 +0100)]
red ipv ref gefixed.

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sat, 14 Nov 2015 13:45:35 +0000 (14:45 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agorequest defined
charlie [Sat, 14 Nov 2015 13:45:04 +0000 (14:45 +0100)]
request defined

9 years agoFixed refrences
pimjager [Sat, 14 Nov 2015 13:35:44 +0000 (14:35 +0100)]
Fixed refrences

9 years agofixed merge conflicts, new results table
pimjager [Sat, 14 Nov 2015 13:28:23 +0000 (14:28 +0100)]
fixed merge conflicts, new results table

9 years agonu wel werkende code nadat het kapot was gemaakt
mart [Fri, 13 Nov 2015 19:09:17 +0000 (20:09 +0100)]
nu wel werkende code nadat het kapot was gemaakt

9 years agoAdd results table
pimjager [Wed, 11 Nov 2015 16:57:50 +0000 (17:57 +0100)]
Add results table

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
Dion [Wed, 11 Nov 2015 16:27:00 +0000 (17:27 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agoeindversie dag des niet werkende scapy
Dion [Wed, 11 Nov 2015 16:26:46 +0000 (17:26 +0100)]
eindversie dag des niet werkende scapy

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
mart [Wed, 11 Nov 2015 16:21:51 +0000 (17:21 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agocode erbij
mart [Wed, 11 Nov 2015 16:21:35 +0000 (17:21 +0100)]
code erbij

9 years agoMerge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Wed, 11 Nov 2015 15:28:06 +0000 (16:28 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015

9 years agosmall change
Mart Lubbers [Wed, 11 Nov 2015 15:28:02 +0000 (16:28 +0100)]
small change

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Wed, 11 Nov 2015 15:17:28 +0000 (16:17 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agoAdd explenation for testcases table
pimjager [Wed, 11 Nov 2015 15:16:47 +0000 (16:16 +0100)]
Add explenation for testcases table

9 years agoAdd explenation on randomisation
pimjager [Wed, 11 Nov 2015 15:05:13 +0000 (16:05 +0100)]
Add explenation on randomisation

9 years agonu met maxpacket size
Dion [Wed, 11 Nov 2015 14:57:02 +0000 (15:57 +0100)]
nu met maxpacket size