repositories
/
mc1516pa.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
fix
[mc1516pa.git]
/
modelchecker
/
main.c
2016-04-20
Mart Lubbers
fix
blob
|
commitdiff
|
raw
2016-04-20
Mart Lubbers
Merge remote-tracking branch 'origin/lurd'
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Alexander Fedotov
lurd solver
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Mart Lubbers
Cleaned up main, removed some options
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Alexander Fedotov
oops
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Alexander Fedotov
yet another tiny update
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Alexander Fedotov
tiny update
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Alexander Fedotov
core mode checking added
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Alexander Fedotov
small update
blob
|
commitdiff
|
raw
|
diff to current
2016-04-20
Alexander Fedotov
goal state encoder added
blob
|
commitdiff
|
raw
|
diff to current
2016-04-19
Alexander Fedotov
transition fix
blob
|
commitdiff
|
raw
|
diff to current
2016-04-19
Mart Lubbers
add safety switch for parsing, fixed agent error
blob
|
commitdiff
|
raw
|
diff to current
2016-04-17
Mart Lubbers
added two piece tests and test.sh script
blob
|
commitdiff
|
raw
|
diff to current
2016-04-17
Mart Lubbers
checked all 1 and 2 cases
blob
|
commitdiff
|
raw
|
diff to current
2016-04-17
Alexander Fedotov
model checker fix
blob
|
commitdiff
|
raw
|
diff to current
2016-04-17
Alexander Fedotov
small update
blob
|
commitdiff
|
raw
|
diff to current
2016-04-15
Mart Lubbers
small update modelchecken
blob
|
commitdiff
|
raw
|
diff to current
2016-04-15
Alexander Fedotov
small update
blob
|
commitdiff
|
raw
|
diff to current
2016-04-12
Alexander Fedotov
transitions are finished
blob
|
commitdiff
|
raw
|
diff to current
2016-04-11
Alexander Fedotov
state encoding as it has to be
blob
|
commitdiff
|
raw
|
diff to current
2016-04-09
Alexander Fedotov
Merge branch 'master' of https://github.com/dopefishh...
blob
|
commitdiff
|
raw
|
diff to current
2016-04-08
Mart Lubbers
initial state encoding done, I think
blob
|
commitdiff
|
raw
|
diff to current
2016-04-07
Mart Lubbers
made a stub for object oriented appearch
blob
|
commitdiff
|
raw
|
diff to current
2016-04-07
Alexander Fedotov
started with bdd encoding
blob
|
commitdiff
|
raw
|
diff to current
2016-04-06
Mart Lubbers
fixed makefile, made lace stub, updated headers
blob
|
commitdiff
|
raw
|
diff to current
2016-03-30
Alexander Fedotov
tiny update
blob
|
commitdiff
|
raw
|
diff to current
2016-03-26
Alexander Fedotov
screen shrinking done
blob
|
commitdiff
|
raw
|
diff to current
2016-03-26
Alexander Fedotov
parsing rewritten, using hashes now
blob
|
commitdiff
|
raw
|
diff to current
2016-03-24
Mart Lubbers
nice'
blob
|
commitdiff
|
raw
|
diff to current
2016-03-24
Alexander Fedotov
simple parsing added
blob
|
commitdiff
|
raw
|
diff to current
2016-03-23
Mart Lubbers
improved even more
blob
|
commitdiff
|
raw
|
diff to current
2016-03-23
Mart Lubbers
improved makefile
blob
|
commitdiff
|
raw
|
diff to current
2016-03-23
Mart Lubbers
skeleton updated
blob
|
commitdiff
|
raw
|
diff to current
2016-03-23
Mart Lubbers
argparsing working
blob
|
commitdiff
|
raw
|
diff to current
2016-03-23
Mart Lubbers
added skeleton
blob
|
commitdiff
|
raw
|
diff to current
2016-03-23
Mart Lubbers
makefile
blob
|
commitdiff
|
raw
|
diff to current