lean4-htt/src
Leonardo de Moura 0893b62598 perf: avoid unnecessary overhead at HashSet
List instead of AssocList saves one word per entry.
2020-03-02 08:40:15 -08:00
..
cmake feat: file IO using handles 2020-01-12 08:02:48 -08:00
frontends/lean chore: remove silent | matchFailed support 2020-02-10 13:15:21 -08:00
Init perf: avoid unnecessary overhead at HashSet 2020-03-02 08:40:15 -08:00
initialize fix: leaks 2019-12-22 15:09:19 -08:00
kernel chore: avoid cnstr_set_scalar and cnstr_get_scalar 2020-02-25 13:27:30 -08:00
library feat: optimization for Bool+Decidable code 2020-02-27 16:59:18 -08:00
runtime chore: remove old names 2020-02-28 10:53:42 -08:00
shared chore: src/init ==> src/initialize 2019-11-22 04:59:13 -08:00
shell fix: check_optarg 2020-02-29 07:25:30 -08:00
tests/util refactor(runtime): C backend 2019-08-24 07:40:38 -07:00
util chore: avoid cnstr_set_scalar and cnstr_get_scalar 2020-02-25 13:27:30 -08:00
CMakeLists.txt chore: do not remove stage0 build on clean-olean 2019-12-16 13:19:22 +01:00
config.h.in feat(CMakeLists, runtime): add CHECK_RC_OVERFLOW cmake option 2019-08-28 15:35:46 -03:00
CTestConfig.cmake
CTestCustom.cmake.in
githash.h.in
memcheck.supp
version.h.in