Code

Davis-Putnam Mode#87

Code

Open

jssunray34 wants to merge 62 commits intomasterBram-Hub/Willow:masterfrom tautology_dpBram-Hub/Willow:tautology_dpCopy head branch name to clipboard

+1,689-1,550

Commits

Commits on Mar 27, 2023

• add ⊤ and ⊥

  Show description for d75a851
  

  jeninyg

  and

  jssunray34

  committed
  d75a851

  Copy full SHA for d75a851

• Validate tautology

  jssunray34

  committed
  6a510a3

  Copy full SHA for 6a510a3

Commits on Apr 2, 2023

• Create new modifyDecomposition and add call to validateReduction

  Show description for aca67bc
  

  jssunray34

  and

  jeninyg

  committed
  aca67bc

  Copy full SHA for aca67bc

• Fix undefined error

  Show description for c5b800c
  

  jssunray34

  and

  jeninyg

  committed
  c5b800c

  Copy full SHA for c5b800c

• Add reduction rule tests

  Show description for 2c8523c
  

  jssunray34

  and

  jeninyg

  committed
  2c8523c

  Copy full SHA for 2c8523c

• Handle result of validation

  Show description for 036853f
  

  jssunray34

  and

  jeninyg

  committed
  036853f

  Copy full SHA for 036853f

• add support for DP validator + reducer

  Show description for 4db7430
  

  jeninyg

  and

  jssunray34

  committed
  4db7430

  Copy full SHA for 4db7430

Commits on Apr 3, 2023

• Add absorption check

  Show description for d867fc2
  

  jssunray34

  and

  jeninyg

  committed
  d867fc2

  Copy full SHA for d867fc2

• return reduced statement if no base checks passes

  Show description for ac01341
  

  jeninyg

  and

  jssunray34

  committed
  ac01341

  Copy full SHA for ac01341

Commits on Apr 4, 2023

• Merge branch 'tautology_dp' into DP_complex_reducer

  jeninyg

  committed
  eef29d7

  Copy full SHA for eef29d7

• prettier

  Show description for 4981043
  

  jeninyg

  and

  jssunray34

  committed
  4981043

  Copy full SHA for 4981043

Commits on Apr 6, 2023

• add Modes to nav bar

  mduboef

  committed
  91855d0

  Copy full SHA for 91855d0

• Merge pull request #84 from Bram-Hub/Mason-Toggle

  Show description for 42be310
  mduboef

  authored
  42be310

  Copy full SHA for 42be310

• update .gitignore

  Show description for 0615d32
  

  jeninyg

  and

  jssunray34

  committed
  0615d32

  Copy full SHA for 0615d32

Commits on Apr 8, 2023

• Add antecedents and decomposition to tree nodes

  Show description for 8b0884b
  

  jssunray34

  and

  jeninyg

  committed
  8b0884b

  Copy full SHA for 8b0884b

Commits on Apr 9, 2023

• isReduced check start

  Show description for f2b5555
  

  jeninyg

  and

  jssunray34

  committed
  f2b5555

  Copy full SHA for f2b5555

• Add support for taut/con

  jssunray34

  committed
  aa97eba

  Copy full SHA for aa97eba

• isDecomposed()

  Show description for ed84a24
  

  jeninyg

  and

  jssunray34

  committed
  ed84a24

  Copy full SHA for ed84a24

Commits on Apr 10, 2023

• isDecomposed

  Show description for 35d8265
  

  jeninyg

  and

  jssunray34

  committed
  35d8265

  Copy full SHA for 35d8265

• Get tautology check to work

  Show description for fd766b5
  

  jssunray34

  and

  jeninyg

  committed
  fd766b5

  Copy full SHA for fd766b5

• debug

  Show description for 779d023
  

  jeninyg

  and

  jssunray34

  committed
  779d023

  Copy full SHA for 779d023

• prettier

  Show description for eef3e67
  

  jeninyg

  and

  jssunray34

  committed
  eef3e67

  Copy full SHA for eef3e67

Commits on Apr 11, 2023

• Modify and add tree node labels

  Show description for bfa50a8
  

  jssunray34

  and

  jeninyg

  committed
  bfa50a8

  Copy full SHA for bfa50a8

• Merge branch 'tautology_dp' into DP_complex_reducer

  jeninyg

  authored
  c02419e

  Copy full SHA for c02419e

• Merge pull request #83 from Bram-Hub/DP_complex_reducer

  Show description for ed75b71
  jssunray34

  authored
  ed75b71

  Copy full SHA for ed75b71

• Code cleanup

  Show description for 57eb3fc
  jssunray34

  committed
  57eb3fc

  Copy full SHA for 57eb3fc

• prettier

  jssunray34

  committed
  1b508ec

  Copy full SHA for 1b508ec

Commits on Apr 25, 2023

• Add functionality for closed terminator

  Show description for 729e8bc
  jssunray34

  committed
  729e8bc

  Copy full SHA for 729e8bc

• Create README files

  jssunray34

  committed
  f0a76e5

  Copy full SHA for f0a76e5

• Update DP_developer_guide.md

  jssunray34

  authored
  dee25ce

  Copy full SHA for dee25ce

Commits on Apr 26, 2023

• Fix check for branch literal

  Show description for 46feaa9
  jssunray34

  committed
  46feaa9

  Copy full SHA for 46feaa9

• Fix test suite

  jssunray34

  committed
  0c69c2c

  Copy full SHA for 0c69c2c

• Clean up code/remove extraneous comments/add comments

  jssunray34

  committed
  d91c9eb

  Copy full SHA for d91c9eb

• Remove debug prints

  jssunray34

  committed
  242482a

  Copy full SHA for 242482a

• Fix branch literal check

  jssunray34

  committed
  578b224

  Copy full SHA for 578b224

• Update decomposition text

  Show description for 77f64c4
  jssunray34

  committed
  77f64c4

  Copy full SHA for 77f64c4

• Code cleanup

  jssunray34

  committed
  661d774

  Copy full SHA for 661d774

• prettier

  jssunray34

  committed
  9d54094

  Copy full SHA for 9d54094

• Update DP_developer_guide.md

  jssunray34

  authored
  c6b4593

  Copy full SHA for c6b4593

• Update README

  jssunray34

  authored
  b580623

  Copy full SHA for b580623

• Update README

  jssunray34

  authored
  bb457a9

  Copy full SHA for bb457a9

• Update README

  jssunray34

  authored
  00312a8

  Copy full SHA for 00312a8

• Fix typos in developer README

  jssunray34

  authored
  8bd4f5a

  Copy full SHA for 8bd4f5a

Commits on Apr 27, 2023

• Global button

  mduboef

  committed
  b106f0e

  Copy full SHA for b106f0e

• Make button global

  mduboef

  authored
  1c6fa21

  Copy full SHA for 1c6fa21

• Merge pull request #85 from Bram-Hub/closed_terminator_fix

  Show description for 6c787d7
  jssunray34

  authored
  6c787d7

  Copy full SHA for 6c787d7

• Update DP_userguide.md

  jeninyg

  authored
  011e506

  Copy full SHA for 011e506

• Button Text & tree.ts checks

  mduboef

  authored
  b6f1a02

  Copy full SHA for b6f1a02

Commits on Apr 28, 2023

• Merge branch 'tautology_dp' into Mason-Toggle

  jssunray34

  authored
  70c130e

  Copy full SHA for 70c130e

• Merge pull request #86 from Bram-Hub/Mason-Toggle

  Show description for bd76981
  jssunray34

  authored
  bd76981

  Copy full SHA for bd76981

• Enable switching between modes

  Show description for 5f192e0
  

  jssunray34

  and

  jeninyg

  committed
  5f192e0

  Copy full SHA for 5f192e0

• Add test DP trees

  Show description for af5d03c
  

  jssunray34

  and

  jeninyg

  committed
  af5d03c

  Copy full SHA for af5d03c

• Fix bug with closed terminator and highlight toggle button on hover

  Show description for 1586016
  jssunray34

  committed
  1586016

  Copy full SHA for 1586016

• Fix bug with deleting statements

  Show description for 3434faa
  jssunray34

  committed
  3434faa

  Copy full SHA for 3434faa

• Update README

  jssunray34

  authored
  811b51d

  Copy full SHA for 811b51d

• Make it truth tree mode by default

  jssunray34

  committed
  f8479fa

  Copy full SHA for f8479fa

• Merge branch 'tautology_dp' of https://github.com/Bram-Hub/Willow into tautology_dp

  jssunray34

  committed
  46dfe18

  Copy full SHA for 46dfe18

• Update README

  jssunray34

  authored
  ca5e537

  Copy full SHA for ca5e537

• Update user guide

  jssunray34

  authored
  80c86e6

  Copy full SHA for 80c86e6

• Update user guide

  jssunray34

  authored
  2e02ccf

  Copy full SHA for 2e02ccf

• Update user guide

  jssunray34

  authored
  cae7cbb

  Copy full SHA for cae7cbb

• Update developer guide

  jssunray34

  authored
  24b2e83

  Copy full SHA for 24b2e83