git.iko.soy/Idris-dev
on bf4e535 help sign in
history ofrts/idris_bitstring.c
all commits
8472966Remove Buffer/BitVectors from compiler/C rtsEdwin Brady b6b8fd2Add gc copy for bit vectorsMattias Lundell 6dafd18Added bit vectors to the C backendMattias Lundell f7b72a6Use idris_alloc for GMP allocationEdwin Brady be386bdfix for bugs in the bits primitive operationsEvanR 6184856fix to some "obvious" bugs in BitsN primopsEvanR 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 2572b10Parameterized integer FFIBenjamin Saunders 0417eaeQuash warning on C bitstring comparatorsBenjamin Saunders 602a3d9Fixed the C codegen's bitfield comparison primitivesBenjamin Saunders 4ea88e1Remainder primitives for C codegenBenjamin 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