projects / cvc5.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 8d219fd 21ecec6)
Merge pull request #77 from kbansal/macsegfault
authorKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 14 Oct 2015 02:21:20 +0000 (22:21 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Wed, 14 Oct 2015 02:21:20 +0000 (22:21 -0400)
remove options infrastructure code which depended on undefined behavior


Trivial merge