projects / c11tester.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: c123ef2 bf80445)
Merge cleanup branch
authorBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:35:07 +0000 (11:35 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 16 Apr 2013 18:35:07 +0000 (11:35 -0700)
commit9d9b9121ffed4c7406275da34b055040ea5090a9
treed13ec88f8fc4f4d4e8232e149a168e7ba20f6f2ftree | snapshot
parentc123ef2c7d98d23474d2d2b121b56b502d75665bcommit | diff
parentbf80445c97bd34afcfd208cc3ecb31edcd631bb6commit | diff
Merge cleanup branch

This branch separated ModelChecker into two separate classes/modules. It was a
big disruptive change, and it was not compile-able at some points (the BROKEN
commit and some of its successors). Hence the non-fast-forward merge here, to
record the divergent portion of history as special.
C11 Tester Tool Public Repository