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

Printer for terms #14

Closed
wants to merge 14 commits into from
Closed

Printer for terms #14

wants to merge 14 commits into from

Commits on Oct 25, 2018

  1. Typo in doc comment

    @Gbury
    Gbury committed Oct 25, 2018
    Configuration menu
    Copy the full SHA
    a982ea9 View commit details
    Browse the repository at this point in the history

  2. Add escaping module

    @Gbury
    Gbury committed Oct 25, 2018
    Configuration menu
    Copy the full SHA
    2459ccc View commit details
    Browse the repository at this point in the history

Commits on Oct 31, 2018

  1. Started tptp pretty-printer

    @Gbury
    Gbury committed Oct 31, 2018
    Configuration menu
    Copy the full SHA
    c8d5491 View commit details
    Browse the repository at this point in the history

Commits on Nov 9, 2018

  1. Commited skeleton

    @Gbury
    Gbury committed Nov 9, 2018
    Configuration menu
    Copy the full SHA
    82a1104 View commit details
    Browse the repository at this point in the history

Commits on Dec 3, 2018

  1. Remove .merlin.

    @anmaped
    anmaped committed Dec 3, 2018
    Configuration menu
    Copy the full SHA
    e1ab3ca View commit details
    Browse the repository at this point in the history

  2. Merge remote-tracking branch 'remotes/origin/master' into printer

    @anmaped
    anmaped committed Dec 3, 2018
    Configuration menu
    Copy the full SHA
    4a9a66b View commit details
    Browse the repository at this point in the history

  3. Add dune build to export folder.

    @anmaped
    anmaped committed Dec 3, 2018
    Configuration menu
    Copy the full SHA
    883a16c View commit details
    Browse the repository at this point in the history

  4. Add package dolmen-export.

    @anmaped
    anmaped committed Dec 3, 2018
    2 Configuration menu
    Copy the full SHA
    ada95d1 View commit details
    Browse the repository at this point in the history

  5. Fix Makefile.

    @anmaped
    anmaped committed Dec 3, 2018
    Configuration menu
    Copy the full SHA
    2671d93 View commit details
    Browse the repository at this point in the history

Commits on Dec 5, 2018

  1. Update on smtlib print functions.

    @anmaped
    anmaped committed Dec 5, 2018
    Configuration menu
    Copy the full SHA
    7eba3e8 View commit details
    Browse the repository at this point in the history

Commits on Jan 29, 2019

  1. Updated smtlib exporter.

    @anmaped
    anmaped committed Jan 29, 2019
    Configuration menu
    Copy the full SHA
    f5ee3fb View commit details
    Browse the repository at this point in the history

Commits on Feb 4, 2019

  1. small update on smtlib exporter.

    @anmaped
    anmaped committed Feb 4, 2019
    Configuration menu
    Copy the full SHA
    309c830 View commit details
    Browse the repository at this point in the history

Commits on Apr 15, 2019

  1. Fix double parenthesis.

    @anmaped
    anmaped committed Apr 15, 2019
    Configuration menu
    Copy the full SHA
    b4adc60 View commit details
    Browse the repository at this point in the history

Commits on Jul 17, 2019

  1. Merge branch 'master' into printer

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