Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 28, 2024

• [skip py] Update @yowasp/runtime.

  whitequark

  committedJun 28, 2024
  a7be4e9

Commits on May 18, 2024

• Update to wasi-sdk-22.0.

  whitequark

  committedMay 18, 2024
  43dea17

Commits on Mar 8, 2024

• Use minisat instead of picosat as SAT backend.

  cr1901

  authoredMar 8, 2024
  1e00286

Commits on Feb 9, 2024

• Update CI actions to Node 20.

  whitequark

  committedFeb 9, 2024
  a96abc0

Commits on Jan 20, 2024

• [autorelease] Build picosat with optimizations.

  whitequark

  committedJan 20, 2024
  c1deb18

• Add NPM package.

  whitequark

  committedJan 20, 2024
  5661189

• Fix reference to license in PyPI README.

  whitequark

  committedJan 20, 2024
  7c7ff8e

• Add license.

  

  cr1901

  and

  whitequark

  authoredJan 20, 2024
  b60a90d

• Fix submodule names.

  whitequark

  committedJan 20, 2024
  7cb5770

• Remove unused importlib_resources dependency.

  whitequark

  committedJan 20, 2024
  932bbd0

• Clean up pyproject.toml.

  whitequark

  committedJan 20, 2024
  9c62e2c

• Do not build executables in btor2tools.

  whitequark

  committedJan 20, 2024
  4e8b305

• Enable package publishing.

  whitequark

  committedJan 20, 2024
  70d319a

Commits on Jan 16, 2024

• Fix packaging workflow.

  cr1901

  committedJan 16, 2024
  5868a4e

• Switch from PDM to setuptools backend.

  cr1901

  committedJan 16, 2024
  73795e8

• Add packaging CI workflow.

  cr1901

  committedJan 16, 2024
  ebf1b8e

• Threading not meaningfully supported for yosys use-case.

  cr1901

  committedJan 16, 2024
  fb83e5e

• Remove pdm.lock and empty tests dir.

  cr1901

  committedJan 16, 2024
  8dd2d37

• Specify ccache as default compiler cache.

  cr1901

  committedJan 16, 2024
  8f221d7

Commits on Jan 4, 2024

• Add version info based on current boolector commit.

  cr1901

  committedJan 4, 2024
  334917e

Commits on Jan 2, 2024

• Use toolchain file to set executable suffix.

  cr1901

  committedJan 2, 2024
  3b89dcf

Commits on Jan 1, 2024

• Improve README.mds.

  cr1901

  committedJan 1, 2024
  2f21db9

• Improve README.mds.

  cr1901

  committedJan 1, 2024
  ef10533

• Add PDM Python package for boolector.wasm.

  cr1901

  committedJan 1, 2024
  fc19ccc

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

  cr1901

  committedJan 1, 2024
  fbfa582

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

  cr1901

  committedJan 1, 2024
  6bbd507

• Initial commit.

  cr1901

  committedJan 1, 2024
  ff4b444