git.iko.soy/Idris-dev
on aa8aefd help sign in
aa8aefdAdd missing comma in base.ipkgBenjamin Saunders 6e5c6cdAdd missing Binary cases for bitstring valuesBenjamin Saunders 043bc22StyleBenjamin Saunders 88e07aaClean up some redundancyBenjamin Saunders 41f3d97Merge branch 'master' of git://github.com/edwinb/Idris-dev into bitstringBenjamin Saunders 99ed1dbExtensive bitstring bugfixingBenjamin Saunders 94f7452Fix wrongly-typed 16-bit complement evaluatorBenjamin Saunders fe963e8Fixed byte counting math in bitstring codeBenjamin Saunders 48ffaaeUpdate cabal, increment version numberEdwin Brady 0417eaeQuash warning on C bitstring comparatorsBenjamin Saunders dfb6802Remove unused utility functionBenjamin Saunders 3a68ffaMerge pull request #157 from luqui/masterEdwin Brady e26a119Correct codegen for bitstring complementsBenjamin Saunders 55c0609Correct truncation/extension and complement behavior for non-native bitstringsBenjamin Saunders 70aa358Removed the stack depth limit from Core.Evaluate.Luke Palmer 0d44c3fExtensive style and naming cleanupBenjamin Saunders 519e34fMerge pull request #153 from LeifW/monoid_maybe_castingEdwin Brady a601cc6Merge pull request #155 from raichoo/javascriptEdwin Brady 0fef623Truncation in similar spiritBenjamin Saunders ba4a50cSign-extension in similar spiritBenjamin Saunders 19950e4Embarassingly unsafe zero-extensionBenjamin Saunders 65b6dbdSimplify some type signaturesBenjamin Saunders bee324cFix ashr behavior on non-native bitfield widthsBenjamin Saunders 601f694Defined complement operator for bitfieldsBenjamin Saunders c663f57javascript: string lengthraichoo 482a723javascript: satisfy hlintraichoo 2cf42b5javascript: added char conversionsraichoo 1dc8f39added LChInt LIntCh to primitivesraichoo c1420f0javascript: more name fixesraichoo 8e95553javascript: removed redundant anonymous functionraichoo 9b75fadjavascript: added more primitivesraichoo 3267cadjavascript: big integersraichoo a6ed7c3javascript: got rid of --javascript use --targetraichoo 45adecejavascript: added more typesraichoo ba9b358javascript: pattern guards for typematchingraichoo 2d8357djavascript: shorter namesraichoo dd1ca20javascript: fix for test007raichoo b458c70javascript: fix & in namesraichoo c79e46cjavascript: match on typesraichoo 2729962javascript: fixed times-operator in namesraichoo 22ce6bfjavascript: added StrCons primitiveraichoo 0cea6e6javascript: fixed streq bugraichoo 5c51429javascript: strHead & strTail primitivesraichoo 602a3d9Fixed the C codegen's bitfield comparison primitivesBenjamin Saunders 0ffb7b6Fix violations of parametricityBenjamin Saunders 187f42fUndo unification changes... because it's broken...Edwin Brady b1684a7Added reg009 for catching unification problemEdwin Brady f57a454Added cast instances both directions between Maybe and Monoids.Leif Warner cbc8a13ConcisenessBenjamin Saunders 4ea88e1Remainder primitives for C codegenBenjamin Saunders