index
:
fwd
gnc
master
mvcheck
A programming language that cannot return
kimi.h.kuparinen+fwd@gmail.com
about
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
include
Age
Commit message (
Expand
)
Author
4 days
add initial reference invalidation
Kimplul
2026-02-26
example/vec fixes
Kimplul
2026-02-25
filter out empty nodes from statement list
Kimplul
2026-02-25
vec example produces C, but broken C
Kimplul
2026-01-06
improve move checker to detect pointer leaks
gnc
Kimplul
2026-01-06
work towards a simple integer vector implementation
Kimplul
2026-01-06
implement enough type analysis for vector example
Kimplul
2025-03-30
WIP: rewrite C++ backend to be C
Kimplul
2025-03-23
start sketching out type system
Kimplul
2025-03-22
use maps in scope
Kimplul
2025-03-18
use generic conts
Kimplul
2025-03-17
fix some total moves
Kimplul
2025-03-17
detect leaks
Kimplul
2025-01-09
initial ptr stuff
Kimplul
2025-01-09
initial reference checking
Kimplul
2025-01-06
implement move checking further
mvcheck
Kimplul
2025-01-04
initial move checking
Kimplul
2025-01-01
run formatter
Kimplul
2024-12-20
add enough type checking to compile uniq.fwd
Kimplul
2024-12-06
add types to parser
Kimplul
2024-12-04
implement expression handling further
Kimplul
2024-12-03
initial commit
Kimplul