Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jun 10, 2023

• Update README

  fsestini

  authored
  6cbe287

  Copy full SHA for 6cbe287

Commits on Jun 4, 2023

• Change benchmark

  fsestini

  committed
  a07e367

  Copy full SHA for a07e367

• Avoid using test queries exceeding bounds

  fsestini

  committed
  31df4ef

  Copy full SHA for 31df4ef

• Use deque structure (Seq) to store inactive nodes

  fsestini

  committed
  96c912a

  Copy full SHA for 96c912a

• Add some tests for zsyntax-cli

  fsestini

  committed
  e645944

  Copy full SHA for e645944

Commits on Jun 3, 2023

• Add some tests for zsyntax-cli

  fsestini

  committed
  705922b

  Copy full SHA for 705922b

• Move example files under zsyntax-cli

  fsestini

  committed
  fd3916a

  Copy full SHA for fd3916a

• Use free monad to abstract UI computations

  fsestini

  committed
  11893c2

  Copy full SHA for 11893c2

• CLI: Decouple loading and parsing file functions

  fsestini

  committed
  22fd68d

  Copy full SHA for 22fd68d

• CLI: Remove redundant imports

  fsestini

  committed
  355bbd5

  Copy full SHA for 355bbd5

• Use explicit limit on iterations during Otter loop

  fsestini

  committed
  9e3d3e2

  Copy full SHA for 9e3d3e2

• fixup! Update use of search function in tests

  fsestini

  committed
  bd47446

  Copy full SHA for bd47446

• Update use of search function in tests

  fsestini

  committed
  9500128

  Copy full SHA for 9500128

• CLI: Remove incorrect use of `take` in `printWhatFound`

  fsestini

  committed
  eea6073

  Copy full SHA for eea6073

• Derive Show instance for LSequent type

  fsestini

  committed
  6c62b9c

  Copy full SHA for 6c62b9c

• Derive Show instance for Extraction type

  fsestini

  committed
  404df50

  Copy full SHA for 404df50

• Update benchmark file

  fsestini

  committed
  3fa105b

  Copy full SHA for 3fa105b

• Update CLI app to changes to library

  fsestini

  committed
  6c2b717

  Copy full SHA for 6c2b717

Commits on Jun 2, 2023

• Use richer return type from Zsyntax search

  fsestini

  committed
  7949beb

  Copy full SHA for 7949beb

• Map BioFormulas to integers during proof search

  fsestini

  committed
  28ea9d7

  Copy full SHA for 28ea9d7

Commits on May 30, 2023

• Drop DataKinds in LFormula types

  fsestini

  committed
  7065430

  Copy full SHA for 7065430

• Fix warnings

  fsestini

  committed
  5540ddf

  Copy full SHA for 5540ddf

• Add simple benchmarking

  fsestini

  committed
  f44f288

  Copy full SHA for f44f288

• Remove redundant bracket

  fsestini

  committed
  7926c49

  Copy full SHA for 7926c49

• Add simple property tests

  fsestini

  committed
  ad5c855

  Copy full SHA for ad5c855

Commits on May 25, 2023

• Update zsyntax-cli package description.

  fsestini

  committed
  e8a8354

  Copy full SHA for e8a8354

• zsyntax-cli: update version bounds of dependencies

  fsestini

  committed
  2c4b6c1

  Copy full SHA for 2c4b6c1

Commits on Apr 15, 2023

• Bump bounds in zsyntax-cli

  fsestini

  committed
  ee1709c

  Copy full SHA for ee1709c

• Bump package bounds

  fsestini

  committed
  4876630

  Copy full SHA for 4876630

Commits on Jan 7, 2019

• Merge pull request #1 from fsestini/develop

  Show description for 761a4e4
  fsestini

  authored
  761a4e4

  Copy full SHA for 761a4e4

Commits on Nov 12, 2018

• Tweak README

  fsestini

  authored
  402330f

  Copy full SHA for 402330f

• zsyntax-cli: Implement LoadFile command

  fsestini

  committed
  b0541f9

  Copy full SHA for b0541f9

• zsyntax-cli: Add README

  fsestini

  committed
  b35c853

  Copy full SHA for b35c853

• Remove Makefile

  fsestini

  committed
  e759a4f

  Copy full SHA for e759a4f

• zsyntax-cli: reindent

  fsestini

  committed
  eb0a474

  Copy full SHA for eb0a474