repositories / mc1516pa.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
big report update with examples
2016-04-21 Mart Lubbersbig report update with examples
 commit | commitdiff | tree
2016-04-20 Mart Lubbersupdate
 commit | commitdiff | tree
2016-04-20 Mart Lubberstex update
 commit | commitdiff | tree
2016-04-20 Mart LubbersMerge remote-tracking branch 'origin/lurd'
 commit | commitdiff | tree
2016-04-20 Mart Lubberstransitions formalized
 commit | commitdiff | tree
2016-04-20 Mart LubbersCleaned up main, removed some options
 commit | commitdiff | tree
2016-04-19 Mart Lubbersfix comma
 commit | commitdiff | tree
2016-04-19 Mart Lubbersadd safety switch for parsing, fixed agent error
 commit | commitdiff | tree
2016-04-19 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
 commit | commitdiff | tree
2016-04-19 Mart Lubbersupdate test
 commit | commitdiff | tree
2016-04-19 Mart Lubbersremove old tests
 commit | commitdiff | tree
2016-04-19 Mart Lubbersfix tests
 commit | commitdiff | tree
2016-04-19 Mart Lubbersupdated tests
 commit | commitdiff | tree
2016-04-19 Mart Lubbersstarted with transitions in formal documentg
 commit | commitdiff | tree
2016-04-19 Mart Lubbersadd move variables
 commit | commitdiff | tree
2016-04-19 Mart Lubberssmall report add and test make add
 commit | commitdiff | tree
2016-04-17 Mart Lubbersadded vertical tests
 commit | commitdiff | tree
2016-04-17 Mart Lubbersadded exhaustive tests
 commit | commitdiff | tree
2016-04-17 Mart Lubbersadded two piece tests and test.sh script
 commit | commitdiff | tree
2016-04-17 Mart Lubbersrevert
 commit | commitdiff | tree
2016-04-17 Mart Lubbersredid two things
 commit | commitdiff | tree
2016-04-17 Mart Lubberschecked all 1 and 2 cases
 commit | commitdiff | tree
2016-04-15 Mart LubbersStarted with report
 commit | commitdiff | tree
2016-04-15 Mart Lubberssmall update modelchecken
 commit | commitdiff | tree
2016-04-12 Mart Lubbersstarted with transitions, I think agent transitions...
commit | commitdiff | tree
2016-04-08 Mart Lubbersinitial state encoding done, I think
 commit | commitdiff | tree
2016-04-07 Mart Lubbersmade a stub for object oriented appearch
 commit | commitdiff | tree
2016-04-06 Mart Lubbersfixed makefile, made lace stub, updated headers
 commit | commitdiff | tree
2016-03-24 Mart Lubbersnice'
 commit | commitdiff | tree
2016-03-23 Mart Lubbersimproved even more
 commit | commitdiff | tree
2016-03-23 Mart Lubbersimproved makefile
 commit | commitdiff | tree
2016-03-23 Mart Lubberssome
 commit | commitdiff | tree
2016-03-23 Mart Lubbersadded sylvan
 commit | commitdiff | tree
2016-03-23 Mart Lubbersskeleton updated
 commit | commitdiff | tree
2016-03-23 Mart Lubbersargparsing working
 commit | commitdiff | tree
2016-03-23 Mart Lubbersepic makeflie
 commit | commitdiff | tree
2016-03-23 Mart Lubbersmake
 commit | commitdiff | tree
2016-03-23 Mart Lubbersadded skeleton
 commit | commitdiff | tree
2016-03-23 Mart Lubbersupdated makefile'
 commit | commitdiff | tree
2016-03-23 Mart Lubbersmakefile
 commit | commitdiff | tree
2016-03-14 Mart Lubbersadded model
 commit | commitdiff | tree
2016-03-14 Mart Lubbersupdated some stuff
 commit | commitdiff | tree
2016-03-14 Mart Lubbersupdated some stuff
 commit | commitdiff | tree
2016-03-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
 commit | commitdiff | tree
2016-03-13 Mart Lubbersformal description done'
 commit | commitdiff | tree
2016-03-13 Mart Lubbersalmost finished my bit
 commit | commitdiff | tree
2016-03-13 Mart Lubbersprep for the report
 commit | commitdiff | tree
2016-03-13 Mart Lubbersannotations added in the code
 commit | commitdiff | tree
2016-03-13 Mart LubbersMade module object so the files stay small
 commit | commitdiff | tree
2016-03-12 Mart Lubbersadded fancy benchmark
 commit | commitdiff | tree
2016-03-12 Mart Lubbersworks!
 commit | commitdiff | tree
2016-03-12 Mart Lubbersworks, tested with 2000 and 642
 commit | commitdiff | tree
2016-03-11 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
 commit | commitdiff | tree
2016-03-11 Mart Lubbersadded stub for boxonbox thing
 commit | commitdiff | tree
2016-03-11 Mart Lubbersalmost finished code, strange error
 commit | commitdiff | tree
2016-03-10 Mart Lubbersstarted with some necoding
 commit | commitdiff | tree
2016-03-07 Mart Lubbersskeleton for object centered approach
 commit | commitdiff | tree
2016-03-07 Mart Lubbersupdated sokoban parser
 commit | commitdiff | tree
2016-03-07 Mart Lubberssokoban parser done
 commit | commitdiff | tree
2016-03-07 Mart Lubbersadded agent
 commit | commitdiff | tree
2016-03-07 Mart Lubbersinterface for sokoban
 commit | commitdiff | tree
2016-03-05 Mart Lubbersupdate gitignore so that zip contents can be in this dir
 commit | commitdiff | tree
2016-03-05 Mart Lubbersinitial commit, report skeleton
 commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.