GitHub / melsman/mlkit / commits
Standard ML Compiler and Toolkit
| SHA | Message | Author | Date | Stats |
|---|---|---|---|---|
| d9c7f147 | Fix runtime arithmetic UB and real conversion boundaries (#250) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
7 days ago | |
| deffec47 | Protect storage modes from regions hidden in type instances (#249) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
8 days ago | |
| f2b34936 | Support 64-bit real auto-conversion in the C FFI (#246) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
14 days ago | |
| 297e5c03 | Add sampled time profiling (T1–T9) (#245) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
14 days ago | |
| 5bffdc30 | rpview followup changes (#244) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
19 days ago | |
| f57f751e | Improve native builds, profiler tooling, and runtime options (#242) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
19 days ago | |
| ae812f54 | version pump | Martin Elsman <m****n@g****m> | 21 days ago | |
| 687eefcb | Unify region profiling with site attribution and IR navigation (#240) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
21 days ago | |
| a2ac0a44 | parallel compilation of basis libraries | Martin Elsman <m****n@g****m> | 27 days ago | |
| e355c5a5 | Implement low-overhead region profiler (#238) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
27 days ago | |
| bef55707 | ReML: support explicit storage mode annotations (#236) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
29 days ago | |
| 42eff877 | stylistic changes | Martin Elsman <m****n@g****m> | 29 days ago | |
| 3eaa1a07 | Fix x64 C-call alignment, exception effects, datatype equality, and numeric c... |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
29 days ago | |
| ec115b29 | Show SMLtoJs Online before compiler loading and reduce bundle size (#229) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
30 days ago | |
| c49fbea9 | Use native ARM64 builds and standard release packages on macOS (#228) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 month ago | |
| 6dab5582 | version bump | Martin Elsman <m****n@g****m> | about 1 month ago | |
| 5b9d931c | smltojsonline fix | Martin Elsman <m****n@g****m> | about 1 month ago | |
| 71d82166 | Support standard Makefile targets for native ARM64 builds (#227) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 month ago | |
| 03f870bc | ARM64 backend for MLKit and ReML (#224) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 month ago | |
| 8e08f4e8 | Port selected changes from #211 (#222) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 month ago | |
| b9e2fbaf | Add `Posix.TTY` to Basis with termios-backed TC/CF operations (#221) |
Copilot <1****t@u****m>
Committed by: GitHub <n****y@g****m> |
about 1 month ago | |
| b1fd9326 |
Basis conformance and macOS CI fix (#217)
Co-authored-by: Skye Soss <s****e@s****e> |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 month ago | |
| 3b3c501a | version bump | Martin Elsman <m****n@g****m> | 3 months ago | |
| d4f61065 | support for controlling dropping of unused function arguments | Martin Elsman <m****n@g****m> | 3 months ago | |
| 605e837b | Update NEWS.md |
Martin Elsman <m****l@d****k>
Committed by: GitHub <n****y@g****m> |
3 months ago | |
| e586821d | Update main.yml |
Martin Elsman <m****l@d****k>
Committed by: GitHub <n****y@g****m> |
3 months ago | |
| 8561fe6a | Modular storage mode analysis (#209) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
6 months ago | |
| 2aa87d78 | ReML type bindings (#207) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
7 months ago | |
| 0321e9cf | Fix layout of LambdaExp string patterns (#205) |
Skye Soss <s****s@g****m>
Committed by: GitHub <n****y@g****m> |
8 months ago | |
| b4742b8b | optimiser: transform calls to imported functions also when optimisation is di... |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
8 months ago | |
| 341aac44 | REML signature matching (#204) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
9 months ago | |
| c8bd7cbb | new version | Martin Elsman <m****n@g****m> | 10 months ago | |
| e59b05ef | January cleanup (#203) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
10 months ago | |
| 55af1d19 | new release | Martin Elsman <m****n@g****m> | 10 months ago | |
| 502979b3 | Save lnkfile also when content is unchanged (#202) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
10 months ago | |
| aad47628 | fix issue with string-list options (#201) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
10 months ago | |
| 9d68f626 | new version | Martin Elsman <m****n@g****m> | 10 months ago | |
| 3aecca13 | fix missing chararray in type environment during intermediate language type c... |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
10 months ago | |
| 32546355 | bump version | Martin Elsman <m****n@g****m> | 10 months ago | |
| 8a069048 | distribute mlkit-generated executable | Martin Elsman <m****n@g****m> | 10 months ago | |
| 11330ec6 | new version | Martin Elsman <m****n@g****m> | 11 months ago | |
| 22936e6e | increase timeout on job step | Martin Elsman <m****n@g****m> | 11 months ago | |
| cb7a7bd6 | change linker flags on macos | Martin Elsman <m****n@g****m> | 11 months ago | |
| 7d8b815a | Christmas cleanup 2025 (#199) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
11 months ago | |
| d28592e1 | profiling fix stack reporting | Martin Elsman <m****n@g****m> | 11 months ago | |
| 08844e1f | Improved ReML pretty printing (#197) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
12 months ago | |
| ba4fc8c1 |
Add web-ready SVGs for the project (#193)
Signed-off-by: Tin Švagelj <t****j@l****m> |
Tin Švagelj <t****j@l****m>
Committed by: GitHub <n****y@g****m> |
12 months ago | |
| 4d1f3940 | prettier call-explicit expression printing (#196) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
12 months ago | |
| 4858b8b6 | avoid unifying quantified secondary explicit region variables | Martin Elsman <m****n@g****m> | 12 months ago | |
| b90dec53 | avoid unifying quantified secondary explicit region variables | Martin Elsman <m****n@g****m> | 12 months ago | |
| 382bdaed | merge merge | Martin Elsman <m****n@g****m> | about 1 year ago | |
| 46788c62 | version bump | Martin Elsman <m****n@g****m> | about 1 year ago | |
| 3e331c90 | Optimiser improvements and cleanup (#195) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 year ago | |
| 5abfceaa | improvements of polymorphic equality (#194) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 year ago | |
| 20c5d064 | fix repl identifier support | Martin Elsman <m****n@g****m> | about 1 year ago | |
| a349a96a | refined optimisation flags and switch folding | Martin Elsman <m****n@g****m> | about 1 year ago | |
| f1811c7c | Native backend refactorisation (#190) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 1 year ago | |
| 9901c15f | Update README.md |
Martin Elsman <m****l@d****k>
Committed by: GitHub <n****y@g****m> |
about 1 year ago | |
| 1733d3d9 | new file | Martin Elsman <m****n@g****m> | almost 2 years ago | |
| 640b0a5d | improved binary installation | Martin Elsman <m****n@g****m> | almost 2 years ago | |
| ed801a9b | revise github action matrix | Martin Elsman <m****n@g****m> | almost 2 years ago | |
| bed9b6fb | new version | Martin Elsman <m****n@g****m> | almost 2 years ago | |
| cd33df3f | Implementation of poll in OS.IO (#188) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 2 years ago | |
| edf4b2bf | Deep argument flattening (#182) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 2 years ago | |
| ec6a14d6 | news | Martin Elsman <m****n@g****m> | about 2 years ago | |
| c00838de | Barry cleanup (#183) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| 9c46ebb2 | push char type further | Martin Elsman <m****n@g****m> | about 2 years ago | |
| 6c72a254 | cleanup | Martin Elsman <m****n@g****m> | about 2 years ago | |
| d583dfb3 | cleanup | Martin Elsman <m****n@g****m> | about 2 years ago | |
| a26d3858 | fix Word64.fromInt, Word64.notb and Word64.~ (#180) |
vqn <s****a@v****i>
Committed by: GitHub <n****y@g****m> |
about 2 years ago | |
| bce87835 | Replace absolute paths with unqualified paths. (#174) |
Troels Henriksen <a****s@s****k>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 5034290b | fix issue #177 (#178) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 52278363 | Constant-folding for nullary constructors (#175) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 02994190 | simpler pretty printing of boxity decisions | Martin Elsman <m****n@g****m> | over 2 years ago | |
| c271b04b | Support for reporting object-files (#173) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 85a57c56 | Flexible c structs for ML strings and tables (#169) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 597da8c7 | version bump | Martin Elsman <m****n@g****m> | over 2 years ago | |
| 6d0ae0b0 | Fix implementation of Char.isCntrl (#168) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 6624dd44 | real cleanup (#167) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| f58339d3 | Spring cleanup (#166) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
over 2 years ago | |
| 444cf938 | Equality codegen for foreignptr. (#164) |
Troels Henriksen <a****s@s****k>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| a312f164 | cleanup and new version | Martin Elsman <m****n@g****m> | almost 3 years ago | |
| e01603d0 | Christmas cleanup 2023 (#158) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| f6cfd56c | Remove restrictions on float formatting. (#157) |
Troels Henriksen <a****s@s****k>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 093c63be | new version | Martin Elsman <m****n@g****m> | almost 3 years ago | |
| 0cc00707 | Static con-switch and decon-con elimination (#156) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 8b01692e | cleanup and pretty-printing fixes (#155) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| f7975c82 | FFI auto-conversion for chararray, i64, i32, and friends (#154) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 04154903 | Int tables (#151) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 3201b6dc | Monomorphic word-n-vectors and arrays (#150) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 71c2630e | preparation for new release | Martin Elsman <m****n@g****m> | almost 3 years ago | |
| 1c5e06fb | cleanup | Martin Elsman <m****n@g****m> | almost 3 years ago | |
| 19277d3c | cleanup in generated assembler | Martin Elsman <m****n@g****m> | almost 3 years ago | |
| adf941b2 | Unboxing of data types using high-bit pointer tagging (#149) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 13d88b76 | test time javascript | Martin Elsman <m****n@g****m> | almost 3 years ago | |
| c73309c7 | Support for suppressing messages (#148) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| f57e93cf | fix issue #130 (#146) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 9aa5e66b | REPL Proper Testing (#145) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 8a083920 | Print warnings in REPL for non-exhaustive and redundant matches (#143) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago | |
| 13378445 | Always unbox single-constructor datatypes (#142) |
Martin Elsman <m****n@g****m>
Committed by: GitHub <n****y@g****m> |
almost 3 years ago |