mc1516pa.git
2016-04-19 Alexander Fedotovsome checks
2016-04-19 Mart Lubbersstarted with transitions in formal documentg
2016-04-19 Mart Lubbersadd move variables
2016-04-19 Mart Lubberssmall report add and test make add
2016-04-17 Mart Lubbersadded vertical tests
2016-04-17 Mart Lubbersadded exhaustive tests
2016-04-17 Mart Lubbersadded two piece tests and test.sh script
2016-04-17 Mart Lubbersrevert
2016-04-17 Mart Lubbersredid two things
2016-04-17 Mart Lubberschecked all 1 and 2 cases
2016-04-17 Alexander Fedotovmodel checker fix
2016-04-17 Alexander Fedotovsmall update
2016-04-16 Alexander Fedotovthat was tough...
2016-04-15 Mart LubbersStarted with report
2016-04-15 Mart Lubberssmall update modelchecken
2016-04-15 Alexander Fedotovsmall update
2016-04-13 Alexander Fedotovsome more trans var corrections
2016-04-13 Alexander Fedotovsome repairs for transition vars
2016-04-12 Alexander Fedotovtransitions reworked
2016-04-12 Mart Lubbersstarted with transitions, I think agent transitions...
2016-04-12 Alexander Fedotovsome clean-up
2016-04-12 Alexander Fedotovtransitions are finished
2016-04-11 Alexander Fedotovleft trans rel is ready
2016-04-11 Alexander Fedotovtrans upd
2016-04-11 Alexander Fedotovtrans upd
2016-04-11 Alexander Fedotovagain, transitions update
2016-04-11 Alexander Fedotovtransitions update
2016-04-11 Alexander Fedotovtransitions update
2016-04-11 Alexander Fedotovrelations skeleton
2016-04-11 Alexander Fedotovcheck space helper added
2016-04-11 Alexander Fedotovxy exists helper
2016-04-11 Alexander Fedotovencode_screen updated
2016-04-11 Alexander Fedotovdifferent variable representation
2016-04-11 Alexander Fedotovtiny update
2016-04-11 Alexander Fedotovstate encoding as it has to be
2016-04-10 Alexander Fedotovrelation structures added
2016-04-10 Alexander Fedotovbimap helper added
2016-04-10 Alexander Fedotovcoord tiny update
2016-04-09 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
2016-04-09 Alexander Fedotovhelper maps
2016-04-08 Mart Lubbersinitial state encoding done, I think
2016-04-07 Mart Lubbersmade a stub for object oriented appearch
2016-04-07 Alexander Fedotovtiny update
2016-04-07 Alexander Fedotovsmall clean-up
2016-04-07 Alexander Fedotovstate encoding done (needs checking)
2016-04-07 Alexander Fedotovencoding update (unfinished)
2016-04-07 Alexander Fedotovsmall update
2016-04-07 Alexander Fedotovstarted with bdd encoding
2016-04-06 Mart Lubbersfixed makefile, made lace stub, updated headers
2016-03-30 Alexander Fedotovtiny update
2016-03-26 Alexander Fedotovscreen shrinking done
2016-03-26 Alexander Fedotovparsing rewritten, using hashes now
2016-03-24 Mart Lubbersnice'
2016-03-24 Alexander Fedotovsimple parsing added
2016-03-23 Mart Lubbersimproved even more
2016-03-23 Mart Lubbersimproved makefile
2016-03-23 Mart Lubberssome
2016-03-23 Mart Lubbersadded sylvan
2016-03-23 Mart Lubbersskeleton updated
2016-03-23 Mart Lubbersargparsing working
2016-03-23 Mart Lubbersepic makeflie
2016-03-23 Mart Lubbersmake
2016-03-23 Mart Lubbersadded skeleton
2016-03-23 Mart Lubbersupdated makefile'
2016-03-23 Mart Lubbersmakefile
2016-03-14 Mart Lubbersadded model
2016-03-14 Mart Lubbersupdated some stuff
2016-03-14 Mart Lubbersupdated some stuff
2016-03-14 Alexander Fedotov489 coord model
2016-03-14 Alexander Fedotovreport update
2016-03-14 Alexander Fedotovcoordinate based report added
2016-03-13 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
2016-03-13 Mart Lubbersformal description done'
2016-03-13 Mart Lubbersalmost finished my bit
2016-03-13 Alexander Fedotovsome cleanup
2016-03-13 Alexander Fedotovstarted with a python runner script
2016-03-13 Mart Lubbersprep for the report
2016-03-13 Mart Lubbersannotations added in the code
2016-03-13 Mart LubbersMade module object so the files stay small
2016-03-12 Mart Lubbersadded fancy benchmark
2016-03-12 Mart Lubbersworks!
2016-03-12 Mart Lubbersworks, tested with 2000 and 642
2016-03-11 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
2016-03-11 Mart Lubbersadded stub for boxonbox thing
2016-03-11 Alexander Fedotov@.@. fix
2016-03-11 Mart Lubbersalmost finished code, strange error
2016-03-10 Alexander Fedotovsmall clean-up
2016-03-10 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
2016-03-10 Alexander Fedotovcoord generator minor fixes
2016-03-10 Mart Lubbersstarted with some necoding
2016-03-10 Alexander Fedotovcoord gen small fix + cleanup
2016-03-10 Alexander Fedotovcoord generator update
2016-03-09 Alexander Fedotovinitials generation added
2016-03-08 Alexander Fedotovgeneration with model stub (still prototyping)
2016-03-07 Alexander Fedotovcome cleaning
2016-03-07 Alexander Fedotovcoord solution (unfinished)
2016-03-07 Mart Lubbersskeleton for object centered approach
2016-03-07 Mart Lubbersupdated sokoban parser
2016-03-07 Mart Lubberssokoban parser done
2016-03-07 Mart Lubbersadded agent
next