mc1516pa.git
2016-04-21 Mart Lubberssmall typos and strange long lines
2016-04-21 Alexander Fedotovimplementation update
2016-04-21 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
2016-04-21 Mart Lubbersupdate resutlst
2016-04-21 Alexander Fedotovsome updates
2016-04-21 Mart Lubbersup
2016-04-21 Mart Lubbersupdate results.tex
2016-04-21 Mart Lubbersadded verdict, also in positive case_
2016-04-21 Mart Lubberscleaned up code
2016-04-21 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
2016-04-21 Mart LubbersUpdate report
2016-04-21 Alexander Fedotovthe old main is back
2016-04-21 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
2016-04-21 Mart Lubbers.
2016-04-21 Mart Lubbersupdate
2016-04-21 Alexander Fedotovup
2016-04-21 Alexander Fedotovupdate
2016-04-21 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
2016-04-21 Alexander Fedotovupdate
2016-04-21 Mart Lubbersand back to pdflatex:p
2016-04-21 Mart Lubbersdecrease table size
2016-04-21 Mart Lubbersupdate
2016-04-21 Mart LubbersChange to vectorized
2016-04-21 Mart LubbersChange to vectorized graphs
2016-04-21 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
2016-04-21 Mart Lubbersbig report update with examples
2016-04-21 Alexander Fedotovpath extraction
2016-04-21 Alexander Fedotovon the way to path extracting
2016-04-21 Alexander Fedotovdeque structure for paths added
2016-04-20 Mart Lubbersadded minimum boxamount, check for crappy file
2016-04-20 Mart Lubbersfix
2016-04-20 Mart Lubbersupdate
2016-04-20 Mart Lubberstex update
2016-04-20 Mart LubbersMerge remote-tracking branch 'origin/lurd'
2016-04-20 Alexander Fedotovlurd solver
2016-04-20 Mart Lubberstransitions formalized
2016-04-20 Mart LubbersCleaned up main, removed some options
2016-04-20 Alexander Fedotovoops
2016-04-20 Alexander Fedotovyet another tiny update
2016-04-20 Alexander Fedotovtiny update
2016-04-20 Alexander Fedotovcore mode checking added
2016-04-20 Alexander Fedotovsmall update
2016-04-20 Alexander Fedotovgoal state encoder added
2016-04-19 Alexander Fedotovtransition fix
2016-04-19 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
2016-04-19 Alexander Fedotovtransitions fix update
2016-04-19 Mart Lubbersfix comma
2016-04-19 Alexander Fedotovtransitions fix
2016-04-19 Mart Lubbersadd safety switch for parsing, fixed agent error
2016-04-19 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa
2016-04-19 Mart Lubbersupdate test
2016-04-19 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
2016-04-19 Alexander Fedotovsome checks
2016-04-19 Mart Lubbersremove old tests
2016-04-19 Mart Lubbersfix tests
2016-04-19 Mart Lubbersupdated tests
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)
next