MLRISC/
|
7452 |
6 months |
jhr |
Release 2021.1 |
admin/
|
6683 |
22 months |
jhr |
added --force command-line option
|
archive/
|
6350 |
2 years |
dbm |
added archive/notes.txt with some history of match compiler versions |
benchmarks/
|
6861 |
17 months |
jhr |
Update benchmark infrastructure for SML'97 Basis Library
|
bugs/
|
1345 |
18 years |
macqueen |
bugs update: a couple fixes, a couple reclassifications
|
ckit/
|
7456 |
6 months |
jhr |
Release 2021.1 |
cml/
|
7468 |
6 months |
jhr |
remove deprecated POLL signature
|
config/
|
7478 |
6 months |
jhr |
add support for building Debug version of LLVM libraries
|
dev-notes/
|
7540 |
4 days |
jhr |
update TODO for 110.99.3 |
doc/
|
7538 |
5 days |
jhr |
fixed bug #314 |
eXene/
|
7458 |
6 months |
jhr |
Release 2021.1 |
heap2asm/
|
7462 |
6 months |
jhr |
Release 2021.1 |
legacy/
|
7516 |
4 weeks |
jhr |
adding code quotes |
lexgen/
|
2316 |
15 years |
blume |
Release 110.62 |
llvm-codegen/
|
7288 |
9 months |
jhr |
For macOS/arm64, we need to distinguish the way that we handle memory
alloca... |
ml-burg/
|
7460 |
6 months |
jhr |
Release 2021.1 |
ml-lex/
|
7461 |
6 months |
jhr |
Release 2021.1 |
ml-yacc/
|
7453 |
6 months |
jhr |
Release 2021.1 |
nlffi/
|
7463 |
6 months |
jhr |
Release 2021.1 |
osx-dist/
|
7481 |
5 months |
jhr |
remove the '-default' option from calls to config/install.sh, since we no lon... |
pages/
|
7489 |
2 months |
dbm |
changed sml-family.org to smlfamily.org in 5 files |
papers/
|
3724 |
10 years |
dbm |
minor corrections to main.tex |
pgraph/
|
7455 |
6 months |
jhr |
Release 2021.1 |
rpm-dist/
|
3987 |
7 years |
jhr |
make RPM spec file generic w.r.t. SML/NJ version
|
sml/
|
7539 |
5 days |
jhr |
fixed bug #314 |
sml-mode/
|
3723 |
10 years |
monnier |
Merge sml-defs.el into sml-mode.el.
* sml-mode.el: Merge code from sml-defs.el.
... |
smlnj/
|
2945 |
14 years |
blume |
switched svn:externals |
smlnj-c/
|
7459 |
6 months |
jhr |
Release 2021.1 |
smlnj-lib/
|
7542 |
14 hours |
jhr |
documentation improvements |
tests/
|
7360 |
7 months |
dbm |
simplified file names in mc-merge |
trace-debug-profile/
|
7454 |
6 months |
jhr |
Release 2021.1 |
win-dist/
|
7483 |
4 months |
jhr |
add support for version number in Windows install |