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
/
examples
Age
Commit message (
Expand
)
Author
3 days
fix vec example
HEAD
master
Kimplul
4 days
add comment about hole in my assumptions
Kimplul
4 days
example/vec fixes
Kimplul
2026-01-06
improve move checker to detect pointer leaks
gnc
Kimplul
2026-01-06
allow omitting ';' in trivial calls
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-18
add move queues
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
2024-12-28
enough type checking for all examples to pass
Kimplul
2024-12-20
add enough type checking to compile uniq.fwd
Kimplul
2024-12-06
add trailing closures
Kimplul
2024-12-06
fix some comments in the examples
Kimplul
2024-12-06
add types to parser
Kimplul
2024-12-04
implement expression handling further
Kimplul
2024-12-03
initial commit
Kimplul