Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add high level bindings for js #6048

Merged
merged 22 commits into from
Jun 14, 2022
Merged

Add high level bindings for js #6048

merged 22 commits into from
Jun 14, 2022

Commits on May 23, 2022

  1. [Draft] Added unfinished code for high level bindings for js

    @ritave
    ritave committed May 23, 2022
    Configuration menu
    Copy the full SHA
    9023c8e View commit details
    Browse the repository at this point in the history

Commits on May 26, 2022

  1. * Rewrote structure of js api files 

    * Added more high level apis
    @ritave
    ritave committed May 26, 2022
    Configuration menu
    Copy the full SHA
    ae4bd92 View commit details
    Browse the repository at this point in the history

  2. Minor fixes

    @ritave
    ritave committed May 26, 2022
    Configuration menu
    Copy the full SHA
    648b1fb View commit details
    Browse the repository at this point in the history

  3. Fixed wasm github action

    @ritave
    ritave committed May 26, 2022
    Configuration menu
    Copy the full SHA
    8015127 View commit details
    Browse the repository at this point in the history

Commits on May 27, 2022

  1. Fix JS test

    @ritave
    ritave committed May 27, 2022
    Configuration menu
    Copy the full SHA
    1f0480e View commit details
    Browse the repository at this point in the history

  2. Removed ContextOptions type

    @ritave
    ritave committed May 27, 2022
    Configuration menu
    Copy the full SHA
    48797d9 View commit details
    Browse the repository at this point in the history

  3. * Added Ints to JS Api 

    * Added tests to JS Api
    @ritave
    ritave committed May 27, 2022
    Configuration menu
    Copy the full SHA
    6882050 View commit details
    Browse the repository at this point in the history

Commits on May 28, 2022

  1. Added run-time checks for contexts

    @ritave
    ritave committed May 28, 2022
    Configuration menu
    Copy the full SHA
    3a5255d View commit details
    Browse the repository at this point in the history

  2. Removed default contexts

    @ritave
    ritave committed May 28, 2022
    Configuration menu
    Copy the full SHA
    429fee8 View commit details
    Browse the repository at this point in the history

  3. Merged Context and createContext so that the api behaves the sames as… 

    … in other constructors
    @ritave
    ritave committed May 28, 2022
    Configuration menu
    Copy the full SHA
    b7e6626 View commit details
    Browse the repository at this point in the history

Commits on May 29, 2022

  1. Added a test for Solver

    @ritave
    ritave committed May 29, 2022
    Configuration menu
    Copy the full SHA
    6a30dbe View commit details
    Browse the repository at this point in the history

  2. Added Reals

    @ritave
    ritave committed May 29, 2022
    Configuration menu
    Copy the full SHA
    a332187 View commit details
    Browse the repository at this point in the history

Commits on May 30, 2022

  1. Added classes for IntVals and RealVals

    @ritave
    ritave committed May 30, 2022
    Configuration menu
    Copy the full SHA
    87c9e8c View commit details
    Browse the repository at this point in the history

  2. Added abillity to specify logic for solver

    @ritave
    ritave committed May 30, 2022
    Configuration menu
    Copy the full SHA
    924fa65 View commit details
    Browse the repository at this point in the history

  3. Try to make CI tests not fail

    @ritave
    ritave committed May 30, 2022
    Configuration menu
    Copy the full SHA
    fafcac2 View commit details
    Browse the repository at this point in the history

Commits on Jun 3, 2022

  1. Changed APIs after a round of review

    @ritave
    ritave committed Jun 3, 2022
    Configuration menu
    Copy the full SHA
    232ec4a View commit details
    Browse the repository at this point in the history

  2. Fix test

    @ritave
    ritave committed Jun 3, 2022
    Configuration menu
    Copy the full SHA
    17624aa View commit details
    Browse the repository at this point in the history

Commits on Jun 4, 2022

  1. Added BitVectors

    @ritave
    ritave committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    db8f33d View commit details
    Browse the repository at this point in the history

  2. Made sort into getter

    @ritave
    ritave committed Jun 4, 2022
    Configuration menu
    Copy the full SHA
    ec3b00d View commit details
    Browse the repository at this point in the history

Commits on Jun 13, 2022

  1. Added initial JS docs

    @ritave
    ritave committed Jun 13, 2022
    Configuration menu
    Copy the full SHA
    ab094ee View commit details
    Browse the repository at this point in the history

Commits on Jun 14, 2022

  1. Added more coercible types

    @ritave
    ritave committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    39afcfa View commit details
    Browse the repository at this point in the history

  2. Removed done TODOs

    @ritave
    ritave committed Jun 14, 2022
    Configuration menu
    Copy the full SHA
    62d60ef View commit details
    Browse the repository at this point in the history