repositories / mc1516pa.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
model checker fix
2016-04-17 Alexander Fedotovmodel checker fix
 commit | commitdiff | tree
2016-04-17 Alexander Fedotovsmall update
 commit | commitdiff | tree
2016-04-16 Alexander Fedotovthat was tough...
 commit | commitdiff | tree
2016-04-15 Alexander Fedotovsmall update
 commit | commitdiff | tree
2016-04-13 Alexander Fedotovsome more trans var corrections
 commit | commitdiff | tree
2016-04-13 Alexander Fedotovsome repairs for transition vars
 commit | commitdiff | tree
2016-04-12 Alexander Fedotovtransitions reworked
 commit | commitdiff | tree
2016-04-12 Alexander Fedotovsome clean-up
 commit | commitdiff | tree
2016-04-12 Alexander Fedotovtransitions are finished
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovleft trans rel is ready
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovtrans upd
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovtrans upd
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovagain, transitions update
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovtransitions update
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovtransitions update
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovrelations skeleton
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovcheck space helper added
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovxy exists helper
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovencode_screen updated
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovdifferent variable representation
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovtiny update
 commit | commitdiff | tree
2016-04-11 Alexander Fedotovstate encoding as it has to be
 commit | commitdiff | tree
2016-04-10 Alexander Fedotovrelation structures added
 commit | commitdiff | tree
2016-04-10 Alexander Fedotovbimap helper added
 commit | commitdiff | tree
2016-04-10 Alexander Fedotovcoord tiny update
 commit | commitdiff | tree
2016-04-09 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-04-09 Alexander Fedotovhelper maps
 commit | commitdiff | tree
2016-04-07 Alexander Fedotovtiny update
 commit | commitdiff | tree
2016-04-07 Alexander Fedotovsmall clean-up
 commit | commitdiff | tree
2016-04-07 Alexander Fedotovstate encoding done (needs checking)
 commit | commitdiff | tree
2016-04-07 Alexander Fedotovencoding update (unfinished)
 commit | commitdiff | tree
2016-04-07 Alexander Fedotovsmall update
 commit | commitdiff | tree
2016-04-07 Alexander Fedotovstarted with bdd encoding
 commit | commitdiff | tree
2016-03-30 Alexander Fedotovtiny update
 commit | commitdiff | tree
2016-03-26 Alexander Fedotovscreen shrinking done
 commit | commitdiff | tree
2016-03-26 Alexander Fedotovparsing rewritten, using hashes now
 commit | commitdiff | tree
2016-03-24 Alexander Fedotovsimple parsing added
 commit | commitdiff | tree
2016-03-14 Alexander Fedotov489 coord model
 commit | commitdiff | tree
2016-03-14 Alexander Fedotovreport update
 commit | commitdiff | tree
2016-03-14 Alexander Fedotovcoordinate based report added
 commit | commitdiff | tree
2016-03-13 Alexander Fedotovsome cleanup
 commit | commitdiff | tree
2016-03-13 Alexander Fedotovstarted with a python runner script
 commit | commitdiff | tree
2016-03-11 Alexander Fedotov@.@. fix
 commit | commitdiff | tree
2016-03-10 Alexander Fedotovsmall clean-up
 commit | commitdiff | tree
2016-03-10 Alexander FedotovMerge branch 'master' of https://github.com/dopefishh...
commit | commitdiff | tree
2016-03-10 Alexander Fedotovcoord generator minor fixes
 commit | commitdiff | tree
2016-03-10 Alexander Fedotovcoord gen small fix + cleanup
 commit | commitdiff | tree
2016-03-10 Alexander Fedotovcoord generator update
 commit | commitdiff | tree
2016-03-09 Alexander Fedotovinitials generation added
 commit | commitdiff | tree
2016-03-08 Alexander Fedotovgeneration with model stub (still prototyping)
 commit | commitdiff | tree
2016-03-07 Alexander Fedotovcome cleaning
 commit | commitdiff | tree
2016-03-07 Alexander Fedotovcoord solution (unfinished)
 commit | commitdiff | tree
Unnamed repository; edit this file 'description' to name the repository.