charlie [Sun, 20 Dec 2015 22:23:30 +0000 (23:23 +0100)]
generate grapvis from gast model
charlie [Sun, 20 Dec 2015 15:51:10 +0000 (16:51 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 15:50:47 +0000 (16:50 +0100)]
right clean Generics library version added
charlie [Sun, 20 Dec 2015 15:49:03 +0000 (16:49 +0100)]
partial makefile fix, need to push more code from windows first.
charlie [Sun, 20 Dec 2015 15:40:36 +0000 (16:40 +0100)]
untested python adapter for gast program
charlie [Sun, 20 Dec 2015 14:33:32 +0000 (15:33 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 14:31:51 +0000 (15:31 +0100)]
tcp enabled gast version added
Mart Lubbers [Sun, 20 Dec 2015 14:31:18 +0000 (15:31 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Sun, 20 Dec 2015 14:31:14 +0000 (15:31 +0100)]
update setup and close graph
mart & charlie [Sun, 20 Dec 2015 14:30:46 +0000 (09:30 -0500)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
mart & charlie [Sun, 20 Dec 2015 14:30:31 +0000 (09:30 -0500)]
werkende jtorx shizzle
charlie [Sat, 19 Dec 2015 21:22:29 +0000 (22:22 +0100)]
clean tcp shizzle werkt nu, heeft aangepaste versie van gast nodig!
charlie [Sat, 19 Dec 2015 16:05:11 +0000 (17:05 +0100)]
clean TCPIP library test
mart & charlie [Sat, 19 Dec 2015 12:42:05 +0000 (07:42 -0500)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
mart & charlie [Sat, 19 Dec 2015 12:41:52 +0000 (07:41 -0500)]
werkende jtorx code
pimjager [Fri, 18 Dec 2015 21:33:49 +0000 (22:33 +0100)]
Framework iets uitgebreid. Grove versie symbolic transition system van driver toegevoegd
pimjager [Wed, 16 Dec 2015 15:37:27 +0000 (16:37 +0100)]
Added something on the architecture
pimjager [Wed, 16 Dec 2015 15:36:48 +0000 (16:36 +0100)]
Added something on the architecture
pimjager [Wed, 16 Dec 2015 15:22:55 +0000 (16:22 +0100)]
added something about the LTS model of TCP
pimjager [Wed, 16 Dec 2015 15:07:45 +0000 (16:07 +0100)]
improved modeling section based on feedback Ramon
pimjager [Wed, 16 Dec 2015 15:07:25 +0000 (16:07 +0100)]
added labels
pimjager [Wed, 16 Dec 2015 14:58:32 +0000 (15:58 +0100)]
Added framework for report
charlie [Tue, 15 Dec 2015 17:50:33 +0000 (18:50 +0100)]
initial tcpmodel for gast
Mart Lubbers [Tue, 15 Dec 2015 15:28:15 +0000 (16:28 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Tue, 15 Dec 2015 15:27:56 +0000 (16:27 +0100)]
conflict
pimjager [Mon, 14 Dec 2015 23:50:42 +0000 (00:50 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Mon, 14 Dec 2015 23:50:32 +0000 (00:50 +0100)]
A3, add grpahs for model and test setup
mart & charlie [Mon, 14 Dec 2015 18:14:59 +0000 (13:14 -0500)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
mart & charlie [Mon, 14 Dec 2015 18:14:34 +0000 (13:14 -0500)]
werkende gast
pimjager [Mon, 14 Dec 2015 16:01:19 +0000 (17:01 +0100)]
Verslag gesprek Ramon toegevoegd
charlie [Mon, 14 Dec 2015 12:59:37 +0000 (13:59 +0100)]
gast example with output added to repo
pimjager [Thu, 10 Dec 2015 15:58:47 +0000 (16:58 +0100)]
Investigation improved, added conclusion which model we will use
pimjager [Thu, 10 Dec 2015 15:50:33 +0000 (16:50 +0100)]
A3, moddeling investigation, different models
Mart Lubbers [Mon, 23 Nov 2015 08:58:24 +0000 (09:58 +0100)]
added a3 pdf
Charlie Gerhardus [Sun, 15 Nov 2015 21:08:30 +0000 (22:08 +0100)]
kleine fix die er toch niet meer toe doet.
pimjager [Sun, 15 Nov 2015 19:51:53 +0000 (20:51 +0100)]
removed refrence section
mart [Sun, 15 Nov 2015 19:44:46 +0000 (20:44 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
mart [Sun, 15 Nov 2015 19:44:23 +0000 (20:44 +0100)]
testcases erin
pimjager [Sun, 15 Nov 2015 19:35:03 +0000 (20:35 +0100)]
Added passing grade to report and removed discussion on randomisation
pimjager [Sun, 15 Nov 2015 19:27:05 +0000 (20:27 +0100)]
added discussion on not testing checksums
pimjager [Sun, 15 Nov 2015 19:02:41 +0000 (20:02 +0100)]
Changed packets to segments were applicable
mart [Sun, 15 Nov 2015 18:07:31 +0000 (19:07 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
Charlie Gerhardus [Sun, 15 Nov 2015 18:09:28 +0000 (19:09 +0100)]
expected results tabel klopt nu ook.
mart [Sun, 15 Nov 2015 18:07:18 +0000 (19:07 +0100)]
update generatiescirpt
Charlie Gerhardus [Sun, 15 Nov 2015 18:00:35 +0000 (19:00 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
Charlie Gerhardus [Sun, 15 Nov 2015 18:00:21 +0000 (19:00 +0100)]
tc 12 t/m 18 kloppen nu ook.
mart [Sun, 15 Nov 2015 17:35:38 +0000 (18:35 +0100)]
generatie van testkazen erbij, alleen results nog
Charlie Gerhardus [Sun, 15 Nov 2015 17:33:15 +0000 (18:33 +0100)]
tc 1 t/m 11 klopt nu.
charlie [Sun, 15 Nov 2015 16:00:59 +0000 (17:00 +0100)]
push om beneden achter de pc F1 te kunnen kijken.
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.
pimjager [Sat, 14 Nov 2015 15:47:38 +0000 (16:47 +0100)]
Add description of what is tested
pimjager [Sat, 14 Nov 2015 13:51:59 +0000 (14:51 +0100)]
merge with master
pimjager [Sat, 14 Nov 2015 13:51:30 +0000 (14:51 +0100)]
Framework voor results toegevoegd
charlie [Sat, 14 Nov 2015 13:49:24 +0000 (14:49 +0100)]
red ipv ref gefixed.
charlie [Sat, 14 Nov 2015 13:45:35 +0000 (14:45 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sat, 14 Nov 2015 13:45:04 +0000 (14:45 +0100)]
request defined
pimjager [Sat, 14 Nov 2015 13:35:44 +0000 (14:35 +0100)]
Fixed refrences
pimjager [Sat, 14 Nov 2015 13:28:23 +0000 (14:28 +0100)]
fixed merge conflicts, new results table
mart [Fri, 13 Nov 2015 19:09:17 +0000 (20:09 +0100)]
nu wel werkende code nadat het kapot was gemaakt
pimjager [Wed, 11 Nov 2015 16:57:50 +0000 (17:57 +0100)]
Add results table
Dion [Wed, 11 Nov 2015 16:27:00 +0000 (17:27 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
Dion [Wed, 11 Nov 2015 16:26:46 +0000 (17:26 +0100)]
eindversie dag des niet werkende scapy
mart [Wed, 11 Nov 2015 16:21:51 +0000 (17:21 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
mart [Wed, 11 Nov 2015 16:21:35 +0000 (17:21 +0100)]
code erbij
Mart Lubbers [Wed, 11 Nov 2015 15:28:06 +0000 (16:28 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Wed, 11 Nov 2015 15:28:02 +0000 (16:28 +0100)]
small change
pimjager [Wed, 11 Nov 2015 15:17:28 +0000 (16:17 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Wed, 11 Nov 2015 15:16:47 +0000 (16:16 +0100)]
Add explenation for testcases table
pimjager [Wed, 11 Nov 2015 15:05:13 +0000 (16:05 +0100)]
Add explenation on randomisation
Dion [Wed, 11 Nov 2015 14:57:02 +0000 (15:57 +0100)]
nu met maxpacket size
Dion [Wed, 11 Nov 2015 14:55:20 +0000 (15:55 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
Dion [Wed, 11 Nov 2015 14:55:07 +0000 (15:55 +0100)]
meer cases
pimjager [Wed, 11 Nov 2015 14:46:43 +0000 (15:46 +0100)]
Addd table numbers
pimjager [Wed, 11 Nov 2015 14:14:54 +0000 (15:14 +0100)]
Add explenation of partitions
pimjager [Wed, 11 Nov 2015 13:48:31 +0000 (14:48 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Wed, 11 Nov 2015 13:48:19 +0000 (14:48 +0100)]
Start with explenation of partitions
Mart Lubbers [Wed, 11 Nov 2015 12:44:39 +0000 (13:44 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Wed, 11 Nov 2015 12:44:32 +0000 (13:44 +0100)]
update tabel en make
mart [Wed, 11 Nov 2015 12:36:32 +0000 (13:36 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
mart [Wed, 11 Nov 2015 12:36:23 +0000 (13:36 +0100)]
eerste test
Mart Lubbers [Wed, 11 Nov 2015 12:24:45 +0000 (13:24 +0100)]
table works
Mart Lubbers [Wed, 11 Nov 2015 12:11:54 +0000 (13:11 +0100)]
update voor tabel
Mart Lubbers [Wed, 11 Nov 2015 09:17:50 +0000 (10:17 +0100)]
betere tabellen
Mart Lubbers [Wed, 11 Nov 2015 09:00:42 +0000 (10:00 +0100)]
update todo.txt
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
mart [Wed, 11 Nov 2015 08:58:00 +0000 (09:58 +0100)]
veel code erbij gedaan
Mart Lubbers [Wed, 11 Nov 2015 08:56:45 +0000 (09:56 +0100)]
veel gekloot in de latex
charlie [Tue, 10 Nov 2015 21:01:52 +0000 (22:01 +0100)]
na een hoop ruzie met latex is er nu een checklist!
pimjager [Mon, 9 Nov 2015 21:46:43 +0000 (22:46 +0100)]
Added testing paris
pimjager [Mon, 9 Nov 2015 21:07:42 +0000 (22:07 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Mon, 9 Nov 2015 21:07:25 +0000 (22:07 +0100)]
new setup for tests ordering
charlie [Mon, 9 Nov 2015 21:04:46 +0000 (22:04 +0100)]
2 test-cases ter illustratie.
Mart Lubbers [Mon, 9 Nov 2015 19:24:24 +0000 (20:24 +0100)]
nog betere gitignore
Mart Lubbers [Mon, 9 Nov 2015 19:23:55 +0000 (20:23 +0100)]
betere gitignore om geen binaries te hebben
pimjager [Mon, 9 Nov 2015 19:05:53 +0000 (20:05 +0100)]
Added workpartitioning to toto.txt
mart [Mon, 9 Nov 2015 18:50:37 +0000 (19:50 +0100)]
update met todo
mart [Mon, 9 Nov 2015 18:24:58 +0000 (19:24 +0100)]
added stuff from ramon
pimjager [Fri, 6 Nov 2015 11:46:52 +0000 (12:46 +0100)]
Feedback ronde 2 deels verwerkt. Opzet verlsag iets aangepast nav feedback.
charlie [Wed, 4 Nov 2015 19:46:39 +0000 (20:46 +0100)]
feedback ronde 2
pimjager [Tue, 27 Oct 2015 22:47:43 +0000 (23:47 +0100)]
a2 1.4
repositories / tt2015.git / log