Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on May 1, 2019

• Update README.md

  ixjf

  authored
  e35ce7d

  Copy full SHA for e35ce7d

• Update README.md

  ixjf

  authored
  00295a3

  Copy full SHA for 00295a3

Commits on Feb 20, 2019

• Update README.md

  ixjf

  authored
  d2d36d8

  Copy full SHA for d2d36d8

• Update README.md

  ixjf

  authored
  b84889f

  Copy full SHA for b84889f

Commits on Feb 19, 2019

• Update README.md

  ixjf

  authored
  05ccb87

  Copy full SHA for 05ccb87

• Update README.md

  ixjf

  authored
  fd6306d

  Copy full SHA for fd6306d

Commits on Feb 17, 2019

• Update .travis.yml

  ixjf

  authored
  d453e2d

  Copy full SHA for d453e2d

• Update .travis.yml

  ixjf

  authored
  f2a3f43

  Copy full SHA for f2a3f43

• Update .travis.yml

  ixjf

  authored
  c7bd0cb

  Copy full SHA for c7bd0cb

• Update Cargo.toml

  ixjf

  authored
  798a0af

  Copy full SHA for 798a0af

• Update README.md

  ixjf

  authored
  4938369

  Copy full SHA for 4938369

• Update README

  ixjf

  authored
  0b2a38e

  Copy full SHA for 0b2a38e

• Add more details to the README, making it also clear that the library is mainly for powering the website, but can be used independently

  ixjf

  committed
  a4c1a1e

  Copy full SHA for a4c1a1e

Commits on Feb 16, 2019

• Fix mutation within non-mutable self method

  ixjf

  committed
  6b3a599

  Copy full SHA for 6b3a599

• Enable 'serde_support' feature testing by Travis CI

  ixjf

  committed
  b603330

  Copy full SHA for b603330

• Fix broken kcov code for CI

  ixjf

  committed
  fba9b3a

  Copy full SHA for fba9b3a

• Add CI badges to Cargo

  Show description for 4717e92
  ixjf

  committed
  4717e92

  Copy full SHA for 4717e92

• Fix id_tree/serde_support being requested even when 'serde_support' feature was disabledClear up the docs & fix consistencyRename 'BranchImmediateChildrenIdsIter' to 'BranchDirectDescendantsIdsIter…

  Show description for 701d35c
  ixjf

  committed
  701d35c

  Copy full SHA for 701d35c

• Fix snowflake/serde_support always being required even if serde_support was not enabled

  Show description for 472c576
  ixjf

  committed
  472c576

  Copy full SHA for 472c576

Commits on Feb 15, 2019

• Add cargo to cache

  Show description for 57c23b5
  ixjf

  committed
  57c23b5

  Copy full SHA for 57c23b5

• Add Travis CI integration

  ixjf

  committed
  51daf7c

  Copy full SHA for 51daf7c

• Fix derivation ID index not being reset when adding statements to a different branch

  ixjf

  committed
  8fd57be

  Copy full SHA for 8fd57be

• Rename 'QueueNode' to 'QueueEntry'

  ixjf

  committed
  7c61bcc

  Copy full SHA for 7c61bcc

Commits on Feb 14, 2019

• Change order of quantifier rules in order to guarantee that infinite trees only appear if a set of statements is satisfiable

  ixjf

  committed
  aa7a37d

  Copy full SHA for aa7a37d

• Add code to rename rules in parser errors

  ixjf

  committed
  4c00e9c

  Copy full SHA for 4c00e9c

Commits on Feb 11, 2019

• Hopeful fix for obnoxious infinite loop (again!)

  ixjf

  committed
  6e880df

  Copy full SHA for 6e880df

Commits on Feb 10, 2019

• Add 'index' ID to DerivationId to identify statements from the same derivation on the same 'line' (i.e. results add new branches, all root nodes of these new branches have same index; results add t…

  Show description for 4622b22
  ixjf

  committed
  4622b22

  Copy full SHA for 4622b22

Commits on Feb 8, 2019

• Add DerivationId to BranchNode's derived_from to identify two nodes that result from the same derivation of a statement (i.e. application of ONE rule ONE time that results in multiple statements)

  ixjf

  committed
  7b9ccc0

  Copy full SHA for 7b9ccc0

• Fix all queue nodes failed_last state not being invalidated when some rule is applied successfully

  ixjf

  committed
  f4945ff

  Copy full SHA for f4945ff

• Fix rules being applied to the branch where the statement was created, and not to every open branch

  ixjf

  committed
  98c3a52

  Copy full SHA for 98c3a52

Commits on Feb 7, 2019

• Fix truth tree algorithm not handling _some_ potential infinite loops (it still doesn't recognize when you're stuck in a cycle of EQ -> UQ -> EQ)

  ixjf

  committed
  ab74485

  Copy full SHA for ab74485

• Fix parser mutating reference to variable stack outside of the scope it was in

  Show description for 4b55692
  ixjf

  committed
  4b55692

  Copy full SHA for 4b55692

• Change truth tree algorithm to only instantiate UQ rule to one singular term per apply call. Instead of applying to all 'available' singular terms, the function only applies to one and tells the qu…

  Show description for 38c1422
  ixjf

  committed
  38c1422

  Copy full SHA for 38c1422

• Another fix for serialization output

  ixjf

  committed
  bfb7581

  Copy full SHA for bfb7581

• Fix mistake in serialized output for truth tree

  ixjf

  committed
  74d7478

  Copy full SHA for 74d7478