projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 94e6dfd) | patch
cut-release: option handling, get-antlr
authorAina Niemetz <aina.niemetz@gmail.com>
Thu, 6 Jul 2017 21:30:52 +0000 (14:30 -0700)
committerAina Niemetz <aina.niemetz@gmail.com>
Thu, 6 Jul 2017 21:30:52 +0000 (14:30 -0700)
commitfbf04ae79f08d30fc19efe50d3c215dc347bf82f
tree5e153189c5370e7f37ff2a4aeede952202b5203etree
parent94e6dfdb96d8ca3558789b51384349f66415c540commit | diff
cut-release: option handling, get-antlr

+ easier-to-maintain option handling
+ new option for compiling release with local antlr
contrib/cut-release diff | blob | history