repositories / mc1516pa.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
typos
[mc1516pa.git] / modelchecker /
2016-04-21 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh... tree | commitdiff
2016-04-21 Mart Lubbersup tree | commitdiff
2016-04-21 Mart Lubbersadded verdict, also in positive case_ tree | commitdiff
2016-04-21 Mart Lubberscleaned up code tree | commitdiff
2016-04-21 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh... tree | commitdiff
2016-04-21 Alexander Fedotovthe old main is back tree | commitdiff
2016-04-21 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa tree | commitdiff
2016-04-21 Mart Lubbers. tree | commitdiff
2016-04-21 Alexander Fedotovup tree | commitdiff
2016-04-21 Alexander Fedotovupdate tree | commitdiff
2016-04-21 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh... tree | commitdiff
2016-04-21 Alexander Fedotovupdate tree | commitdiff
2016-04-21 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa tree | commitdiff
2016-04-21 Alexander Fedotovpath extraction tree | commitdiff
2016-04-21 Alexander Fedotovon the way to path extracting tree | commitdiff
2016-04-21 Alexander Fedotovdeque structure for paths added tree | commitdiff
2016-04-20 Mart Lubbersadded minimum boxamount, check for crappy file tree | commitdiff
2016-04-20 Mart Lubbersfix tree | commitdiff
2016-04-20 Mart LubbersMerge remote-tracking branch 'origin/lurd' tree | commitdiff
2016-04-20 Alexander Fedotovlurd solver tree | commitdiff
2016-04-20 Mart LubbersCleaned up main, removed some options tree | commitdiff
2016-04-20 Alexander Fedotovoops tree | commitdiff
2016-04-20 Alexander Fedotovyet another tiny update tree | commitdiff
2016-04-20 Alexander Fedotovtiny update tree | commitdiff
2016-04-20 Alexander Fedotovcore mode checking added tree | commitdiff
2016-04-20 Alexander Fedotovsmall update tree | commitdiff
2016-04-20 Alexander Fedotovgoal state encoder added tree | commitdiff
2016-04-19 Alexander Fedotovtransition fix tree | commitdiff
2016-04-19 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh... tree | commitdiff
2016-04-19 Alexander Fedotovtransitions fix update tree | commitdiff
2016-04-19 Mart Lubbersfix comma tree | commitdiff
2016-04-19 Alexander Fedotovtransitions fix tree | commitdiff
2016-04-19 Mart Lubbersadd safety switch for parsing, fixed agent error tree | commitdiff
2016-04-19 Mart LubbersMerge branch 'master' of github.com:dopefishh/mc1516pa tree | commitdiff
2016-04-19 Mart Lubbersupdate test tree | commitdiff
2016-04-19 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh... tree | commitdiff
2016-04-19 Alexander Fedotovsome checks tree | commitdiff
2016-04-19 Mart Lubbersremove old tests tree | commitdiff
2016-04-19 Mart Lubbersfix tests tree | commitdiff
2016-04-19 Mart Lubbersupdated tests tree | commitdiff
2016-04-19 Mart Lubberssmall report add and test make add tree | commitdiff
2016-04-17 Mart Lubbersadded vertical tests tree | commitdiff
2016-04-17 Mart Lubbersadded exhaustive tests tree | commitdiff
2016-04-17 Mart Lubbersadded two piece tests and test.sh script tree | commitdiff
2016-04-17 Mart Lubbersrevert tree | commitdiff
2016-04-17 Mart Lubbersredid two things tree | commitdiff
2016-04-17 Mart Lubberschecked all 1 and 2 cases tree | commitdiff
2016-04-17 Alexander Fedotovmodel checker fix tree | commitdiff
2016-04-17 Alexander Fedotovsmall update tree | commitdiff
2016-04-16 Alexander Fedotovthat was tough... tree | commitdiff
2016-04-15 Mart Lubberssmall update modelchecken tree | commitdiff
2016-04-15 Alexander Fedotovsmall update tree | commitdiff
2016-04-13 Alexander Fedotovsome more trans var corrections tree | commitdiff
2016-04-13 Alexander Fedotovsome repairs for transition vars tree | commitdiff
2016-04-12 Alexander Fedotovtransitions reworked tree | commitdiff
2016-04-12 Mart Lubbersstarted with transitions, I think agent transitions... tree | commitdiff
2016-04-12 Alexander Fedotovsome clean-up tree | commitdiff
2016-04-12 Alexander Fedotovtransitions are finished tree | commitdiff
2016-04-11 Alexander Fedotovleft trans rel is ready tree | commitdiff
2016-04-11 Alexander Fedotovtrans upd tree | commitdiff
2016-04-11 Alexander Fedotovtrans upd tree | commitdiff
2016-04-11 Alexander Fedotovagain, transitions update tree | commitdiff
2016-04-11 Alexander Fedotovtransitions update tree | commitdiff
2016-04-11 Alexander Fedotovtransitions update tree | commitdiff
2016-04-11 Alexander Fedotovrelations skeleton tree | commitdiff
2016-04-11 Alexander Fedotovcheck space helper added tree | commitdiff
2016-04-11 Alexander Fedotovxy exists helper tree | commitdiff
2016-04-11 Alexander Fedotovencode_screen updated tree | commitdiff
2016-04-11 Alexander Fedotovdifferent variable representation tree | commitdiff
2016-04-11 Alexander Fedotovtiny update tree | commitdiff
2016-04-11 Alexander Fedotovstate encoding as it has to be tree | commitdiff
2016-04-10 Alexander Fedotovrelation structures added tree | commitdiff
2016-04-10 Alexander Fedotovbimap helper added tree | commitdiff
2016-04-10 Alexander Fedotovcoord tiny update tree | commitdiff
2016-04-09 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh... tree | commitdiff
2016-04-09 Alexander Fedotovhelper maps tree | commitdiff
2016-04-08 Mart Lubbersinitial state encoding done, I think tree | commitdiff
2016-04-07 Mart Lubbersmade a stub for object oriented appearch tree | commitdiff
2016-04-07 Alexander Fedotovtiny update tree | commitdiff
2016-04-07 Alexander Fedotovsmall clean-up tree | commitdiff
2016-04-07 Alexander Fedotovstate encoding done (needs checking) tree | commitdiff
2016-04-07 Alexander Fedotovencoding update (unfinished) tree | commitdiff
2016-04-07 Alexander Fedotovsmall update tree | commitdiff
2016-04-07 Alexander Fedotovstarted with bdd encoding tree | commitdiff
2016-04-06 Mart Lubbersfixed makefile, made lace stub, updated headers tree | commitdiff
2016-03-30 Alexander Fedotovtiny update tree | commitdiff
2016-03-26 Alexander Fedotovscreen shrinking done tree | commitdiff
2016-03-26 Alexander Fedotovparsing rewritten, using hashes now tree | commitdiff
2016-03-24 Mart Lubbersnice' tree | commitdiff
2016-03-24 Alexander Fedotovsimple parsing added tree | commitdiff
2016-03-23 Mart Lubbersimproved even more tree | commitdiff
2016-03-23 Mart Lubbersimproved makefile tree | commitdiff
2016-03-23 Mart Lubberssome tree | commitdiff
2016-03-23 Mart Lubbersadded sylvan tree | commitdiff
2016-03-23 Mart Lubbersskeleton updated tree | commitdiff
2016-03-23 Mart Lubbersargparsing working tree | commitdiff
2016-03-23 Mart Lubbersepic makeflie tree | commitdiff
2016-03-23 Mart Lubbersmake tree | commitdiff
2016-03-23 Mart Lubbersadded skeleton tree | commitdiff
2016-03-23 Mart Lubbersupdated makefile' tree | commitdiff
next
Unnamed repository; edit this file 'description' to name the repository.