An open API service providing commit metadata for open source projects.

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

← Back to repository