max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2
lean4-htt/src
History
Gabriel Ebner e605c541d0 fix: do not infer type in erase_irrelevant 
At the time erase_irrelevant is called, we have already eliminated the
`cast`-applications.  Therefore non-atomic expressions may no longer
be well-typed (and `infer_type` can fail).
2022-01-03 07:13:55 -08:00
..
bin chore: lean-gdb: fix RC printing 2021-12-15 15:58:31 +01:00
cmake
include/lean fix: wait on tasks before Lean program exit 2021-12-15 15:58:24 +01:00
Init perf: allocation-free for i in [n:m] do 2022-01-03 07:03:56 -08:00
initialize fix: dllexport functions not already annotated in header 2021-09-20 18:41:46 +02:00
kernel feat: eta struct support for unit-like datatypes 2021-11-26 08:36:25 -08:00
lake@ea40bcc17c chore: update Lake 2021-12-17 10:20:37 +01:00
Lean fix: compare fields top-down in deriving Ord 2022-01-03 07:02:13 -08:00
Leanpkg chore: fix stdlib 2021-08-06 12:58:58 -07:00
library fix: do not infer type in erase_irrelevant 2022-01-03 07:13:55 -08:00
runtime feat: support LEAN_NUM_THREADS environment variable 2021-12-21 17:01:08 +01:00
shell chore: one add_test per lake test 2021-12-14 11:48:14 -08:00
Std feat: add Trie.findPrefix 2021-12-15 11:24:11 -08:00
util feat: implement bool operator==(data_value const & a, data_value const & b) using Lean autogenerated code 2021-12-16 16:37:47 -08:00
CMakeLists.txt perf: export lake symbols for the interpreter 2021-12-22 23:33:58 +01:00
config.h.in chore: document simplified object header and remove obsolete cmake options 2021-07-20 10:42:28 -07:00
githash.h.in
Init.lean chore: remove enum command 2021-09-06 12:01:37 -07:00
Lean.lean feat: expose --load-dynlib functionality to Lean code 2021-12-15 08:26:48 +00:00
lean.mk.in fix: macOS build, once more 2021-10-09 10:24:30 +02:00
Leanc.lean feat: expose C & linker flags as API 2021-11-20 11:04:39 +01:00
Leanpkg.lean chore: deprecate leanpkg 2021-12-18 10:59:37 -08:00
Std.lean chore: remove Nondet.lean 2021-09-07 17:36:20 -07:00
stdlib.make.in feat: build & bundle Lake 2021-10-15 06:56:02 -07:00
stdlib_flags.h Revert "chore: prefer native" 2021-10-26 20:19:27 +02:00
version.h.in feat: version information API 2020-12-29 14:42:48 -08:00