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

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

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
Dion [Wed, 11 Nov 2015 14:55:20 +0000 (15:55 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agomeer cases
Dion [Wed, 11 Nov 2015 14:55:07 +0000 (15:55 +0100)]
meer cases

9 years agoAddd table numbers
pimjager [Wed, 11 Nov 2015 14:46:43 +0000 (15:46 +0100)]
Addd table numbers

9 years agoAdd explenation of partitions
pimjager [Wed, 11 Nov 2015 14:14:54 +0000 (15:14 +0100)]
Add explenation of partitions

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Wed, 11 Nov 2015 13:48:31 +0000 (14:48 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agoStart with explenation of partitions
pimjager [Wed, 11 Nov 2015 13:48:19 +0000 (14:48 +0100)]
Start with explenation of partitions

9 years agoMerge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Wed, 11 Nov 2015 12:44:39 +0000 (13:44 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015

9 years agoupdate tabel en make
Mart Lubbers [Wed, 11 Nov 2015 12:44:32 +0000 (13:44 +0100)]
update tabel en make

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
mart [Wed, 11 Nov 2015 12:36:32 +0000 (13:36 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agoeerste test
mart [Wed, 11 Nov 2015 12:36:23 +0000 (13:36 +0100)]
eerste test

9 years agotable works
Mart Lubbers [Wed, 11 Nov 2015 12:24:45 +0000 (13:24 +0100)]
table works

9 years agoupdate voor tabel
Mart Lubbers [Wed, 11 Nov 2015 12:11:54 +0000 (13:11 +0100)]
update voor tabel

9 years agobetere tabellen
Mart Lubbers [Wed, 11 Nov 2015 09:17:50 +0000 (10:17 +0100)]
betere tabellen

9 years agoupdate todo.txt
Mart Lubbers [Wed, 11 Nov 2015 09:00:42 +0000 (10:00 +0100)]
update todo.txt

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
mart [Wed, 11 Nov 2015 08:58:35 +0000 (09:58 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

Conflicts:
a2/1cases.tex

9 years agoveel code erbij gedaan
mart [Wed, 11 Nov 2015 08:58:00 +0000 (09:58 +0100)]
veel code erbij gedaan

9 years agoveel gekloot in de latex
Mart Lubbers [Wed, 11 Nov 2015 08:56:45 +0000 (09:56 +0100)]
veel gekloot in de latex

9 years agona een hoop ruzie met latex is er nu een checklist!
charlie [Tue, 10 Nov 2015 21:01:52 +0000 (22:01 +0100)]
na een hoop ruzie met latex is er nu een checklist!

9 years agoAdded testing paris
pimjager [Mon, 9 Nov 2015 21:46:43 +0000 (22:46 +0100)]
Added testing paris

9 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Mon, 9 Nov 2015 21:07:42 +0000 (22:07 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

9 years agonew setup for tests ordering
pimjager [Mon, 9 Nov 2015 21:07:25 +0000 (22:07 +0100)]
new setup for tests ordering

9 years ago2 test-cases ter illustratie.
charlie [Mon, 9 Nov 2015 21:04:46 +0000 (22:04 +0100)]
2 test-cases ter illustratie.

9 years agonog betere gitignore
Mart Lubbers [Mon, 9 Nov 2015 19:24:24 +0000 (20:24 +0100)]
nog betere gitignore

9 years agobetere gitignore om geen binaries te hebben
Mart Lubbers [Mon, 9 Nov 2015 19:23:55 +0000 (20:23 +0100)]
betere gitignore om geen binaries te hebben

9 years agoAdded workpartitioning to toto.txt
pimjager [Mon, 9 Nov 2015 19:05:53 +0000 (20:05 +0100)]
Added workpartitioning to toto.txt

9 years agoupdate met todo
mart [Mon, 9 Nov 2015 18:50:37 +0000 (19:50 +0100)]
update met todo

9 years agoadded stuff from ramon
mart [Mon, 9 Nov 2015 18:24:58 +0000 (19:24 +0100)]
added stuff from ramon

9 years agoFeedback ronde 2 deels verwerkt. Opzet verlsag iets aangepast nav feedback.
pimjager [Fri, 6 Nov 2015 11:46:52 +0000 (12:46 +0100)]
Feedback ronde 2 deels verwerkt. Opzet verlsag iets aangepast nav feedback.

9 years agofeedback ronde 2
charlie [Wed, 4 Nov 2015 19:46:39 +0000 (20:46 +0100)]
feedback ronde 2

9 years agoa2 1.4
pimjager [Tue, 27 Oct 2015 22:47:43 +0000 (23:47 +0100)]
a2 1.4