git.iko.soy/Idris-dev
on 0752bed help sign in
history ofsrc/IRTS/CodegenC.hs
all commits
9991f69Statically link to RTS in generated C codeDavid Christiansen 41f3d97Merge branch 'master' of git://github.com/edwinb/Idris-dev into bitstringBenjamin Saunders e26a119Correct codegen for bitstring complementsBenjamin Saunders 1dc8f39added LChInt LIntCh to primitivesraichoo 4ea88e1Remainder primitives for C codegenBenjamin Saunders d20d0b9Debuggable CodegenC primitive match failuresBenjamin Saunders 46bf6a4Include bitstring prototypes in C codegenBenjamin Saunders eff298eAdd missing VM argumentsBenjamin Saunders 88eb2bfC codegen for bitmanip and bit comparatorsErkin Batu Altunbaş b3ba46ePrimitives for interconversion of Bits32 and IntBenjamin Saunders 7518b0cAbsolutely untested implementations of a few bitstring primitives.Irene Knapp ce9fa93Compile to nested if rather than switch for small casesEdwin Brady 7245290Some tiny RTS optimisationsEdwin Brady e3d393cAdded the ability to dump bytecode to a fileDaniel Waterworth c4e7ba2Made generating C headers more declarativeDaniel Waterworth 06283b6Improve evaluation of projection By caching result of evaluation, so that it's already evaluated when next projection happens.Edwin Brady e0d0b13added Data.Bits and primitives for Intraichoo 0136305Add bitwise &/| primitives for Int (prim__andInt / prim__orInt)Edwin Brady 1d0c6aaFixing compilation in Mingw32Chetan T fab5d73Adding support for Windows MingW32chetant 9a444c5Add 'mod' and variantsEdwin Brady 64fc043Fix overenthuiastic unused argument removal problem (Wasn't checking case analysis where the scrutinee was the result of a projection)Edwin Brady f50f006Expand backend control options and infrastructureBenjamin Saunders 29c67e9Pattern matching on strings, big integers and charactersEdwin Brady 9e58e28Type safe message passing concurrencyEdwin Brady 7508b64'par' primitive in builtins (not yet implemented)Edwin Brady 919600bFixed believe_me compilation bugEdwin Brady 8063cfdAdded --dumpcases <file> option for dumping case trees on compilingEdwin Brady 6d7c9bcCall graph changeEdwin 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 4ff3b25Added --dumpc flagEdwin Brady 1e52324Added simple library packaging system Now used for the prelude (see lib/base.ipkg)Edwin Brady 973e014Fix floating point arithmetic code generationEdwin Brady 3b27284Basic concurrency now working (But with an almighty hack that I don't understand... calling usleep after creating a thread appears necessary otherwise a bus error occurs seemingly non-deterministically)Edwin Brady c02a58cAdded fork (but not working properly yet)Edwin Brady 34e8788Added Util.System for compatibility (thanks to Dirk Ullrich)Edwin Brady b49000aSupport linking external .o files in new compilerEdwin Brady f959008New RTS in placeEdwin Brady 6b46ffcNew RTS almost ready, but for garbage collection problemEdwin Brady b642db5Almost working new back endEdwin Brady e99339cMerge branch 'master' of github.com:edwinb/Idris-devEdwin Brady c926923Minor change to foreign marshaling codeEdwin Brady 53de817Merge branch 'master' of github.com:edwinb/Idris-devEdwin Brady 0433650Added some useful standard foreign functions for IOEdwin Brady 7ab5216String/Float primitivesEdwin Brady b941386Change TRACE mode to use -O2Edwin Brady 0af107cAdded GMP interface for BigIntsEdwin Brady c9c3cf9Added primitive for reading inputEdwin Brady 35ec145Added lazy application to IRTSEdwin Brady 4e0fe22Added defunctionalisation to IRTS idris --fovm now gives a full defunctionalising compiler for a supercombinator languageEdwin Brady