Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: jscert/jscert
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: master
Choose a base ref
...
head repository: querycert/jsast
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: JsAst
Choose a head ref
Checking mergeability… Don’t worry, you can still create the pull request.
  • 19 commits
  • 424 files changed
  • 4 contributors

Commits on Feb 5, 2018

  1. JsAst

    Jerome Simeon committed Feb 5, 2018
    Configuration menu
    Copy the full SHA
    272a24d View commit details
    Browse the repository at this point in the history

  2. Remove modules

    Jerome Simeon committed Feb 5, 2018
    Configuration menu
    Copy the full SHA
    edfe161 View commit details
    Browse the repository at this point in the history

  3. Cleanup

    Jerome Simeon committed Feb 5, 2018
    Configuration menu
    Copy the full SHA
    cd59e15 View commit details
    Browse the repository at this point in the history

  4. README

    Jerome Simeon committed Feb 5, 2018
    Configuration menu
    Copy the full SHA
    9be94d2 View commit details
    Browse the repository at this point in the history

  5. (fix) Makefile

    Jerome Simeon committed Feb 5, 2018
    Configuration menu
    Copy the full SHA
    0c0d7aa View commit details
    Browse the repository at this point in the history

  6. (fix) README

    Jerome Simeon committed Feb 5, 2018
    Configuration menu
    Copy the full SHA
    6bea2e7 View commit details
    Browse the repository at this point in the history

Commits on Feb 9, 2018

  1. README opam ; number in Set rather than Type

    Jerome Simeon committed Feb 9, 2018
    Configuration menu
    Copy the full SHA
    e0d8465 View commit details
    Browse the repository at this point in the history

  2. Remove tlc dependency

    Jerome Simeon committed Feb 9, 2018
    Configuration menu
    Copy the full SHA
    9986758 View commit details
    Browse the repository at this point in the history

Commits on Feb 24, 2018

  1. Implements/fix a number of floating point operations using Flocq

    Jerome Simeon committed Feb 24, 2018
    Configuration menu
    Copy the full SHA
    fef4f68 View commit details
    Browse the repository at this point in the history

Commits on Mar 18, 2018

  1. Revision to JsNumber

    Jerome Simeon committed Mar 18, 2018
    Configuration menu
    Copy the full SHA
    f16a02e View commit details
    Browse the repository at this point in the history

Commits on Mar 19, 2018

  1. Re-align JsNumber module to existing JsCert one

    Jerome Simeon committed Mar 19, 2018
    Configuration menu
    Copy the full SHA
    ab1ce8d View commit details
    Browse the repository at this point in the history

Commits on May 23, 2018

  1. Add let to the AST.

    @mandel
    mandel committed May 23, 2018
    Configuration menu
    Copy the full SHA
    74f7152 View commit details
    Browse the repository at this point in the history

Commits on Nov 25, 2019

  1. Add missing stat_for_in_let 

    Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
    @jeromesimeon
    jeromesimeon committed Nov 25, 2019
    Configuration menu
    Copy the full SHA
    45b2977 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2020

  1. Update to use Coq 8.11.2 and Coq native floats. Removes flocq depende… 

    …ncy.
    @shinnar
    shinnar committed Jul 28, 2020
    Configuration menu
    Copy the full SHA
    a960697 View commit details
    Browse the repository at this point in the history

Commits on May 26, 2022

  1. chore(build) opam file and fixes to Makefile 

    Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
    @jeromesimeon
    jeromesimeon committed May 26, 2022
    Configuration menu
    Copy the full SHA
    98d64bc View commit details
    Browse the repository at this point in the history

  2. fix(doc) Update README 

    Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
    @jeromesimeon
    jeromesimeon committed May 26, 2022
    Configuration menu
    Copy the full SHA
    fb23b86 View commit details
    Browse the repository at this point in the history

  3. feature(*): Add simple toplevel module and BigInt literals 

    Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
    @jeromesimeon
    jeromesimeon committed May 26, 2022
    Configuration menu
    Copy the full SHA
    1568ab8 View commit details
    Browse the repository at this point in the history

Commits on Feb 26, 2026

  1. build(*) Switch to Rocq Prover 

    Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
    @jeromesimeon
    jeromesimeon committed Feb 26, 2026
    Configuration menu
    Copy the full SHA
    cb616e3 View commit details
    Browse the repository at this point in the history

Commits on Feb 27, 2026

  1. fix(build) Better Rocq dependency for opam 

    Signed-off-by: Jerome Simeon <jeromesimeon@me.com>
    @jeromesimeon
    jeromesimeon committed Feb 27, 2026
    Configuration menu
    Copy the full SHA
    4b97bcf View commit details
    Browse the repository at this point in the history
Loading