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

SolarLiner/category #7

Open
wants to merge 18 commits into
base: main
Choose a base branch
from
Open

SolarLiner/category #7

wants to merge 18 commits into from

Commits on Oct 27, 2021

  1. new SolverMonad

    @acorrenson
    acorrenson committed Oct 27, 2021
    Configuration menu
    Copy the full SHA
    5e0472e View commit details
    Browse the repository at this point in the history

Commits on Oct 28, 2021

  1. wip on the rewriting of QfLia with the new monad

    @acorrenson
    acorrenson committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    b5cb00a View commit details
    Browse the repository at this point in the history

  2. fix errors in the monadic miniLia

    @acorrenson
    acorrenson committed Oct 28, 2021
    Configuration menu
    Copy the full SHA
    9877f10 View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2021

  1. redesign qf_lia in a monadic style

    @acorrenson
    acorrenson committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    9ab7cb4 View commit details
    Browse the repository at this point in the history

  2. cleaning and documentation of the new monad

    @acorrenson
    acorrenson committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    a4a1789 View commit details
    Browse the repository at this point in the history

  3. chore: add minilib dependency

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    a3078e4 View commit details
    Browse the repository at this point in the history

  4. chore: sync minilib

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    ecbd1a7 View commit details
    Browse the repository at this point in the history

  5. chore: sync minilib

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    d7c609a View commit details
    Browse the repository at this point in the history

  6. chore: sync minilib

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    e9140f7 View commit details
    Browse the repository at this point in the history

  7. wip: use minilib

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    122815a View commit details
    Browse the repository at this point in the history

  8. chore: sync minilib

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    0e0921d View commit details
    Browse the repository at this point in the history

  9. fix: update sexp module to use minilib parsing

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    64e5e47 View commit details
    Browse the repository at this point in the history

  10. fix: update solver loop from sexp module

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    c6c4079 View commit details
    Browse the repository at this point in the history

  11. chore: sync minilib

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    a4201d7 View commit details
    Browse the repository at this point in the history

  12. fix: sexp parser

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    e59af69 View commit details
    Browse the repository at this point in the history

  13. ci: recurse through submodules on checkout

    @SolarLiner
    SolarLiner committed Oct 31, 2021
    Configuration menu
    Copy the full SHA
    f426ab2 View commit details
    Browse the repository at this point in the history

Commits on Nov 6, 2021

  1. chore: use minicat to explicit all monads

    @SolarLiner
    SolarLiner committed Nov 6, 2021
    Configuration menu
    Copy the full SHA
    f597504 View commit details
    Browse the repository at this point in the history

  2. chore: sync minilib

    @SolarLiner
    SolarLiner committed Nov 6, 2021
    Configuration menu
    Copy the full SHA
    f27e14f View commit details
    Browse the repository at this point in the history