Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on Sep 11, 2024

• Version bump

  haz

  authored
  69a8413

  Copy full SHA for 69a8413

Commits on Sep 4, 2024

• Fixing one test case throwing a warning.

  haz

  committed
  4ad6b03

  Copy full SHA for 4ad6b03

• Removing empty test file.

  haz

  committed
  8c65c87

  Copy full SHA for 8c65c87

• Merge pull request #109 from connoralittle/main

  Show description for ab3002b
  haz

  authored
  ab3002b

  Copy full SHA for ab3002b

• Update tests/test_core.py

  haz

  authored
  2c0c0dc

  Copy full SHA for 2c0c0dc

• Update tests/test_core.py

  haz

  authored
  6e0de1f

  Copy full SHA for 6e0de1f

• Update tests/test_core.py

  haz

  authored
  6d42ee2

  Copy full SHA for 6d42ee2

• Update tests/test_core.py

  haz

  authored
  d86c5f1

  Copy full SHA for d86c5f1

• Update tests/test_core.py

  haz

  authored
  00ee5d4

  Copy full SHA for 00ee5d4

• Update tests/test_core.py

  haz

  authored
  9a947dc

  Copy full SHA for 9a947dc

• Update tests/test_core.py

  haz

  authored
  be3b898

  Copy full SHA for be3b898

• Update tests/test_core.py

  haz

  authored
  7ead1e0

  Copy full SHA for 7ead1e0

Commits on Sep 2, 2024

• user defined inits

  connoralittle

  committed
  8242e53

  Copy full SHA for 8242e53

• test-core passes

  connoralittle

  committed
  38af561

  Copy full SHA for 38af561

Commits on Aug 28, 2024

• addressed issues in code review

  connoralittle

  committed
  9d1ef6b

  Copy full SHA for 9d1ef6b

• Proposition uniqueness enforced by representation

  connoralittle

  committed
  31f0224

  Copy full SHA for 31f0224

Commits on Dec 13, 2022

• Version bump

  haz

  authored
  9d1f5e2

  Copy full SHA for 9d1f5e2

• Merge pull request #107 from QuMuLab/simplify-tautologies

  Show description for 92d3478
  haz

  authored
  92d3478

  Copy full SHA for 92d3478

• Fixing syntax.

  haz

  committed
  7dd551e

  Copy full SHA for 7dd551e

Commits on Dec 9, 2022

• Fix for the tautology bug in nnf.

  haz

  committed
  4a532ca

  Copy full SHA for 4a532ca

Commits on Jul 7, 2022

• Version bump.

  haz

  committed
  5570cbb

  Copy full SHA for 5570cbb

• Fixing classname bug.

  haz

  committed
  9915c7c

  Copy full SHA for 9915c7c

Commits on Jan 8, 2022

• Merge pull request #106 from beckydvn/fix-duplicates

  Show description for ecbfabe
  haz

  authored
  ecbfabe

  Copy full SHA for ecbfabe

• fix changes

  beckydvn

  committed
  bc2ea51

  Copy full SHA for bc2ea51

Commits on Jan 5, 2022

• add warnings and tests for them

  beckydvn

  committed
  92a1bfc

  Copy full SHA for 92a1bfc

Commits on Jan 3, 2022

• add/clean up tests

  beckydvn

  committed
  ca24361

  Copy full SHA for ca24361

• clean up tests

  beckydvn

  committed
  3dc2c17

  Copy full SHA for 3dc2c17

• add .venv to gitignore

  beckydvn

  committed
  1957db1

  Copy full SHA for 1957db1

Commits on Oct 16, 2021

• fix duplicates, remove extra negate test

  

  beckydvn

  committed
  957880f

  Copy full SHA for 957880f

Commits on Oct 8, 2021

• Version bump

  haz

  committed
  ad56897

  Copy full SHA for ad56897

• Merge pull request #105 from QuMuLab/flatten-custom

  Show description for b639ca3
  haz

  authored
  b639ca3

  Copy full SHA for b639ca3

• Do counting over the original objects (and not nnf vars)

  haz

  committed
  bd2eb54

  Copy full SHA for bd2eb54

• Flatting custom constraints.

  haz

  committed
  62691ba

  Copy full SHA for 62691ba

Commits on Oct 7, 2021

• Merge pull request #104 from beckydvn/update-for-modelling-project

  Show description for 9a17e99
  haz

  authored
  9a17e99

  Copy full SHA for 9a17e99

• Update bauhaus/core.py

  haz

  authored
  226bc4f

  Copy full SHA for 226bc4f

Pagination

Previous

Next