git.iko.soy/Idris-dev
on 83fdb4d help sign in
history ofsrc/IRTS/CodegenC.hs
all commits
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 3812df8Compile foreign callsEdwin Brady 168706fInvoke gcc directlyEdwin Brady d4df20eMore primitives; started FFI in IRTSEdwin Brady 93d645aIdentify tail calls while simplifyingEdwin Brady c41bf4bBasic C generation in new back end now worksEdwin Brady 79e6bf7Set up C generatorEdwin Brady