tt2015.git
8 years agoadded converted models to gitignore
pimjager [Tue, 26 Jan 2016 21:52:56 +0000 (22:52 +0100)]
added converted models to gitignore

8 years agoPython convertscript terug gezet, kutCharlie2 ;)
pimjager [Tue, 26 Jan 2016 21:42:50 +0000 (22:42 +0100)]
Python convertscript terug gezet, kutCharlie2 ;)

8 years agoreset a3, kut Charlie ;)
pimjager [Tue, 26 Jan 2016 21:30:33 +0000 (22:30 +0100)]
reset a3, kut Charlie ;)

8 years agogoede dingen
Mart Lubbers [Tue, 26 Jan 2016 20:38:34 +0000 (21:38 +0100)]
goede dingen

8 years agotex opgeschoond'
Mart Lubbers [Tue, 26 Jan 2016 20:34:05 +0000 (21:34 +0100)]
tex opgeschoond'

8 years agoall models and results added as graphics
charlie [Tue, 26 Jan 2016 20:25:51 +0000 (21:25 +0100)]
all models and results added as graphics

8 years agomodels.tex was missing
charlie [Tue, 26 Jan 2016 20:20:29 +0000 (21:20 +0100)]
models.tex was missing

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Tue, 26 Jan 2016 20:18:16 +0000 (21:18 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agomore results added to paper
charlie [Tue, 26 Jan 2016 20:17:58 +0000 (21:17 +0100)]
more results added to paper

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Tue, 26 Jan 2016 20:16:22 +0000 (21:16 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agolast model added
charlie [Tue, 26 Jan 2016 20:16:03 +0000 (21:16 +0100)]
last model added

8 years agoonly one learning config combi missing!
charlie [Tue, 26 Jan 2016 19:48:11 +0000 (20:48 +0100)]
only one learning config combi missing!
more text added to paper.

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Tue, 26 Jan 2016 19:39:07 +0000 (20:39 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agosomme ex2 and ex3 text
charlie [Tue, 26 Jan 2016 19:38:45 +0000 (20:38 +0100)]
somme ex2 and ex3 text

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Tue, 26 Jan 2016 16:10:52 +0000 (17:10 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agoforgot to add run.sh
charlie [Tue, 26 Jan 2016 16:10:44 +0000 (17:10 +0100)]
forgot to add run.sh

8 years agomore learned models added and relearned models with new adapter
charlie [Tue, 26 Jan 2016 16:10:12 +0000 (17:10 +0100)]
more learned models added and relearned models with new adapter

8 years agomakefile fix and table with results so far added to ex3
charlie [Tue, 26 Jan 2016 16:09:00 +0000 (17:09 +0100)]
makefile fix and table with results so far added to ex3

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
charlie [Tue, 26 Jan 2016 11:52:26 +0000 (12:52 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agoall uptodate models added
charlie [Tue, 26 Jan 2016 11:52:07 +0000 (12:52 +0100)]
all uptodate models added

8 years agowerkend dotscript
Mart Lubbers [Tue, 26 Jan 2016 07:58:45 +0000 (08:58 +0100)]
werkend dotscript

8 years agofully working adapter and time logging for the learner
charlie [Mon, 25 Jan 2016 16:14:42 +0000 (17:14 +0100)]
fully working adapter and time logging for the learner

8 years agoadapter can now handle partial alphabet testing
charlie [Mon, 25 Jan 2016 13:31:38 +0000 (14:31 +0100)]
adapter can now handle partial alphabet testing

8 years agoshizzle iets aangepast
charlie [Mon, 25 Jan 2016 12:51:01 +0000 (13:51 +0100)]
shizzle iets aangepast

8 years agomodel for partial TTT learning
charlie [Mon, 25 Jan 2016 11:22:23 +0000 (12:22 +0100)]
model for partial TTT learning

8 years agonu met onzin model van partial
charlie [Mon, 25 Jan 2016 10:35:56 +0000 (11:35 +0100)]
nu met onzin model van partial

8 years agocmd options for learner and learned model for minimal input alphabet added as sample.
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.

8 years agoupdate
mart & charlie [Fri, 22 Jan 2016 19:01:50 +0000 (14:01 -0500)]
update

8 years agofixed readme
mart & charlie [Fri, 22 Jan 2016 18:56:26 +0000 (13:56 -0500)]
fixed readme

8 years agoworking setup for a4
mart & charlie [Fri, 22 Jan 2016 18:55:28 +0000 (13:55 -0500)]
working setup for a4

8 years agoQuestion 1 answered
pimjager [Wed, 20 Jan 2016 20:27:03 +0000 (21:27 +0100)]
Question 1 answered

8 years agoAdded todo
pimjager [Wed, 20 Jan 2016 12:15:59 +0000 (13:15 +0100)]
Added todo

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Wed, 20 Jan 2016 12:15:43 +0000 (13:15 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agoDelete README
dopefishh [Wed, 20 Jan 2016 12:07:01 +0000 (13:07 +0100)]
Delete README

8 years agoReport: all questions added
pimjager [Wed, 20 Jan 2016 11:37:49 +0000 (12:37 +0100)]
Report: all questions added

8 years agoMerge branch 'master' of https://github.com/dopefishh/tt2015
pimjager [Wed, 20 Jan 2016 11:35:34 +0000 (12:35 +0100)]
Merge branch 'master' of https://github.com/dopefishh/tt2015

8 years agoStart report
pimjager [Wed, 20 Jan 2016 11:35:11 +0000 (12:35 +0100)]
Start report

8 years agowerkende main voor candylearner
Mart Lubbers [Wed, 20 Jan 2016 11:33:01 +0000 (12:33 +0100)]
werkende main voor candylearner

8 years agoupdate'
Mart Lubbers [Wed, 20 Jan 2016 11:10:15 +0000 (12:10 +0100)]
update'

8 years agocandy learner mooier gemaakt
Mart Lubbers [Wed, 20 Jan 2016 11:09:13 +0000 (12:09 +0100)]
candy learner mooier gemaakt

8 years agohallo'
Mart Lubbers [Wed, 20 Jan 2016 10:37:52 +0000 (11:37 +0100)]
hallo'

8 years agoupdate'
Mart Lubbers [Wed, 20 Jan 2016 10:24:27 +0000 (11:24 +0100)]
update'

8 years agoook geen dots in de repo hier!
Mart Lubbers [Wed, 20 Jan 2016 10:16:04 +0000 (11:16 +0100)]
ook geen dots in de repo hier!

8 years agoawesome scriptszzz"
Mart Lubbers [Wed, 20 Jan 2016 10:15:42 +0000 (11:15 +0100)]
awesome scriptszzz"

8 years agoclean dingetje
Mart Lubbers [Wed, 20 Jan 2016 10:13:46 +0000 (11:13 +0100)]
clean dingetje

8 years agoMerge branch 'master' of github.com:dopefishh/tt2015
Mart Lubbers [Wed, 20 Jan 2016 10:11:48 +0000 (11:11 +0100)]
Merge branch 'master' of github.com:dopefishh/tt2015

8 years agoremove binary:(
Mart Lubbers [Wed, 20 Jan 2016 10:11:39 +0000 (11:11 +0100)]
remove binary:(

8 years agoadded learnlibloblab
Mart Lubbers [Wed, 20 Jan 2016 10:11:13 +0000 (11:11 +0100)]
added learnlibloblab

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