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

Adding STP solver @GSoC 2019 #163

Open
wants to merge 26 commits into
base: master
Choose a base branch
from
Open

Adding STP solver @GSoC 2019 #163

wants to merge 26 commits into from

Commits on Jul 17, 2019

  1. Add folders and scripts to clone and build STP and it's Java API

    @refactormyself
    refactormyself committed Jul 17, 2019
    Configuration menu
    Copy the full SHA
    aa50f3c View commit details
    Browse the repository at this point in the history

Commits on Jul 18, 2019

  1. Edit .gitignore; Add STP package and a Test 

    I have added the build paths and STP repo to .gitignore
so I have to do less cleaning before commit

Now in the STP solver package the shared library is
detected - Test passing
    @refactormyself
    refactormyself committed Jul 18, 2019
    Configuration menu
    Copy the full SHA
    97d113c View commit details
    Browse the repository at this point in the history

Commits on Jul 21, 2019

  1. All required Types generated and limited functions add to the API

    @refactormyself
    refactormyself committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    5dd1faf View commit details
    Browse the repository at this point in the history

  2. I think I did it, the Sample code, from repo is working 

    Error Handling is not properly done
Tests not written, so fuctions are expected to fail
But it's working
    @refactormyself
    refactormyself committed Jul 21, 2019
    Configuration menu
    Copy the full SHA
    d343022 View commit details
    Browse the repository at this point in the history

Commits on Jul 24, 2019

  1. before rebuilding the API binding (for many reasons)

    @refactormyself
    refactormyself committed Jul 24, 2019
    4 Configuration menu
    Copy the full SHA
    e467796 View commit details
    Browse the repository at this point in the history

  2. API's package modified and few Classes.Rebuild done

    @refactormyself
    refactormyself committed Jul 24, 2019
    Configuration menu
    Copy the full SHA
    fdb4dfc View commit details
    Browse the repository at this point in the history

Commits on Jul 25, 2019

  1. Update the new API and fixed reference errors

    @refactormyself
    refactormyself committed Jul 25, 2019
    2 Configuration menu
    Copy the full SHA
    e23b5e9 View commit details
    Browse the repository at this point in the history

  2. not working commit

    @refactormyself
    refactormyself committed Jul 25, 2019
    2 Configuration menu
    Copy the full SHA
    00e03b2 View commit details
    Browse the repository at this point in the history

  3. Add BasicSample and test run

    @refactormyself
    refactormyself committed Jul 25, 2019
    Configuration menu
    Copy the full SHA
    5e13202 View commit details
    Browse the repository at this point in the history

  4. Create Test and Fix error due to no UFManager

    @refactormyself
    refactormyself committed Jul 25, 2019
    Configuration menu
    Copy the full SHA
    7440f28 View commit details
    Browse the repository at this point in the history

Commits on Jul 26, 2019

  1. Create Test for Boolean Manager and Complete function immplementation 

    Test not passing yet, though
    @refactormyself
    refactormyself committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    9dd07dc View commit details
    Browse the repository at this point in the history

  2. DId few minor clean ups 

    unnecessary classes removed
calling functions adjusted

But now StpSolverTest gives a Segfault
    @refactormyself
    refactormyself committed Jul 26, 2019
    2 Configuration menu
    Copy the full SHA
    c489a72 View commit details
    Browse the repository at this point in the history

  3. Test the native API 

    The Segfault is a kind of false negative.
The pointers are mismatching i.e. not consistent as objects move around.
Still debugging this
    @refactormyself
    refactormyself committed Jul 26, 2019
    Configuration menu
    Copy the full SHA
    5619883 View commit details
    Browse the repository at this point in the history

Commits on Jul 28, 2019

  1. Add more test for STP the native API binding

    @refactormyself
    refactormyself committed Jul 28, 2019
    Configuration menu
    Copy the full SHA
    94a13c5 View commit details
    Browse the repository at this point in the history

Commits on Jul 29, 2019

  1. Fixed some bugs

    @refactormyself
    refactormyself committed Jul 29, 2019
    Configuration menu
    Copy the full SHA
    788b0f1 View commit details
    Browse the repository at this point in the history

  2. a bunch

    @refactormyself
    refactormyself committed Jul 29, 2019
    Configuration menu
    Copy the full SHA
    57cedf9 View commit details
    Browse the repository at this point in the history

Commits on Jul 30, 2019

  1. some adjustment and refactor to make a trivial test pass

    @refactormyself
    refactormyself committed Jul 30, 2019
    Configuration menu
    Copy the full SHA
    b3119cf View commit details
    Browse the repository at this point in the history

Commits on Aug 3, 2019

  1. FormulaManagers

    @refactormyself
    refactormyself committed Aug 3, 2019
    5 Configuration menu
    Copy the full SHA
    d2bfe1d View commit details
    Browse the repository at this point in the history

Commits on Aug 5, 2019

  1. Documentation and a few re-factoring

    @refactormyself
    refactormyself committed Aug 5, 2019
    Configuration menu
    Copy the full SHA
    5f9025f View commit details
    Browse the repository at this point in the history

  2. Fixed bugs and rebuild the API

    @refactormyself
    refactormyself committed Aug 5, 2019
    Configuration menu
    Copy the full SHA
    6be724b View commit details
    Browse the repository at this point in the history

Commits on Aug 6, 2019

  1. Confused !

    @refactormyself
    refactormyself committed Aug 6, 2019
    8 Configuration menu
    Copy the full SHA
    7599622 View commit details
    Browse the repository at this point in the history

Commits on Aug 20, 2019

  1. API Extension Documentation Before cleanup

    @refactormyself
    refactormyself committed Aug 20, 2019
    Configuration menu
    Copy the full SHA
    0da75f1 View commit details
    Browse the repository at this point in the history

Commits on Aug 23, 2019

  1. fix and test create variables and formulae. Also toString 

    The Hashcode is done too
Multiple changes done here
    @refactormyself
    refactormyself committed Aug 23, 2019
    Configuration menu
    Copy the full SHA
    c307159 View commit details
    Browse the repository at this point in the history

Commits on Aug 24, 2019

  1. fix and test prover.unsat()

    @refactormyself
    refactormyself committed Aug 24, 2019
    Configuration menu
    Copy the full SHA
    fb868a5 View commit details
    Browse the repository at this point in the history

  2. Fix bug in StpTheoremProver

    @refactormyself
    refactormyself committed Aug 24, 2019
    Configuration menu
    Copy the full SHA
    1a346c5 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2019

  1. FINAL GSoC 2019: let ant include jars in classpath.Create Model class 

    STP only print the models to stdout, I will have to rewrite an
extension method to return the collection of models or an iterator.
    @refactormyself
    refactormyself committed Sep 1, 2019
    Configuration menu
    Copy the full SHA
    63e7ed3 View commit details
    Browse the repository at this point in the history