thoughtpolice / newrts

a throw-away runtime system

This URL has Read+Write access

newrts /
name age
history
message
file .gitignore Loading commit data...
file LICENSE
file Makefile
file README
directory src/
README
this directory contains an experimental runtime system I'm writing
which I hope to serve as the basis of lhc's new runtime. current tasks
are a) getting the garbage collector actually working and then b) fixing
bugs.

NOTE: frama-c and ACSL might be useful here.