Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 27, 2024

• fix(setup.sh): first check for binaries, then do cleanup

  W95Psp

  committed
  37fee7a

• fix(setup.sh): clean: use opam, not dune

  W95Psp

  committed
  62366a4

• feat(setup.sh): add --help message

  W95Psp

  committed
  c297dc5

• feat(setup.sh): cleanup cargo & dune by default, add a --no-cleanup flag

  W95Psp

  committed
  1dc71b0

• misc(setup.sh): rebuild.sh -> just build

  W95Psp

  committed
  3159397

Commits on Apr 24, 2024

• feat(setup/rebuild): use OPAMs prefix if possible

  W95Psp

  committed
  a771ecd

Commits on Feb 13, 2024

• fix(cli/setup.sh): cargo install: use locked dependencies

  W95Psp

  committed
  4f91775

Commits on Jan 15, 2024

• feat(engine): generalize names.rs into a crate

  Show description for 7825ea9
  W95Psp

  committed
  7825ea9

Commits on Jan 7, 2024

• remove some leftover hacspec-v2 strings

  franziskuskiefer

  committed
  1e9ff20

Commits on Jan 4, 2024

• feat(install): check NodeJS version

  Show description for d3d97ae
  W95Psp

  committed
  d3d97ae

Commits on Aug 18, 2023

• Update setup.sh

  franziskuskiefer

  authored
  d7cfb78

• allow setting -j in setup and uninstall before installing

  franziskuskiefer

  committed
  2c5e740

Commits on Jul 10, 2023

• setup.sh: refactor, fix #197 & adds more logs

  W95Psp

  committed
  55aac06

• setup.sh: ensure dependencies are installed

  W95Psp

  committed
  af7e88a

Commits on May 31, 2023

• Add --force flag to cargo install

  W95Psp

  committed
  f4fd7af

Commits on May 30, 2023

• Rename circus to hax

  W95Psp

  committed
  9b685d6

Commits on Apr 21, 2023

• Fix setup.sh for old Opam version (fixes #50)

  W95Psp

  committed
  9a23317

Commits on Apr 20, 2023

• Installation: use opam install

  W95Psp

  committed
  dd96145

• Separate completly cargo-circus and driver-circus in two different crates

  W95Psp

  committed
  8f538ab

Commits on Apr 15, 2023

• Merge branch 'main' into coq_backend_update

  W95Psp

  committed
  2d40fa2

Commits on Apr 13, 2023

• Getting secret_bytes macro working

  cmester0

  committed
  cd3a262

• Renaming and reoganization

  W95Psp

  committed
  997163f

Commits on Mar 16, 2023

• readme update and setup.sh

  franziskuskiefer

  committed
  d34a6a1

Loading