Select Git revision
2020-02-27_RELEASE
2020-04-27_RELEASE
2020-06-27_RELEASE
2020-08-27_RELEASE_BRANCH
2020-10-27_RELEASE_BRANCH
2020-12-23_RELEASE_BRANCH
2021-02-27_RELEASE_BRANCH
ACL2print
DCTDecode
act_rldstring_overflow_bug
eval1
fix-assertion-a-used-failed
fix-digit-pair-assert
lzw
master
2020-08-27_RELEASE
2020-10-27_RELEASE
2020-12-23_RELEASE
2021-02-27_RELEASE
eval1_2020-03-09
pre-05-04-merge