repositories / mc1516pa.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'master' of https://github.com/dopefishh/mc1516pa
[mc1516pa.git] / modelchecker /
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
2016-03-23 Mart Lubbersmakefile tree | commitdiff
Unnamed repository; edit this file 'description' to name the repository.