Commits

Breadcrumbs

History for

ondevelop

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 28, 2024

• Build release packages for Ubuntu 24.04

  Show description for 2d5ca70
  tautschnig

  committed
  2d5ca70

Commits on Nov 18, 2024

• Bump codecov/codecov-action from 4 to 5

  Show description for 815c24f
  dependabot[bot]

  authored
  815c24f

Commits on Oct 22, 2024

• Remove macos-12 CI job

  Show description for d05d429
  tautschnig

  committed
  d05d429

• CI: add macos-14 (macOS on M1) job

  Show description for 075319d
  tautschnig

  committed
  075319d

Commits on Jul 24, 2024

• Merge pull request #8383 from tautschnig/upgrade-cvc5

  Show description for bf58af8
  tautschnig

  authored
  bf58af8

• Enable higher verbosity for benchmarking

  Show description for 16a5e31
  tautschnig

  committed
  16a5e31

Commits on Jul 15, 2024

• CI jobs: upgrade CVC5 from 1.0.0 to 1.1.2

  Show description for 3e38d2c
  tautschnig

  committed
  3e38d2c

Commits on Jul 10, 2024

• Merge pull request #8368 from tautschnig/gcc-14-compat

  Show description for 40572a1
  tautschnig

  authored
  40572a1

Commits on Jul 9, 2024

• Merge pull request #8339 from tautschnig/codecov-multiple-platforms

  Show description for 324565d
  tautschnig

  authored
  324565d

• Merge pull request #8341 from tautschnig/update-homebrew-action

  Show description for 8d3c22a
  tautschnig

  authored
  8d3c22a

Commits on Jul 5, 2024

• Add support for building with GCC 14

  Show description for 560a588
  tautschnig

  committed
  560a588

Commits on Jul 1, 2024

• Sign the MSI installer using the new HSM-backed certificate in the Azure Key Vault

  Show description for 7460da8
  JohnLBergqvist

  committed
  7460da8

Commits on Jun 21, 2024

• Use 4 vCPUs for running coverage-recording tests

  Show description for 7cb9ed2
  tautschnig

  committed
  7cb9ed2

• Move coverage CI spec to separate file

  Show description for 3e5e423
  tautschnig

  committed
  3e5e423

Commits on Jun 20, 2024

• Merge pull request #8340 from tautschnig/fix-homebrew-ci

  Show description for f33d8ea
  tautschnig

  authored
  f33d8ea

Commits on Jun 19, 2024

• Increase Windows/clcache size to 2 GB

  Show description for 45f882f
  tautschnig

  committed
  45f882f

• Use GNU parallel in Windows CI job

  Show description for 7b4da6c
  tautschnig

  committed
  7b4da6c

Commits on Jun 18, 2024

• Bump Homebrew/git-user-config version to avoid deprecation warnings

  Show description for f6f4ce8
  tautschnig

  committed
  f6f4ce8

• homebrew-pr CI notification: install go

  Show description for 791e2ff
  tautschnig

  committed
  791e2ff

Commits on Jun 17, 2024

• Avoid brew symlink conflict in macos-13

  Show description for 97e615f
  tautschnig

  committed
  97e615f

• Update job execution times

  Show description for 8904113
  tautschnig

  committed
  8904113

• GitHub CI: Move number of Linux/Windows vCPUs to config variable

  Show description for 90f01b5
  tautschnig

  committed
  90f01b5

• Use all 4 vCPUs on GitHub-hosted runners

  Show description for 55e5bdf
  tautschnig

  committed
  55e5bdf

• Switch GitHub CI jobs from macos-11 to macos-13

  Show description for 4eadc8a
  tautschnig

  committed
  4eadc8a

Commits on Jun 13, 2024

• Merge pull request #8320 from tautschnig/bugfixes/gcc-13-job

  Show description for 0a0879f
  kroening

  authored
  0a0879f

Commits on Jun 11, 2024

• Fix typos in release workflow

  Show description for 7aaa886
  tautschnig

  committed
  7aaa886

• Move GCC-13 CI job to Ubuntu 24.04

  Show description for add09e9
  tautschnig

  committed
  add09e9

Commits on Apr 23, 2024

• Merge pull request #8183 from diffblue/dependabot/github_actions/codecov/codecov-action-4

  Show description for 1ed7b2f
  tautschnig

  authored
  1ed7b2f

Commits on Mar 22, 2024

• Simplify benchcomp configuration with new variables feature

  Show description for b8f78a0
  tautschnig

  committed
  b8f78a0

• Move benchcomp YAML file to avoid spurious GitHub errors

  Show description for 5453654
  tautschnig

  committed
  5453654

Commits on Mar 20, 2024

• Run performance comparison in CI using Kani's Benchcomp

  Show description for ddb4060
  

  tautschnig

  and

  karkhaz

  committed
  ddb4060

Commits on Mar 19, 2024

• Support length modifiers in printf formatting

  Show description for 00ae5a8
  tautschnig

  committed
  00ae5a8

Commits on Feb 8, 2024

• Merge pull request #7932 from tautschnig/cleanup/asm-library

  Show description for c81a6a6
  tautschnig

  authored
  c81a6a6

Commits on Feb 5, 2024

• Bump microsoft/setup-msbuild from 1 to 2

  Show description for 592bbb9
  dependabot[bot]

  authored
  592bbb9

• Bump codecov/codecov-action from 3 to 4

  Show description for 44d9035
  dependabot[bot]

  authored
  44d9035

Pagination

PreviousNext