repositories / mc1516pa.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b29982e) | patch
initial state encoding done, I think
authorMart Lubbers <mart@martlubbers.net>
Fri, 8 Apr 2016 10:05:16 +0000 (12:05 +0200)
committerMart Lubbers <mart@martlubbers.net>
Fri, 8 Apr 2016 10:05:16 +0000 (12:05 +0200)
commit0e87344904723c04857c5a2a1dc8e4f5606755c1
tree9bf207812f94a56c04d77e289e5cfa50015d01b4tree | snapshot
parentb29982e8181d823142ce12b6d582181937fba7adcommit | diff
initial state encoding done, I think
modelchecker/main.c diff | blob | history
modelchecker/object.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.