Commits on Source (63)
-
Elad Kinsbruner authored
-
Elad Kinsbruner authored
-
Elad Kinsbruner authored
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
Added standard c_flags to jscoq_extern.
-
Shachar Itzhaky authored
-
Elad Kinsbruner authored
-
Elad Kinsbruner authored
-
Elad Kinsbruner authored
-
Elad Kinsbruner authored
-
Elad Kinsbruner authored
-
Elad Kinsbruner authored
Signed-off-by:
Elad Kinsbruner <kinsbruner@campus.technion.ac.il>
-
Shachar Itzhaky authored
`jscoq.js` is needed.
-
Shachar Itzhaky authored
-
Emilio Jesus Gallego Arias authored
`apt-get` solver cannot realize the constraints (and package removals), which prevents install of the 32-bit gcc toolchain. `aptitude`'s solver works for now, so we use it. This kind of package conflicts do remain a big PITA.
-
Emilio Jesús Gallego Arias authored
[ci] Use aptitude's solver for 32 bit gcc toolchain install
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
Add Gist sharing support
-
Emilio Jesus Gallego Arias authored
-
Emilio Jesus Gallego Arias authored
-
Emilio Jesús Gallego Arias authored
[build] Bump SerAPI and Coq to 8.17.1
-
Shachar Itzhaky authored
Work around it by setting the problematic import as external.
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
Note: esbuild arch-dependent deps exist; need a relatively new version of NPM (e.g. 9.6.x).
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
Use jsoo debug flags like in the worker build.
-
Shachar Itzhaky authored
It's a bit slow but I was bit by that when obsolete files were there mixed with those from a newer version.
-
Shachar Itzhaky authored
Needed for Çoqoban #sorry :)
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
Accept `?wa` as a shorthand to `?backend=wa`.
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
Probably `fflate-unzip` is inconsistent because it does not have a `'type': 'module'` field. Should check.
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
-
Shachar Itzhaky authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
-
David Hamelin authored
It's useless because Inria gitlab does not have any CI runners, and LIPN gitlab does not big (400MB) artifacts
-
David Hamelin authored
-
David Hamelin authored
Showing
- .github/workflows/ci.yml 3 additions, 2 deletions.github/workflows/ci.yml
- .gitlab-ci.yml 22 additions, 0 deletions.gitlab-ci.yml
- .gitmodules 0 additions, 6 deletions.gitmodules
- CHANGES.md 10 additions, 2 deletionsCHANGES.md
- Dockerfile 8 additions, 0 deletionsDockerfile
- Makefile 5 additions, 2 deletionsMakefile
- README.md 25 additions, 217 deletionsREADME.md
- README.original.md 238 additions, 0 deletionsREADME.original.md
- addons/.gitignore 4 additions, 0 deletionsaddons/.gitignore
- addons/.gitmodules 0 additions, 0 deletionsaddons/.gitmodules
- addons/Makefile 87 additions, 0 deletionsaddons/Makefile
- addons/README.md 5 additions, 0 deletionsaddons/README.md
- addons/_scripts/set-ver 47 additions, 0 deletionsaddons/_scripts/set-ver
- addons/dune 1 addition, 0 deletionsaddons/dune
- addons/dune-project 2 additions, 0 deletionsaddons/dune-project
- addons/dune-workspace 7 additions, 0 deletionsaddons/dune-workspace
- addons/dune-workspace.64 7 additions, 0 deletionsaddons/dune-workspace.64
- addons/dune-workspace.wacoq 9 additions, 0 deletionsaddons/dune-workspace.wacoq
- addons/teach/.gitignore 2 additions, 0 deletionsaddons/teach/.gitignore
- addons/teach/Makefile 5 additions, 0 deletionsaddons/teach/Makefile
.gitlab-ci.yml
0 → 100644
.gitmodules
deleted
100644 → 0
Dockerfile
0 → 100644
README.original.md
0 → 100644
addons/.gitignore
0 → 100644
addons/.gitmodules
0 → 100644
addons/Makefile
0 → 100644
addons/README.md
0 → 100644
addons/_scripts/set-ver
0 → 100755
addons/dune
0 → 100644
addons/dune-project
0 → 100644
addons/dune-workspace
0 → 100644
addons/dune-workspace.64
0 → 100644
addons/dune-workspace.wacoq
0 → 100644
addons/teach/.gitignore
0 → 100644
addons/teach/Makefile
0 → 100644