Select Git revision
- Branches 12
- master default protected
- packrat-iterative-WIP
- ACL2print
- luajit-operator-overloading
- llvm-backend
- old-llvm-backend
- old-valgrind-cleanup
- windows-vs2013
- c++
- refactor-build
- cxx
- Tags 20
- 2020-04-27_RELEASE
- 2020-06-27_RELEASE
- 2020-08-27_RELEASE
- 2020-10-27_RELEASE
- 2020-12-23_RELEASE
- 2021-02-27_RELEASE
- 2021-04-27_RELEASE
- 2021-06-27_RELEASE
- 2021-08-27_RELEASE
- 2021-10-28_RELEASE
- 2021-12-30_RELEASE
- 2022-02-28_RELEASE
- 2022-03-17_RELEASE
- 2022-03-31_merged
- 2022-04-29_RELEASE
- 2022-06-30_RELEASE
- 2022-08-31_RELEASE
- 2022-10-28_RELEASE
- eval1_2020-03-09
- evalThree
Forked from
Hammer / hammer
208 commits behind the upstream repository.
-
That should fix the build on Ubuntu; also, it should add a clean target · 6dd36f9aDan Hirsch authoredHistory6dd36f9a
