git.iko.soy/Idris-dev
on master help sign in
history ofsrc/IRTS/Bytecode.hs
all commits
24a083fSmall runtime performance tweakEdwin Brady 3ccb494Remove the empty property 'copyright'.Jan de Muijnck-Hughes d4bd8e6Clean up unused imports (#4065)Jason Felice e6ceb5cAlphabetize and indent imports and LANGUAGE pragmasEcho Nolan 0896073Added documentation for modules.Jan de Muijnck-Hughes 1950393Use FDesc for foreign targetEdwin Brady d5377beNew language-dependent FFIEdwin Brady e30ff97Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady e5d1956Propagate constructor updates to bytecodeEdwin Brady cdbfec9Propagate CaseType through IRsEdwin Brady 5ac844ecommented BC in Bytecode.hsdefanor 5000aebAdd a Cabal libraryBrian McKenna 9836a07Inlining - Evaluator now supports run-time termsEdwin Brady a6c2882Removing useless bytecode instructions 'RESERVE 0' and 'ADDTOP 0'Gabe McArthur 7245290Some tiny RTS optimisationsEdwin Brady 06283b6Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.Edwin Brady 0f957f6Add Proj operator to runtime version of TT Allows extracting arguments without checking constructor first which will make erasing unused values easier shortlyEdwin Brady 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