| TLC is now hosted on Github. |
|
More...
|
about 2 years ago
|
| Merge pull request #12 from Huxpro/patch-2 |
|
More...
|
almost 7 years ago
|
| Update README.org |
|
More...
|
almost 7 years ago
|
| Update README.org |
|
More...
|
over 7 years ago
|
| Add opam repository step to `make init`, init only verbose on travis, update README.org. |
|
More...
|
about 9 years ago
|
| Package JSCert for opam. Update flocq to 2.5.2. Fixes Travis CI builds. |
|
More...
|
about 9 years ago
|
| Missed tracer things to remove |
|
More...
|
about 9 years ago
|
| Fix bug introduced in f57e978e where *all* parses were in Strict mode(!) |
|
More...
|
about 9 years ago
|
| using new parser from opam |
|
More...
|
about 9 years ago
|
| Nuke Tracer mode. See jscert/jsexplain instead. |
|
More...
|
about 9 years ago
|
| Merge branch 'public' |
|
More...
|
about 9 years ago
|
| Move string_of_prealloc from JsInterpreter to JsSyntaxAux. |
|
More...
|
over 9 years ago
|
| jsjsref has moved to https://github.com/jscert/jsexplain |
|
More...
|
over 9 years ago
|
| Fix wrong result error type, introduced by b5504e0 |
|
More...
|
over 9 years ago
|
| Tweak gitlab-ci script [ci skip] |
|
More...
|
over 9 years ago
|
| JSCert is no longer compatible with the most recent version of Coq. Updating the Makefile. |
|
More...
|
over 9 years ago
|
| Hush. |
|
More...
|
over 9 years ago
|
| Merge branch 'master' of github.com:resource-reasoning/jscert_dev |
|
More...
|
almost 10 years ago
|
| Merge branch 'newctx' |
|
More...
|
almost 10 years ago
|
| .gitlab-ci.yml: Install git-sync webhook task [AUTO][ci skip] |
|
More...
|
almost 10 years ago
|
| coercions_display_erge |
|
More...
|
almost 10 years ago
|
| tweaking |
|
More...
|
almost 10 years ago
|
| mark |
|
More...
|
almost 10 years ago
|
| msg_mark |
|
More...
|
almost 10 years ago
|
| Fix default code view (exception triggered when entering code into box and run without loading an example) |
|
More...
|
almost 10 years ago
|
| Merge remote-tracking branch 'rr/newctx' into newctx |
|
More...
|
almost 10 years ago
|
| Remove dependency on Prheap for jsjsref |
|
More...
|
almost 10 years ago
|
| tweaking make report for bisect |
|
More...
|
almost 10 years ago
|
| hush |
|
More...
|
almost 10 years ago
|
| Force jsref into strict mode |
|
More...
|
about 10 years ago
|
