Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 27, 2023

• Rename static-link-z3 to bundled.

  Show description for cfe3dd6
  waywardmonkeys

  committed
  cfe3dd6

Commits on Oct 26, 2023

• ci: Run tests against homebrew Z3 on macOS.

  Show description for a8a4a4f
  waywardmonkeys

  committed
  a8a4a4f

Commits on Oct 25, 2023

• ci: Enable vcpkg build on Linux.

  waywardmonkeys

  committed
  653ebde

• ci: Enable vcpkg build on macOS.

  waywardmonkeys

  committed
  28d913e

Commits on Oct 24, 2023

• Always use num, remove arbitrary-size-numeral feature.

  Show description for 6527daa
  waywardmonkeys

  committed
  6527daa

Commits on Oct 23, 2023

• Improve CI speed.

  Show description for 1335297
  waywardmonkeys

  committed
  1335297

• ci: Run clippy on macOS against brew z3.

  Show description for 105b743
  waywardmonkeys

  committed
  105b743

Commits on Oct 22, 2023

• ci: Update to actions/checkout@v4 more.

  waywardmonkeys

  committed
  27fd0da

• Add vcpkg support and corresponding CI. (prove-rs#251)

  Show description for 815a6c4
  TheVeryDarkness

  authored
  815a6c4

Commits on Oct 18, 2023

• ci: Update to actions/checkout@v4.

  waywardmonkeys

  committed
  be622c4

Commits on Jul 23, 2023

• ci: Add formatting check.

  waywardmonkeys

  committed
  471d361

Commits on Jul 20, 2023

• ci: Update to actions/checkout@v2.

  waywardmonkeys

  committed
  940b3c1

Commits on Apr 5, 2023

• Use workspaces and clippy in workflow

  Show description for a16da06
  

  Pat-Lafon

  authored and

  waywardmonkeys

  committed
  a16da06

Commits on Feb 22, 2023

• Fix ci for wasm build (prove-rs#218)

  Show description for 93a7525
  HKalbasi

  authored
  93a7525

Commits on Dec 15, 2022

• Make it buildable for wasm with emscripten

  

  HKalbasi

  authored and

  waywardmonkeys

  committed
  749372f

Commits on Jul 27, 2022

• Deny warnings in CI

  

  SeeSpring

  authored and

  waywardmonkeys

  committed
  bb57297

Commits on Jan 21, 2022

• Fixes to CI

  Show description for a1d9bfb
  

  SeeSpring

  authored and

  sameer

  committed
  a1d9bfb

Commits on Apr 8, 2021

• z3-sys: automate enum generation via bindgen

  Show description for d0fc517
  sameer

  committed
  d0fc517

Commits on Jun 29, 2020

• CI: Test the arbitrary-size-numeral feature in CI

  fitzgen

  committed
  c0c4199

Commits on May 12, 2020

• ci: Build with very verbose flags

  fitzgen

  committed
  cfd1eb9

• ci: Also test static-linking builds on macOS and Windows

  Show description for a78dcae
  fitzgen

  committed
  a78dcae

Commits on Apr 8, 2020

• CI: ignore linker errors from Ubuntu's system Z3 missing symbols

  fitzgen

  committed
  eea2723

• Install Z3 on the CI machine

  fitzgen

  authored
  11e8df7

• Make sure to check out submodules in CI

  fitzgen

  authored
  ab9d474

• Create github actions CI

  fitzgen

  authored
  9b2d066

Commits on Sep 24, 2019

• Remove GitHub action until I make it work.

  waywardmonkeys

  committed
  9f7f766

• Add initial GitHub action.

  waywardmonkeys

  authored
  24a2b05

Loading