repositories
/
mc1516pa.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
initial state encoding done, I think
[mc1516pa.git]
/
modelchecker
/
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