Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • SharedArrayBuffer
  • ultra-light
  • v8.17 default protected
3 results
Created with Raphaël 2.2.031Oct27171312116543230Sep2120191098328Aug272523222019181716151463130Jul282423204326Jun2221191121May1817161211109876543130Apr292425Feb86315Jan87524Dec325Oct24Sep211717Aug1513121197653119Jul17161411876313Jun1210922May21181716151413109812Apr29Mar54121Feb141310331Jan30262321139512Dec15Nov10230Oct2032130Sep28272621191814987129Aug2725231413111098764323Jul1830Jun30Apr2825987643432130Mar292827211817131213121110769Feb76130Jan292725242215Dec1211720Nov138118Sep30Aug2827Jul22Jun20191817Merge pull request #306 from artagnon/fix-buildDockerfile: fix build since f67e5e27Merge pull request #298 from jscoq/v8.16+fix_dune[build] Bump Dune to >= 3.5.0Merge pull request #299 from jscoq/v8.16+cleanupMerge pull request #300 from ksk/v8.16Typo correction[build] Remove obsolete files, find new home for cli filesMerge pull request #296 from jscoq/v8.16+interp_interface[build] Fix failing CI.[bugfix] Get the correct packages for backend='wa'.[build] Update docker to build wacoq as well.[bugfix] Silly namespace injection![bugfix] Silly namespace injection![bugfix] [build] Wasm stubs missing.[cleanup] `num` is no longer needed by Coq.[oops] Copy bug.[build] Adjust dist targets.[refactor] Rearrange wasm deps.[build] Corrected paths and targets for packaging.[build] Fixed Dune modes.[build] Added meta-package for wasm deps.[refactor] Normalized worker paths.[refactor] Unified backend lib with both WA and JS.[refactor] Separated callbacks and lib manager.wip[refactor] Unified package manifest format.[refactor] Working towards a unified worker ABI.[port] [wip] Basic scaffolding for WA integration.[js] Make interp independent of JsooMerge pull request #287 from jscoq/v8.16+backend_simple[cli] [inspect] Improve timing report.[build] Webpack frontend too.[eslint] Update config extension.[backend] Some better types and a bit of refactoring.[webpack] Attempt to enable caching.[worker] Better types for worker progress function[frontend] Put headless frontend in its own directory.[backend] Port backend javascript object to TypeScript.[cli] Show build times + display improvs in Makefile.