git.iko.soy/Idris-dev
on 496cf41 help sign in
history ofiif/testvm.iif
all commits
3812df8Compile foreign callsEdwin Brady d4df20eMore primitives; started FFI in IRTSEdwin Brady 93d645aIdentify tail calls while simplifyingEdwin Brady c41bf4bBasic C generation in new back end now worksEdwin Brady 1a7ae4dDeal with applications and stack management in bytecodeEdwin Brady bf55193Add scope checking for FOVM codeEdwin Brady 7c75851Test file for new VM, hook up parserEdwin Brady