git.iko.soy/Idris-dev
on ef3aed2 help sign in
history ofsrc/IRTS/Simplified.hs
all commits
6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady b642db5Almost working new back endEdwin Brady 3812df8Compile foreign callsEdwin Brady d4df20eMore primitives; started FFI in IRTSEdwin Brady 93d645aIdentify tail calls while simplifyingEdwin Brady 0bb157eTinker with bytecodeEdwin Brady 60e9780Convert locals to registersEdwin Brady ece92feConvert intermediate expressions to let bound variablesEdwin Brady