projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: e9d8ae3 c33a1ab)
Merge pull request #4 from tiliang/master
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 14 Feb 2013 22:10:20 +0000 (14:10 -0800)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 14 Feb 2013 22:10:20 +0000 (14:10 -0800)
a bugfix in rewriting rules


Trivial merge