git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ef93607
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 14 files
../
Java/
Support signed integer comparison by introducing new primitives
13 years ago
BCImp.hs
Set up for adding new compiler back ends more easily
14 years ago
Bytecode.hs
Some tiny RTS optimisations
14 years ago
CodegenC.hs
Add flags for gcc to treat signed ints in a predictable way
13 years ago
CodegenCommon.hs
Remove old ifdefs for supporting base<4 since we require base>=4
13 years ago
CodegenJava.hs
Remove Java RTS build in favor of the version hosted on Maven Central
13 years ago
CodegenJavaScript.hs
javascript: refactor apply generation
13 years ago
CodegenLLVM.hs
Use atomic allocations when safe in LLVM codegen.
13 years ago
Compiler.hs
Change TCGen flag to Dictionary, update evaluator accordingly
13 years ago
Defunctionalise.hs
APPLY needs a catch all case for type constructors Normally, they get erased, but in case they haven't at compile time this ensures they are at run-time. It's safe just to return an erased term since it can't be inspected. Fixes #416 (This may mean somethi…
13 years ago
DumpBC.hs
Merge pull request #120 from DanielWaterworth/master
14 years ago
Inliner.hs
Fix unification error that led to some trivial things not checking
14 years ago
LParser.hs
Support signed integer comparison by introducing new primitives
13 years ago
Lang.hs
Support signed integer comparison by introducing new primitives
13 years ago
Simplified.hs
Remove the unused arg from lookup functions
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