git.iko.soy/Idris-dev
on 783d45f help sign in
history ofsrc/IRTS/Bytecode.hs
all commits
16a6c95Set up for adding new compiler back ends more easilyEdwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady b642db5Almost working new back endEdwin Brady d4df20eMore primitives; started FFI in IRTSEdwin Brady c41bf4bBasic C generation in new back end now worksEdwin Brady 1a7ae4dDeal with applications and stack management in bytecodeEdwin Brady 0bb157eTinker with bytecodeEdwin Brady ece92feConvert intermediate expressions to let bound variablesEdwin Brady 9b1587bAdd IRTS/BytecodeEdwin Brady