Commits

Breadcrumbs

History for

on6e6f4ea

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 5, 2024

• Setup/CI: cleanup Ubuntu 18.04 and cbmc-viewer left-overs and enable 24.04 (#3758)

  Show description for 6d621ea
  tautschnig

  authored
  6d621ea

  Copy full SHA for 6d621ea

Commits on Nov 8, 2024

• Remove symtab json support (#3695)

  Show description for 029ad88
  celinval

  authored
  029ad88

  Copy full SHA for 029ad88

Commits on Oct 8, 2024

• Add an LLBC backend (#3514)

  Show description for e7ab090
  zhassan-aws

  authored
  e7ab090

  Copy full SHA for e7ab090

Commits on Aug 2, 2024

• Prepare use of GitHub merge queues (#3408)

  Show description for 24fc8aa
  

  tautschnig

  and

  feliperodri

  authored
  24fc8aa

  Copy full SHA for 24fc8aa

Commits on Jun 14, 2024

• Use GitHub's M1 macOS runner (#3266)

  Show description for 9ee1d29
  tautschnig

  authored
  9ee1d29

  Copy full SHA for 9ee1d29

Commits on Apr 5, 2024

• Remove unnecessary build step for some workflows (#3124)

  Show description for 5131258
  zhassan-aws

  authored
  5131258

  Copy full SHA for 5131258

• Remove bookrunner (#3123)

  Show description for 36bf7c8
  tautschnig

  authored
  36bf7c8

  Copy full SHA for 36bf7c8

Commits on Jan 31, 2024

• Switch MacOS CI jobs to macos-13 (#2987)

  Show description for 71c8aca
  tautschnig

  authored
  71c8aca

  Copy full SHA for 71c8aca

Commits on Dec 9, 2023

• Bump actions/checkout from 3 to 4 (#2918)

  Show description for 9e2b335
  dependabot[bot]

  authored
  9e2b335

  Copy full SHA for 9e2b335

Commits on Oct 27, 2023

• Unify Kani bundle CI jobs (#2841)

  Show description for 81ec454
  

  celinval

  and

  zhassan-aws

  authored
  81ec454

  Copy full SHA for 81ec454

Commits on Oct 25, 2023

• Update our CI to run on MacOS 12 instead of 11 (#2828)

  Show description for 05c98b3
  celinval

  authored
  05c98b3

  Copy full SHA for 05c98b3

Commits on Aug 23, 2023

• Free up disk space (again) (#2704)

  tautschnig

  authored
  888847b

  Copy full SHA for 888847b

Commits on Aug 4, 2023

• Change default solver to CaDiCal (#2654)

  Show description for 952d324
  

  celinval

  and

  zhassan-aws

  authored
  952d324

  Copy full SHA for 952d324

Commits on Jul 14, 2023

• Do not run benchcomp in every PR (#2604)

  Show description for ab32ccc
  celinval

  authored
  ab32ccc

  Copy full SHA for ab32ccc

Commits on Jun 26, 2023

• Install doc dependencies before building (#2564)

  Show description for 987c9ce
  karkhaz

  authored
  987c9ce

  Copy full SHA for 987c9ce

Commits on May 17, 2023

• Fix symtab json file removal and reduce regression scope (#2447)

  Show description for 3d05d3f
  celinval

  authored
  3d05d3f

  Copy full SHA for 3d05d3f

Commits on May 4, 2023

• Use same perf tests for benchcomp in CI (#2429)

  Show description for 8e6267d
  

  qinheping

  and

  zhassan-aws

  authored
  8e6267d

  Copy full SHA for 8e6267d

Commits on Apr 27, 2023

• Add markdown_results_table benchcomp visualization (#2413)

  Show description for d045764
  karkhaz

  authored
  d045764

  Copy full SHA for d045764

• Make bookrunner job use latest pages-deploy-action (#2411)

  tautschnig

  authored
  f80a8ab

  Copy full SHA for f80a8ab

Commits on Apr 19, 2023

• Run benchcomp unit and regression tests in CI (#2382)

  Show description for 588baf0
  karkhaz

  authored
  588baf0

  Copy full SHA for 588baf0

Commits on Apr 17, 2023

• Add performance regression comparison in CI (#2370)

  Show description for 00c19e2
  karkhaz

  authored
  00c19e2

  Copy full SHA for 00c19e2

Commits on Apr 13, 2023

• Remove experimental unsound features (#2372)

  Show description for 87e3b15
  celinval

  authored
  87e3b15

  Copy full SHA for 87e3b15

Commits on Apr 1, 2023

• Build in Ubuntu 18.04 container in 20.04 image

  Show description for 8d7f501
  karkhaz

  committed
  8d7f501

  Copy full SHA for 8d7f501

Commits on Mar 7, 2023

• Goto binary serialization (#2205)

  Show description for fca5e92
  

  remi-delmas-3000

  and

  Remi Delmas

  authored
  fca5e92

  Copy full SHA for fca5e92

Commits on Jan 21, 2023

• Include Kissat in the Kani bundle (#2087)

  zhassan-aws

  authored
  326b35e

  Copy full SHA for 326b35e

Commits on Jan 11, 2023

• Add support to ubuntu-22.04 (#2105)

  Show description for d1fb824
  celinval

  authored
  d1fb824

  Copy full SHA for d1fb824

Commits on Jan 9, 2023

• Allow custom path for installation/setup (#2089)

  adpaco-aws

  authored
  420090e

  Copy full SHA for 420090e

Commits on Dec 22, 2022

• Report bookrunner failures for each stage (#2034)

  adpaco-aws

  authored
  e854c74

  Copy full SHA for e854c74

Commits on Dec 13, 2022

• Bump actions/checkout to v3 (#1990)

  tedinski

  authored
  2511298

  Copy full SHA for 2511298

Commits on Oct 14, 2022

• Fix undefined symbol errors when rustup defaults to nightly rust (#1771)

  Show description for 79327dc
  tedinski

  authored
  79327dc

  Copy full SHA for 79327dc

Commits on Sep 27, 2022

• Build custom sysroot with --always-encode-mir on (#1717)

  Show description for 5539c0d
  celinval

  authored
  5539c0d

  Copy full SHA for 5539c0d

Commits on Sep 20, 2022

• Fix performance regressions script (#1691)

  zhassan-aws

  authored
  3fbb23b

  Copy full SHA for 3fbb23b

Commits on Sep 7, 2022

• Fix yaml identation in yaml files (#1644)

  Show description for 61c3da7
  giltho

  authored
  61c3da7

  Copy full SHA for 61c3da7

Commits on Sep 3, 2022

• Add zero-init, and put it behind an unsound feature flag (#1521)

  danielsn

  authored
  ab6a5ec

  Copy full SHA for ab6a5ec

Commits on Sep 1, 2022

• An RFC for creating an RFC process. :) (#1543)

  Show description for c32f0bc
  

  4 peopleauthored
  c32f0bc

  Copy full SHA for c32f0bc

Pagination

Previous

Next