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