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