~cypheon/rapid

248336a0 — Johann Rudloff 14 hours ago main
Prepare for compile-time selectable GC flavours
7dbb5c23 — Johann Rudloff 15 hours ago
Fix CMake files for new module structure, support out-of-tree tests
662ed043 — Johann Rudloff 15 hours ago
Move `Codegen` module to `Control.Codegen`
03d727e6 — Johann Rudloff 15 hours ago
Refactor module structure
29813561 — Johann Rudloff 16 hours ago
Free getline()-allocated buffers
f599f7a4 — Johann Rudloff 4 days ago
Add explicit "clean" target to docs/Makefile to enable cleaning without Sphinx
8e08b519 — Johann Rudloff 7 days ago
Use "instsimplify" instead of deprecated "constprop" optimisation pass
5fa4c282 — Johann Rudloff 7 days ago
Fix building against LLVM without RTTI
f6f00cf7 — Johann Rudloff 7 days ago
Update llvm-statepoint-utils version
4fefb919 — Johann Rudloff 11 days ago
More work to fully support Unicode strings
c928b068 — Johann Rudloff 13 days ago
Refactor builtin primitive `fastUnpack` to traverse the string in-order

This enables a future change to make `fastUnpack` Unicode-aware.
3a613049 — Johann Rudloff 14 days ago
Fix stack_top value in stack setup

Also, remove poison writes, they're overwritten soon after anyways.
101f15d9 — Johann Rudloff 16 days ago
Update code for current version of upstream Idris 2

Tested with Idris 2 commit b5cbf9274d52f13b144ccf27e8d8b1571935e4a9
b0e6f2b2 — Johann Rudloff 25 days ago
More work towards correct Unicode string handling
ce0e9e1a — Johann Rudloff 29 days ago
Do not use @llvm.mem*.i32 intrinsics on 64bit platforms!
22e31d9e — Johann Rudloff 29 days ago
Towards correct handling of Unicode strings
2fec45d5 — Johann Rudloff 29 days ago
Set $CHEZ environment variable for FreeBSD CI
1a4a348d — Johann Rudloff 29 days ago
Use Chez Scheme for FreeBSD CI
1835a70a — Johann Rudloff 30 days ago
Update code for current version of upstream Idris 2
96a88076 — Johann Rudloff a month ago
Update README, start documentation for RTS internals
Next