repositories
/
mc1516pa.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
deque structure for paths added
[mc1516pa.git]
/
modelchecker
/
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
2016-03-23
Mart Lubbers
makefile
tree
|
commitdiff