Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
50 most recent check-ins
|
2026-09-08
| ||
| 15:30 | relocate all modules to lib directory from src/libml Leaf check-in: ed324efd6f user: e tags: num-tower | |
| 13:59 | bring test battery up to efml's, fix a few bugs check-in: f2abc1eed1 user: e tags: num-tower | |
|
2026-09-07
| ||
| 22:08 | add CHAMP, vector, and bits libraries check-in: 61c9e59ec6 user: e tags: num-tower | |
| 20:37 | implement the with-clause for foreign function C file inclusion check-in: fee0d9ede5 user: e tags: num-tower | |
|
2026-09-06
| ||
| 13:43 | better handing of qualified names check-in: 86f7dd6920 user: e tags: num-tower | |
|
2026-09-05
| ||
| 23:20 | add lex/read of complex literals check-in: 0aee0a1336 user: e tags: num-tower | |
| 18:52 | add complex to Approx type, and new functions sqrt log etc. check-in: 3b28a449f2 user: e tags: num-tower | |
| 17:55 | use Zmij for dtoa printing floats with shortest string with round trip check-in: 9286792cc8 user: e tags: num-tower | |
|
2026-09-04
| ||
| 21:07 | add entailment and superclass coverage tests in Infer; more test compliance with efml check-in: 0d23deb03d user: e tags: num-tower | |
| 16:13 | fix some label text in tests check-in: 9b7e3d4b4a user: e tags: num-tower | |
| 14:46 | add quo and rem alongside div and mod with ML semantics check-in: fa50fb81d2 user: e tags: num-tower | |
|
2026-09-03
| ||
| 17:56 | delete unused runtime functions; restore exceptions script check-in: d9a8f56336 user: e tags: num-tower | |
| 16:57 | many fixes from runtime functions inventory check-in: eb2e8f474e user: e tags: num-tower | |
| 15:36 | do some cheap fixes check-in: d83fac6d06 user: e tags: num-tower | |
| 15:17 | first pass at runtime function inventory check-in: 0504cf0100 user: e tags: num-tower | |
|
2026-09-02
| ||
| 20:39 | fix Num and Round to use a structural fallback check-in: b816051bfc user: e tags: num-tower | |
| 20:16 | add Round class with round, ceiling, floor, truncate check-in: 09d31abe38 user: e tags: num-tower | |
| 19:24 | inline some integer operations check-in: 524081eb22 user: e tags: num-tower | |
| 17:35 | add rationals check-in: 331352b3a6 user: e tags: num-tower | |
| 17:15 | the big rename check-in: ef10972bd6 user: e tags: num-tower | |
| 16:53 | start work on Exact and Approx replacement for Int and Float check-in: 784c57db8e user: e tags: num-tower | |
|
2026-09-01
| ||
| 14:53 | clean up and speed up test suite Leaf check-in: 1d4d8e7e7d user: e tags: trunk | |
|
2026-08-31
| ||
| 21:42 | reduce allocations with BBTree.get_or; add efml_c_ident to reduce string recopying; replace partial applications in type walker with explicit recursions check-in: 5e89766985 user: e tags: trunk | |
| 21:19 | optimize Infer with less copying check-in: edcf8c8561 user: e tags: trunk | |
| 20:57 | beta lets check-in: c690ceabce user: e tags: trunk | |
| 20:31 | hoist two BBTree functions to reduce closure creation; optimize saturated constructor application check-in: be36b7b4bb user: e tags: trunk | |
| 19:56 | more GenC optimizations to reduce allocations check-in: 0032b66bf4 user: e tags: trunk | |
| 19:26 | uncurry over the stitched program check-in: 66253488be user: e tags: trunk | |
| 19:02 | reduce allocations in compiler with structure sharing check-in: aade918990 user: e tags: trunk | |
| 00:56 | another loop fusion in Closure.ml check-in: 16808fd937 user: e tags: trunk | |
| 00:40 | bootstrap cleanup; measure; update docs check-in: 0ecbf3a70f user: e tags: trunk | |
|
2026-08-30
| ||
| 23:45 | intern names in compiler; fuse some GenC passes check-in: a17df8b65d user: e tags: trunk | |
| 20:39 | avoid recomputing n_temps in GenC check-in: 6521ec33d2 user: e tags: trunk | |
| 20:14 | use BBTree instead of list_union; dead code elimination check-in: 679dceed72 user: e tags: trunk | |
| 19:55 | count_alloc_temps tightened up to reduce memory (stack especially); build_var_index exploits bbtree ordering check-in: 88d4781198 user: e tags: trunk | |
| 19:31 | optimization for nullary constructors check-in: a660736197 user: e tags: trunk | |
| 18:56 | closure representation optimization part 2 check-in: b914ff0e22 user: e tags: trunk | |
| 18:37 | closure representation optimization part 1 check-in: f26bfee449 user: e tags: trunk | |
|
2026-07-23
| ||
| 19:39 | clean up comments in all source files for legacy names; fix some symbols, remove some dead code check-in: 75dc304135 user: e tags: trunk | |
| 16:15 | normailze more symbols shedding legacy names; clean up dead code check-in: 835babd340 user: e tags: trunk | |
|
2026-07-22
| ||
| 21:19 | update notes check-in: 542b9f841c user: e tags: trunk | |
| 21:17 | huge name cleanup for runtime functions enabled by recent compiler optimzation work check-in: cab0b975d2 user: e tags: trunk | |
| 17:53 | auto-devirtualize saturated foreign-val calls check-in: a036118049 user: e tags: trunk | |
| 16:52 | locate never-live-across-safepoint params to C locals, not stack frame check-in: 8fcf8d4407 user: e tags: trunk | |
|
2026-07-21
| ||
| 23:47 | fix sctring.count lowering bug; update some docs check-in: 96442065d0 user: e tags: trunk | |
| 23:37 | remove instrumentation; advance check-in: c4497f8ddc user: e tags: trunk | |
| 23:32 | tyvar-level side-table to optimize HM type checker check-in: 7cd2b8ae56 user: e tags: trunk | |
| 20:36 | optimizing closure conversion performance check-in: 5e6fc29953 user: e tags: trunk | |
| 19:55 | complete optimizing type inference performance, for now check-in: e2a7fef17a user: e tags: trunk | |
| 19:40 | continue optimizing type inference performance check-in: 896402787d user: e tags: trunk | |