2016-04-21 |
Alexander Fedotov | Merge branch 'master' of https://github.com/dopefishh... |
tree | commitdiff |
2016-04-21 |
Mart Lubbers | up |
tree | commitdiff |
2016-04-21 |
Mart Lubbers | added verdict, also in positive case_ |
tree | commitdiff |
2016-04-21 |
Mart Lubbers | cleaned up code |
tree | commitdiff |
2016-04-21 |
Alexander Fedotov | Merge branch 'master' of https://github.com/dopefishh... |
tree | commitdiff |
2016-04-21 |
Alexander Fedotov | the old main is back |
tree | commitdiff |
2016-04-21 |
Mart Lubbers | Merge branch 'master' of github.com:dopefishh/mc1516pa |
tree | commitdiff |
2016-04-21 |
Mart Lubbers | . |
tree | commitdiff |
2016-04-21 |
Alexander Fedotov | up |
tree | commitdiff |
2016-04-21 |
Alexander Fedotov | update |
tree | commitdiff |
2016-04-21 |
Alexander Fedotov | Merge branch 'master' of https://github.com/dopefishh... |
tree | commitdiff |
2016-04-21 |
Alexander Fedotov | update |
tree | commitdiff |
2016-04-21 |
Mart Lubbers | Merge branch 'master' of github.com:dopefishh/mc1516pa |
tree | commitdiff |
2016-04-21 |
Alexander Fedotov | path extraction |
tree | commitdiff |
2016-04-21 |
Alexander Fedotov | on the way to path extracting |
tree | commitdiff |
2016-04-21 |
Alexander Fedotov | deque structure for paths added |
tree | commitdiff |
2016-04-20 |
Mart Lubbers | added minimum boxamount, check for crappy file |
tree | commitdiff |
2016-04-20 |
Mart Lubbers | fix |
tree | commitdiff |
2016-04-20 |
Mart Lubbers | Merge remote-tracking branch 'origin/lurd' |
tree | commitdiff |
2016-04-20 |
Alexander Fedotov | lurd solver |
tree | commitdiff |
2016-04-20 |
Mart Lubbers | Cleaned up main, removed some options |
tree | commitdiff |
2016-04-20 |
Alexander Fedotov | oops |
tree | commitdiff |
2016-04-20 |
Alexander Fedotov | yet another tiny update |
tree | commitdiff |
2016-04-20 |
Alexander Fedotov | tiny update |
tree | commitdiff |
2016-04-20 |
Alexander Fedotov | core mode checking added |
tree | commitdiff |
2016-04-20 |
Alexander Fedotov | small update |
tree | commitdiff |
2016-04-20 |
Alexander Fedotov | goal state encoder added |
tree | commitdiff |
2016-04-19 |
Alexander Fedotov | transition fix |
tree | commitdiff |
2016-04-19 |
Alexander Fedotov | Merge branch 'master' of https://github.com/dopefishh... |
tree | commitdiff |
2016-04-19 |
Alexander Fedotov | transitions fix update |
tree | commitdiff |
2016-04-19 |
Mart Lubbers | fix comma |
tree | commitdiff |
2016-04-19 |
Alexander Fedotov | transitions fix |
tree | commitdiff |
2016-04-19 |
Mart Lubbers | add safety switch for parsing, fixed agent error |
tree | commitdiff |
2016-04-19 |
Mart Lubbers | Merge branch 'master' of github.com:dopefishh/mc1516pa |
tree | commitdiff |
2016-04-19 |
Mart Lubbers | update test |
tree | commitdiff |
2016-04-19 |
Alexander Fedotov | Merge branch 'master' of https://github.com/dopefishh... |
tree | commitdiff |
2016-04-19 |
Alexander Fedotov | some checks |
tree | commitdiff |
2016-04-19 |
Mart Lubbers | remove old tests |
tree | commitdiff |
2016-04-19 |
Mart Lubbers | fix tests |
tree | commitdiff |
2016-04-19 |
Mart Lubbers | updated tests |
tree | commitdiff |
2016-04-19 |
Mart Lubbers | small report add and test make add |
tree | commitdiff |
2016-04-17 |
Mart Lubbers | added vertical tests |
tree | commitdiff |
2016-04-17 |
Mart Lubbers | added exhaustive tests |
tree | commitdiff |
2016-04-17 |
Mart Lubbers | added two piece tests and test.sh script |
tree | commitdiff |
2016-04-17 |
Mart Lubbers | revert |
tree | commitdiff |
2016-04-17 |
Mart Lubbers | redid two things |
tree | commitdiff |
2016-04-17 |
Mart Lubbers | checked all 1 and 2 cases |
tree | commitdiff |
2016-04-17 |
Alexander Fedotov | model checker fix |
tree | commitdiff |
2016-04-17 |
Alexander Fedotov | small update |
tree | commitdiff |
2016-04-16 |
Alexander Fedotov | that was tough... |
tree | commitdiff |
2016-04-15 |
Mart Lubbers | small update modelchecken |
tree | commitdiff |
2016-04-15 |
Alexander Fedotov | small update |
tree | commitdiff |
2016-04-13 |
Alexander Fedotov | some more trans var corrections |
tree | commitdiff |
2016-04-13 |
Alexander Fedotov | some repairs for transition vars |
tree | commitdiff |
2016-04-12 |
Alexander Fedotov | transitions reworked |
tree | commitdiff |
2016-04-12 |
Mart Lubbers | started with transitions, I think agent transitions... |
tree | commitdiff |
2016-04-12 |
Alexander Fedotov | some clean-up |
tree | commitdiff |
2016-04-12 |
Alexander Fedotov | transitions are finished |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | left trans rel is ready |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | trans upd |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | trans upd |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | again, transitions update |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | transitions update |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | transitions update |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | relations skeleton |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | check space helper added |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | xy exists helper |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | encode_screen updated |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | different variable representation |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | tiny update |
tree | commitdiff |
2016-04-11 |
Alexander Fedotov | state encoding as it has to be |
tree | commitdiff |
2016-04-10 |
Alexander Fedotov | relation structures added |
tree | commitdiff |
2016-04-10 |
Alexander Fedotov | bimap helper added |
tree | commitdiff |
2016-04-10 |
Alexander Fedotov | coord tiny update |
tree | commitdiff |
2016-04-09 |
Alexander Fedotov | Merge branch 'master' of https://github.com/dopefishh... |
tree | commitdiff |
2016-04-09 |
Alexander Fedotov | helper maps |
tree | commitdiff |
2016-04-08 |
Mart Lubbers | initial state encoding done, I think |
tree | commitdiff |
2016-04-07 |
Mart Lubbers | made a stub for object oriented appearch |
tree | commitdiff |
2016-04-07 |
Alexander Fedotov | tiny update |
tree | commitdiff |
2016-04-07 |
Alexander Fedotov | small clean-up |
tree | commitdiff |
2016-04-07 |
Alexander Fedotov | state encoding done (needs checking) |
tree | commitdiff |
2016-04-07 |
Alexander Fedotov | encoding update (unfinished) |
tree | commitdiff |
2016-04-07 |
Alexander Fedotov | small update |
tree | commitdiff |
2016-04-07 |
Alexander Fedotov | started with bdd encoding |
tree | commitdiff |
2016-04-06 |
Mart Lubbers | fixed makefile, made lace stub, updated headers |
tree | commitdiff |
2016-03-30 |
Alexander Fedotov | tiny update |
tree | commitdiff |
2016-03-26 |
Alexander Fedotov | screen shrinking done |
tree | commitdiff |
2016-03-26 |
Alexander Fedotov | parsing rewritten, using hashes now |
tree | commitdiff |
2016-03-24 |
Mart Lubbers | nice' |
tree | commitdiff |
2016-03-24 |
Alexander Fedotov | simple parsing added |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | improved even more |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | improved makefile |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | some |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | added sylvan |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | skeleton updated |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | argparsing working |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | epic makeflie |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | make |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | added skeleton |
tree | commitdiff |
2016-03-23 |
Mart Lubbers | updated makefile' |
tree | commitdiff |
next |