git.iko.soy
/
Idris-dev
readme
files
commits
refs
on
ea65347
help
sign in
history of
src/IRTS/JavaScript/Codegen.hs
all commits
38484ff
Merge branch 'master' of github.com:idris-lang/Idris-dev into search_for_includes_in_getIdrisLibDir
Rui Barreiro
9 years ago
b71febe
Merge branch 'master' of github.com:idris-lang/Idris-dev into issue_3697
Rui Barreiro
9 years ago
1f50430
added require for the %lib anotations in js backend
Rui Barreiro
9 years ago
b36b2fd
changed js backend to look for includes also in getIdrisLibDir
Rui Barreiro
9 years ago
c2df755
JS Codegen : Add call specialize
be5invis
9 years ago
4f002e5
JSRTS: move templates into JSRTS
be5invis
9 years ago
9ed63a9
fix basic008
be5invis
9 years ago
a16a24f
optimize: more
be5invis
9 years ago
44f772d
Refactor
be5invis
9 years ago
48f9a4b
fixed LSHL for IT64
Rui Barreiro
9 years ago
3e86df1
added many missing primitives that were in the old backend
Rui Barreiro
9 years ago
c76582f
moved js code from AST.hs to Runtime-common.js
Rui Barreiro
9 years ago
1c908c3
added import for applicative
Rui Barreiro
9 years ago
cb85d5e
changed names to camelcase
Rui Barreiro
9 years ago
8579263
remove use of DeriveAnyClass
Rui Barreiro
9 years ago
57fb08e
runned stylize
Rui Barreiro
9 years ago
d98e5f2
added LIntFloat ITBig to the js backend
Rui Barreiro
9 years ago
b2c56c3
added JS_Float to available js foreign args
Rui Barreiro
9 years ago
3e44eee
removed dead code return null after thwow for LError
Rui Barreiro
9 years ago
487c639
fixed LFloatInt primitive
Rui Barreiro
9 years ago
e1d16e2
added more primitives, all tests passing now
Rui Barreiro
9 years ago
492d0f6
added more primFn to pass bounded test
Rui Barreiro
9 years ago
18fa741
removed unused constructors
Rui Barreiro
9 years ago
da46fd6
added function name to error message for invalid ffi types
Rui Barreiro
9 years ago
8453697
added support for bigints and int32, before both of than were working with js numbers(doubles)
Rui Barreiro
9 years ago
462d4f2
improvment in tailcall optim usage of variables
Rui Barreiro
10 years ago
2be53f8
created names for partial applications
Rui Barreiro
10 years ago
a254920
fixed tail call optim when closuser involved
Rui Barreiro
10 years ago
dc44b02
new javascript backend
Rui Barreiro
10 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