git.iko.soy/Idris-dev
on 44bdf1d help sign in
history ofsrc/IRTS/CodegenC.hs
all commits
e4cf620Merge branch 'master' of github.com:idris-lang/Idris-devEdwin Brady 1950393Use FDesc for foreign targetEdwin Brady 39e4eb0IO primitives tweak to support JSEdwin Brady 9150698Primitive type for world stateEdwin Brady d5377beNew language-dependent FFIEdwin Brady 72e03b6compiler (currently) should also use sse2 due rts changesHeather 76ad506Don't give up when compiling TypesEdwin Brady e57170dNeed to separate flags when invoking gccEdwin Brady 6dafd18Added bit vectors to the C backendMattias Lundell 052e3beFix JS code generationEdwin Brady 5faaba9More information runtime error for missing caseEdwin Brady f7b72a6Use idris_alloc for GMP allocationEdwin Brady 27d6b04Call gcc using rawSystemMelvar Chen 4694a36Merge pull request #1549 from fatho/fix/master/c-codegen-closing-parenthesisEdwin Brady 035e15bAdd -DIDRIS_ENABLE_STATS to CodegenC. Add missing #ifdef IDRIS_ENABLED_STATS in rts/idris_gc.c.stepcut c50d7c5Added missing parenthesis in C code generation.Fabian Thorand af2fb53Rename float negation primitive for more uniformityMarkus Pfeiffer 0ca4a55Add support for the primitive prim__negFloat : Float -> FloatMarkus Pfeiffer ce26633Don't keep allocating nullary constructorsEdwin Brady e5d1956Propagate constructor updates to bytecodeEdwin Brady 67f7373Support builds that doesn't use cabal for libs and rtsniklas 7fb6944Add explicit -DHAS_PTHREADEdwin Brady cc9b104Add a prim__systemInfo primitive.niklas c707c2dSome clean up.niklas f675e05Add CodegenInfo structure, give CGs uniform typesEdwin Brady ae117aaInsert U, UL, and ULL suffixes in CDavid Raymond Christiansen d4ffc21Add ManagedPtr typeEdwin Brady 6efa70dMove buffer offset handling into idris codeShea Levy a47adaaRemove redundant enName functionShea Levy d6418d7Rename functions implying Buffers have endiannessShea Levy f0fe3ffAdd C codegen implementation of buffer primitivesShea Levy 5d5b1b3Delimit escape codes properly.Matus Tejiscak 8f38baaExclude \DEL from C-string literal characters.Matus Tejiscak 543f41dCodegenC: support arbitrary bytes in string literals.Matus Tejiscak 46e894dUse Data.Text for variable namesEdwin Brady f27a1ffMove externally useful Util.System functions to IRTS.SystemBrian McKenna 0f97368Merge branch 'master' into cabal-libraryBrian McKenna 5000aebAdd a Cabal libraryBrian McKenna 9857679Fix Char literal matching in C codegenMelvar Chen ffe8706Null pointer primitiveEdward Amsden 029da07Take into account that GMP operations can move dataEdwin Brady 3c32b65Whitespace cleanup.George Leontiev 630c8b4Adds the ability to keep around the generated maven projectJan Bessai 2a0885eBetter representation and rendering of generated namesEdwin Brady af4fda7%flag directiveEdwin Brady e940e39Add flags for gcc to treat signed ints in a predictable wayAndreas Bogk 8a0e9d4Merge pull request #435 from JanBessai/SignedIntegerComparisonEdwin Brady b8e398eSupport signed integer comparison by introducing new primitivesJan Bessai dbce277Treat Int as unsigned in C codegen when zero-extending to IntegerBenjamin Saunders f04aba8Remove overlapped case in CodegenCEdwin Brady