|
Failed to load latest commit information. |
|
doc
|
Updating README and regression tests script
|
Oct 30, 2015
|
|
|
ext
|
Small edits in tsc/checker.ts
|
Feb 28, 2016
|
|
|
include
|
Fix in array.length
|
Apr 25, 2016
|
|
|
liquid-fixpoint @ d1ea178
|
Adding option --dumpjson on error stream
|
May 9, 2016
|
|
|
scripts
|
Addin build prelude to postBuild hook
|
Apr 11, 2016
|
|
|
src
|
Adding option --dumpjson on error stream
|
May 9, 2016
|
|
|
tests
|
Porting demo tests to latest version
|
May 30, 2016
|
|
|
.gitattributes
|
Update .gitattributes
|
May 7, 2016
|
|
|
.gitignore
|
Fix on permission tracking
|
Feb 2, 2016
|
|
|
.gitmodules
|
Adding new liquid-fixpoint submodule
|
Jan 9, 2016
|
|
|
.travis.yml
|
Updating README
|
May 7, 2016
|
|
|
LICENSE
|
initialize nanojs
|
Apr 17, 2013
|
|
|
LICENSE.LangES
|
Adding langauge-ecmascript licence
|
Mar 8, 2015
|
|
|
README.md
|
Update README.md
|
May 20, 2016
|
|
|
Setup.hs
|
Addin build prelude to postBuild hook
|
Apr 11, 2016
|
|
|
TODO.md
|
Minor edit
|
Apr 11, 2016
|
|
|
refscript.cabal
|
Bump version
|
May 7, 2016
|
|
|
stack.yaml
|
hmph. get FP to export Pred as alias of Expr
|
Feb 1, 2016
|