git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
b875c2f
help
sign in
Idris-dev
/
src
/
IRTS
1 folder, 14 files
../
Java/
SSA style stack management and FChar is finally gone.
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
Merge branch 'restored-itnative-codegen' of https://github.com/Ralith/Idris-dev into StrLenRegressionTest
13 years ago
CodegenCommon.hs
Remove old ifdefs for supporting base<4 since we require base>=4
13 years ago
CodegenJava.hs
Remove old imports from generated files
13 years ago
CodegenJavaScript.hs
javascript: remove broken optimization
13 years ago
CodegenLLVM.hs
Merge branch 'restored-itnative-codegen' of https://github.com/Ralith/Idris-dev into StrLenRegressionTest
13 years ago
Compiler.hs
Make ChType a member of IntTy ITChar.
13 years ago
Defunctionalise.hs
Remove the unused arg from lookup functions
14 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
Make ChType a member of IntTy ITChar.
13 years ago
Lang.hs
Merge branch 'ITChar' into JavaRepairs
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