Skip to content
Snippets Groups Projects
Select Git revision
  • SharedArrayBuffer
  • ultra-light
  • v8.17 default protected
3 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.026Jun2221191121May1817161211109876543130Apr292425Feb86315Jan87524Dec325Oct24Sep211717Aug1513121197653119Jul17161411876313Jun1210922May21181716151413109812Apr29Mar54121Feb141310331Jan30262321139512Dec15Nov10230Oct2032130Sep28272621191814987129Aug2725231413111098764323Jul1830Jun30Apr2825987643432130Mar292827211817131213121110769Feb76130Jan292725242215Dec1211720Nov138118Sep30Aug2827Jul22Jun20191817161598432131May302827262524232217151412116432127Apr262524[cleanup] Some unused funcs.[build] [port] Added patch for Dune 3.[port] Coq 8.16: adjusted `inspect_local`.[port] Bumped required Dune dep to 3.2.[oops] Bad line in patch.[meta] Bumped version to 0.16.0.[port] Adjusted patches for 8.16.[jscoq] Preliminary upgrade to Coq 8.16Merge pull request #269 from jscoq/v8.15+packaging-fixes[bugfix] Error in pretty-print.[meta] Updated CHANGES.[doc] Added link to Coqoban.[port] Adjust for newer OPAM + note about Node.js.[oops] Stray `console.warn`.Merge pull request #268 from jscoq/v8.15+landing-page[feature] Worker load progress.Merge branch 'v8.15+landing-page' into v8.15+packaging-fixes[gfx] Replaced book icon with the one from fa4.7.0.[feature] [jscoqdoc] Accept a user-specified template.[bugfix] Some inconsistent behavior with trimming snippets.[doc] Fixed the reference to running example.[build] Support for incremental builds in Docker.Merge pull request #266 from jscoq/v8.15+sdk[doc] Completely shift the focus of the landing page.[doc] Completely shift the focus of the landing page.[build] Reduced the hazard level in Docker build.[opt] Use a passive event handler for scroll.[doc] sdk-demo README.[build] Added SDK to standard JS build.[ui] Improving contextual info.[doc] Some flare.[doc] Some flare.[doc] Minor tweak.[doc] Minor tweak.[doc] SDK manual page.[build] Included symbol generation in main build.[cleanup] Removed the `jscoq_worker.js` symlink.[build] Restored the ability to generate package symbols.[bugfix] `Marshal` stub went out of sync with jsoo.[doc] Styling: added KaTeX math.