git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
7afa310
help
sign in
history of
rts/idris_bitstring.c
all commits
be386bd
fix for bugs in the bits primitive operations
EvanR
12 years ago
6184856
fix to some "obvious" bugs in BitsN primops
EvanR
12 years ago
1cf8b7b
Revert "Revert "Merge pull request #294 from bitlisp/unified-int-primitives""
David Christiansen
14 years ago
05895a5
Revert "Merge pull request #294 from bitlisp/unified-int-primitives"
Edwin Brady
14 years ago
2572b10
Parameterized integer FFI
Benjamin Saunders
14 years ago
0417eae
Quash warning on C bitstring comparators
Benjamin Saunders
14 years ago
602a3d9
Fixed the C codegen's bitfield comparison primitives
Benjamin Saunders
14 years ago
4ea88e1
Remainder primitives for C codegen
Benjamin Saunders
14 years ago
88eb2bf
C codegen for bitmanip and bit comparators
Erkin Batu Altunbaş
14 years ago
b3ba46e
Primitives for interconversion of Bits32 and Int
Benjamin Saunders
14 years ago
7518b0c
Absolutely untested implementations of a few bitstring primitives.
Irene Knapp
14 years ago
keys
esc to close
j k
move down, up
enter
open
esc
back, or up a level
1 2 3 4
readme, files, commits, refs
/
filter
y
copy the clone command
c
compare the chosen commit with another (or shift-click both)
?
show or hide this list