projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: cc1689c) | patch
antlr: Use relative path in ANTLR script. (#4324)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 17 Apr 2020 05:50:05 +0000 (22:50 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Apr 2020 05:50:05 +0000 (22:50 -0700)
commitb4eeffd63cc00369ec6b47ed4289577af3dec4eb
tree3feddc1ece02773a710fd611a26237da44a3964btree
parentcc1689c3e40d6faf8de1ed7cd4eaae687adae103commit | diff
antlr: Use relative path in ANTLR script. (#4324)

This will fix the CI caching issues we sometimes encountered on GH actions.
contrib/get-antlr-3.4 diff | blob | history