git.iko.soy/Idris-dev
on aa8aefd help sign in
history ofsrc/RTS/SC.hs
all commits
168278eHook up new output; deal with exact callsEdwin Brady 6dde259Fix local names in primopsEdwin Brady 109b291Different approach to bytecodeEdwin Brady 1f83787Lazy and IO primitives in new rtsEdwin Brady 782d0f7put toSC in the right placeEdwin Brady 6554c7dTowards primitives in new VMEdwin Brady c07696dSome new bytecode compilingEdwin Brady 541faf5New lambda lifter, and debug info in replEdwin Brady 38a9365More towards the new compilerEdwin Brady