Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 28, 2024

• [skip py] Update @yowasp/runtime.

  whitequark

  committed
  a7be4e9

  Copy full SHA for a7be4e9

Commits on May 18, 2024

• Update to wasi-sdk-22.0.

  whitequark

  committed
  43dea17

  Copy full SHA for 43dea17

Commits on Mar 8, 2024

• Use minisat instead of picosat as SAT backend.

  Show description for 1e00286
  cr1901

  authored
  1e00286

  Copy full SHA for 1e00286

Commits on Feb 9, 2024

• Update CI actions to Node 20.

  whitequark

  committed
  a96abc0

  Copy full SHA for a96abc0

Commits on Jan 20, 2024

• [autorelease] Build picosat with optimizations.

  whitequark

  committed
  c1deb18

  Copy full SHA for c1deb18

• Add NPM package.

  whitequark

  committed
  5661189

  Copy full SHA for 5661189

• Fix reference to license in PyPI README.

  whitequark

  committed
  7c7ff8e

  Copy full SHA for 7c7ff8e

• Add license.

  Show description for b60a90d
  

  cr1901

  and

  whitequark

  authored
  b60a90d

  Copy full SHA for b60a90d

• Fix submodule names.

  whitequark

  committed
  7cb5770

  Copy full SHA for 7cb5770

• Remove unused importlib_resources dependency.

  whitequark

  committed
  932bbd0

  Copy full SHA for 932bbd0

• Clean up pyproject.toml.

  whitequark

  committed
  9c62e2c

  Copy full SHA for 9c62e2c

• Do not build executables in btor2tools.

  Show description for 4e8b305
  whitequark

  committed
  4e8b305

  Copy full SHA for 4e8b305

• Enable package publishing.

  whitequark

  committed
  70d319a

  Copy full SHA for 70d319a

Commits on Jan 16, 2024

• Fix packaging workflow.

  cr1901

  committed
  5868a4e

  Copy full SHA for 5868a4e

• Switch from PDM to setuptools backend.

  cr1901

  committed
  73795e8

  Copy full SHA for 73795e8

• Add packaging CI workflow.

  cr1901

  committed
  ebf1b8e

  Copy full SHA for ebf1b8e

• Threading not meaningfully supported for yosys use-case.

  cr1901

  committed
  fb83e5e

  Copy full SHA for fb83e5e

• Remove pdm.lock and empty tests dir.

  cr1901

  committed
  8dd2d37

  Copy full SHA for 8dd2d37

• Specify ccache as default compiler cache.

  cr1901

  committed
  8f221d7

  Copy full SHA for 8f221d7

Commits on Jan 4, 2024

• Add version info based on current boolector commit.

  cr1901

  committed
  334917e

  Copy full SHA for 334917e

Commits on Jan 2, 2024

• Use toolchain file to set executable suffix.

  cr1901

  committed
  3b89dcf

  Copy full SHA for 3b89dcf

Commits on Jan 1, 2024

• Improve README.mds.

  cr1901

  committed
  2f21db9

  Copy full SHA for 2f21db9

• Improve README.mds.

  cr1901

  committed
  ef10533

  Copy full SHA for ef10533

• Add PDM Python package for boolector.wasm.

  cr1901

  committed
  fc19ccc

  Copy full SHA for fc19ccc

• Add .wasm suffix to boolector, provide patches to source.

  cr1901

  committed
  fbfa582

  Copy full SHA for fbfa582

• Minimal commit where things work (minus modifications to submodules).

  cr1901

  committed
  6bbd507

  Copy full SHA for 6bbd507

• Initial commit.

  cr1901

  committed
  ff4b444

  Copy full SHA for ff4b444