charlie [Tue, 26 Jan 2016 20:16:03 +0000 (21:16 +0100)]
last model added
charlie [Tue, 26 Jan 2016 16:10:52 +0000 (17:10 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Tue, 26 Jan 2016 16:10:44 +0000 (17:10 +0100)]
forgot to add run.sh
charlie [Tue, 26 Jan 2016 16:10:12 +0000 (17:10 +0100)]
more learned models added and relearned models with new adapter
charlie [Tue, 26 Jan 2016 16:09:00 +0000 (17:09 +0100)]
makefile fix and table with results so far added to ex3
charlie [Tue, 26 Jan 2016 11:52:26 +0000 (12:52 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Tue, 26 Jan 2016 11:52:07 +0000 (12:52 +0100)]
all uptodate models added
Mart Lubbers [Tue, 26 Jan 2016 07:58:45 +0000 (08:58 +0100)]
werkend dotscript
charlie [Mon, 25 Jan 2016 16:14:42 +0000 (17:14 +0100)]
fully working adapter and time logging for the learner
charlie [Mon, 25 Jan 2016 13:31:38 +0000 (14:31 +0100)]
adapter can now handle partial alphabet testing
charlie [Mon, 25 Jan 2016 12:51:01 +0000 (13:51 +0100)]
shizzle iets aangepast
charlie [Mon, 25 Jan 2016 11:22:23 +0000 (12:22 +0100)]
model for partial TTT learning
charlie [Mon, 25 Jan 2016 10:35:56 +0000 (11:35 +0100)]
nu met onzin model van partial
charlie [Sun, 24 Jan 2016 21:12:36 +0000 (22:12 +0100)]
cmd options for learner and learned model for minimal input alphabet added as sample.
mart & charlie [Fri, 22 Jan 2016 19:01:50 +0000 (14:01 -0500)]
update
mart & charlie [Fri, 22 Jan 2016 18:56:26 +0000 (13:56 -0500)]
fixed readme
mart & charlie [Fri, 22 Jan 2016 18:55:28 +0000 (13:55 -0500)]
working setup for a4
pimjager [Wed, 20 Jan 2016 20:27:03 +0000 (21:27 +0100)]
Question 1 answered
pimjager [Wed, 20 Jan 2016 12:15:59 +0000 (13:15 +0100)]
Added todo
pimjager [Wed, 20 Jan 2016 12:15:43 +0000 (13:15 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
dopefishh [Wed, 20 Jan 2016 12:07:01 +0000 (13:07 +0100)]
Delete README
pimjager [Wed, 20 Jan 2016 11:37:49 +0000 (12:37 +0100)]
Report: all questions added
pimjager [Wed, 20 Jan 2016 11:35:34 +0000 (12:35 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Wed, 20 Jan 2016 11:35:11 +0000 (12:35 +0100)]
Start report
Mart Lubbers [Wed, 20 Jan 2016 11:33:01 +0000 (12:33 +0100)]
werkende main voor candylearner
Mart Lubbers [Wed, 20 Jan 2016 11:10:15 +0000 (12:10 +0100)]
update'
Mart Lubbers [Wed, 20 Jan 2016 11:09:13 +0000 (12:09 +0100)]
candy learner mooier gemaakt
Mart Lubbers [Wed, 20 Jan 2016 10:37:52 +0000 (11:37 +0100)]
hallo'
Mart Lubbers [Wed, 20 Jan 2016 10:24:27 +0000 (11:24 +0100)]
update'
Mart Lubbers [Wed, 20 Jan 2016 10:16:04 +0000 (11:16 +0100)]
ook geen dots in de repo hier!
Mart Lubbers [Wed, 20 Jan 2016 10:15:42 +0000 (11:15 +0100)]
awesome scriptszzz"
Mart Lubbers [Wed, 20 Jan 2016 10:13:46 +0000 (11:13 +0100)]
clean dingetje
Mart Lubbers [Wed, 20 Jan 2016 10:11:48 +0000 (11:11 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Wed, 20 Jan 2016 10:11:39 +0000 (11:11 +0100)]
remove binary:(
Mart Lubbers [Wed, 20 Jan 2016 10:11:13 +0000 (11:11 +0100)]
added learnlibloblab
pimjager [Wed, 20 Jan 2016 10:04:52 +0000 (11:04 +0100)]
Added exercise code from BB
pimjager [Wed, 20 Jan 2016 09:57:43 +0000 (10:57 +0100)]
Added readme for running basic learner
Mart Lubbers [Wed, 20 Jan 2016 09:08:19 +0000 (10:08 +0100)]
push
Mart Lubbers [Wed, 20 Jan 2016 09:02:28 +0000 (10:02 +0100)]
mapje gemaakt voor a4
charlie [Mon, 21 Dec 2015 11:26:00 +0000 (12:26 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Mon, 21 Dec 2015 11:25:42 +0000 (12:25 +0100)]
with gast output
pimjager [Mon, 21 Dec 2015 11:05:26 +0000 (12:05 +0100)]
spellcheck
charlie [Mon, 21 Dec 2015 10:42:47 +0000 (11:42 +0100)]
meer gast verhaal in verslag
pimjager [Mon, 21 Dec 2015 10:06:08 +0000 (11:06 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Sun, 20 Dec 2015 22:35:28 +0000 (23:35 +0100)]
Added a bit of discussion
charlie [Sun, 20 Dec 2015 22:23:58 +0000 (23:23 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 22:23:30 +0000 (23:23 +0100)]
generate grapvis from gast model
charlie [Sun, 20 Dec 2015 22:22:34 +0000 (23:22 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 22:22:13 +0000 (23:22 +0100)]
working python adapter for gast.
pimjager [Sun, 20 Dec 2015 21:45:00 +0000 (22:45 +0100)]
Soort van start met hfdst5
Mart Lubbers [Sun, 20 Dec 2015 21:32:38 +0000 (22:32 +0100)]
fixed ref and stukje 4 toegevoegd
pimjager [Sun, 20 Dec 2015 21:07:40 +0000 (22:07 +0100)]
fixed some small errors in the report
pimjager [Sun, 20 Dec 2015 21:02:48 +0000 (22:02 +0100)]
fixed agly space after gast command
Mart Lubbers [Sun, 20 Dec 2015 20:19:25 +0000 (21:19 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Sun, 20 Dec 2015 20:19:13 +0000 (21:19 +0100)]
jtorx log
mart & charlie [Sun, 20 Dec 2015 20:18:46 +0000 (15:18 -0500)]
Merge branch 'master' of https://github.com/dopefishh/tt2015
mart & charlie [Sun, 20 Dec 2015 20:18:37 +0000 (15:18 -0500)]
final hello
Mart Lubbers [Sun, 20 Dec 2015 19:27:14 +0000 (20:27 +0100)]
graphs nu erbij
charlie [Sun, 20 Dec 2015 19:25:07 +0000 (20:25 +0100)]
non-functional adapter python code pushed.
charlie [Sun, 20 Dec 2015 18:41:55 +0000 (19:41 +0100)]
:wWMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Sun, 20 Dec 2015 18:41:41 +0000 (19:41 +0100)]
changes to gast adapter.
Mart Lubbers [Sun, 20 Dec 2015 18:21:26 +0000 (19:21 +0100)]
added bibtex'
git p
Mart Lubbers [Sun, 20 Dec 2015 18:18:47 +0000 (19:18 +0100)]
update hfst 1 2
Mart Lubbers [Sun, 20 Dec 2015 17:44:27 +0000 (18:44 +0100)]
updated graphs
Mart Lubbers [Sun, 20 Dec 2015 16:48:20 +0000 (17:48 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Sun, 20 Dec 2015 16:48:13 +0000 (17:48 +0100)]
add data transfer
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.
repositories / tt2015.git / log