git.iko.soy/Idris-dev
on aed179c help sign in
history ofsrc/IRTS/CodegenC.hs
all commits
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 6165c1dMerge branch 'restored-itnative-codegen' of https://github.com/Ralith/Idris-dev into StrLenRegressionTestJan Bessai eca417fRestored missing Int to Integer conversion codegensBenjamin Saunders a0130b9Removed FChar in favour of FArith (ATInt ITChar)Jan Bessai 773e454Make ChType a member of IntTy ITChar.Jan Bessai 0aa3fd6Beginnings of integer SIMD support (no backend yet)Benjamin Saunders 10da5a2Fix truncation of Integer in C codegenBenjamin Saunders 7d6f7f7Integer <-> Float conversion in C codegenBenjamin Saunders 613774cFix invalid C codegen for unary floating point operatorsBenjamin Saunders b56caabFix Data.Bits: properly convert to machine-buitin types everywhere. Fix Codegen: Shr is now called LShr, emit that.Andreas Bogk b7a1059Fixed and extended C backend integer operationsBenjamin Saunders fc8d6e1Expand integer primitive unification to encompass bigintsBenjamin Saunders 1cf8b7bRevert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""David Christiansen 05895a5Revert "Merge pull request #294 from bitlisp/unified-int-primitives"Edwin Brady b1a9e75Merge branch 'master' of git://github.com/edwinb/Idris-dev into unified-int-primitivesBenjamin Saunders 2572b10Parameterized integer FFIBenjamin Saunders 321b8fdReduce redundancy across integer operationsBenjamin Saunders 3caba45Undo earlier fix for RTS linking due to Mac OS incompatibilityDavid Christiansen 116441bMerge remote-tracking branch 'upstream/master' into providersDavid Christiansen e294e0eProper initialization semantics for raw memoryJan Bessai 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