projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e918066) | patch
More changes to configure.ac to include the smt grammar directory. The parser refuses...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 4 Dec 2009 04:22:02 +0000 (04:22 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 4 Dec 2009 04:22:02 +0000 (04:22 +0000)
commita11573cc35202e579c46cd6da478e89321840482
treedf7c8e0646fc73a261d7024116920d7e6f51e89ftree
parente9180663ece595c9ddf8f5bc3caea5b2ea20472acommit | diff
More changes to configure.ac to include the smt grammar directory. The parser refuses to be built in the new separate directory structure though.
configure.ac diff | blob | history