Commits

Branch selector

 main

User selector

tautschnig

Datepicker

All time

Commit History

Commits on Sep 24, 2024

• Update toolchain to 2024-09-20 (model-checking#3539)

  Show description for 2755592
  tautschnig

  authored
  2755592

  Copy full SHA for 2755592

Commits on Sep 23, 2024

• Update to CBMC 6.3.1 and fix auto-update script (model-checking#3537)

  Show description for 0682257
  tautschnig

  authored
  0682257

  Copy full SHA for 0682257

Commits on Aug 27, 2024

• Adjust test patterns so as not to check for trivial properties (model-checking#3464)

  Show description for d5c1b71
  tautschnig

  authored
  d5c1b71

  Copy full SHA for d5c1b71

Commits on Aug 12, 2024

• Actually apply CBMC patch (model-checking#3436)

  Show description for e2a209b
  tautschnig

  authored
  e2a209b

  Copy full SHA for e2a209b

Commits on Aug 9, 2024

• Update CBMC build instructions for Amazon Linux 2 (model-checking#3431)

  Show description for bec5fd1
  tautschnig

  authored
  bec5fd1

  Copy full SHA for bec5fd1

Commits on Aug 6, 2024

• Toolchain update: avoid Javascript interpreting git log (model-checking#3421)

  Show description for c515d66
  

  tautschnig

  and

  adpaco-aws

  authored
  c515d66

  Copy full SHA for c515d66

Commits on Aug 5, 2024

• Update toolchain to 2024-08-05 (model-checking#3416)

  Show description for 520cb3e
  tautschnig

  authored
  520cb3e

  Copy full SHA for 520cb3e

• Toolchain auto-update: fix comment posting (model-checking#3415)

  Show description for b24c01b
  tautschnig

  authored
  b24c01b

  Copy full SHA for b24c01b

Commits on Aug 2, 2024

• Enable "Auto label" for merge-queue actions (model-checking#3409)

  Show description for 550e4d4
  tautschnig

  authored
  550e4d4

  Copy full SHA for 550e4d4

• Enable sqrt* intrinsics (model-checking#3000)

  Show description for 4a92557
  tautschnig

  authored
  4a92557

  Copy full SHA for 4a92557

• Enable fma* intrinsics (model-checking#3002)

  Show description for beccc4c
  tautschnig

  authored
  beccc4c

  Copy full SHA for beccc4c

• Prepare use of GitHub merge queues (model-checking#3408)

  Show description for 24fc8aa
  

  tautschnig

  and

  feliperodri

  authored
  24fc8aa

  Copy full SHA for 24fc8aa

• Enable powif* intrinsics (model-checking#2999)

  Show description for 6ae3f00
  tautschnig

  authored
  6ae3f00

  Copy full SHA for 6ae3f00

• Enable log2*, log10* intrinsics (model-checking#3001)

  Show description for c7b315f
  tautschnig

  authored
  c7b315f

  Copy full SHA for c7b315f

Commits on Aug 1, 2024

• Remove unwind attributes that are no longer needed with CBMC v6 (model-checking#3403)

  Show description for e0141cf
  tautschnig

  authored
  e0141cf

  Copy full SHA for e0141cf

Commits on Jul 31, 2024

• Fix cbmc-nightly for macOS (model-checking#3400)

  Show description for 43d8713
  tautschnig

  authored
  43d8713

  Copy full SHA for 43d8713

• Reduce memory consumption of cell_stub.rs test (model-checking#3399)

  Show description for 7e02353
  tautschnig

  authored
  7e02353

  Copy full SHA for 7e02353

• Update to CBMC version 6.1.1 (model-checking#2995)

  Show description for e4078b4
  tautschnig

  authored
  e4078b4

  Copy full SHA for e4078b4

Commits on Jul 29, 2024

• Update the rust toolchain to nightly-2024-07-29 (model-checking#3392)

  Show description for 93b3081
  

  3 peopleauthored
  93b3081

  Copy full SHA for 93b3081

Commits on Jul 25, 2024

• Maintain test execution performance with newer CaDiCaL versions (model-checking#3381)

  Show description for abcb54e
  tautschnig

  authored
  abcb54e

  Copy full SHA for abcb54e

Commits on Jul 24, 2024

• Prepare CBMC v6+ build on Ubuntu 18.04 (model-checking#3377)

  Show description for ae3bdb2
  tautschnig

  authored
  ae3bdb2

  Copy full SHA for ae3bdb2

• compiletest: ensure extra arguments are appended at the end (model-checking#3379)

  Show description for d66f0c2
  tautschnig

  authored
  d66f0c2

  Copy full SHA for d66f0c2

• Import apply_closure into kani_core (model-checking#3375)

  Show description for 1b1a9b6
  tautschnig

  authored
  1b1a9b6

  Copy full SHA for 1b1a9b6

Commits on Jul 23, 2024

• Bump CBMC Viewer to 3.9 (model-checking#3373)

  Show description for 5a5044a
  tautschnig

  authored
  5a5044a

  Copy full SHA for 5a5044a

Commits on Jul 8, 2024

• Auto-upload macOS ARM binaries to draft release (model-checking#3320)

  Show description for 53b702d
  tautschnig

  authored
  53b702d

  Copy full SHA for 53b702d

Commits on Jun 27, 2024

• C library: declare malloc (model-checking#3296)

  Show description for 3adb262
  tautschnig

  authored
  3adb262

  Copy full SHA for 3adb262

Commits on Jun 21, 2024

• Use older pip version to remain compatible with Python 3.7 (model-checking#3279)

  Show description for cce55d4
  tautschnig

  authored
  cce55d4

  Copy full SHA for cce55d4

Commits on Jun 14, 2024

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

  Show description for 9ee1d29
  tautschnig

  authored
  9ee1d29

  Copy full SHA for 9ee1d29

Commits on Jun 12, 2024

• Remove further uses of Location::none (model-checking#3253)

  Show description for 7dad847
  tautschnig

  authored
  7dad847

  Copy full SHA for 7dad847

• Fix typed_swap for ZSTs (model-checking#3256)

  Show description for d588c01
  tautschnig

  authored
  d588c01

  Copy full SHA for d588c01

Commits on Jun 11, 2024

• Pointers-out-of-scope test no longer is "fixme" (model-checking#3252)

  Show description for b6e4972
  tautschnig

  authored
  b6e4972

  Copy full SHA for b6e4972

• Update the rust toolchain to nightly-2024-06-11 (model-checking#3225)

  Show description for e922d73
  tautschnig

  authored
  e922d73

  Copy full SHA for e922d73

Commits on Jun 10, 2024

• Use cfg=kani_host for host crates (model-checking#3244)

  Show description for d4a3f7b
  tautschnig

  authored
  d4a3f7b

  Copy full SHA for d4a3f7b

Commits on Jun 8, 2024

• Do not turn trivially diverging loops into assume(false) (model-checking#3223)

  Show description for adc1f0d
  tautschnig

  authored
  adc1f0d

  Copy full SHA for adc1f0d

Commits on Jun 4, 2024

• Bump Kani version to 0.52.0 (model-checking#3224)

  Show description for 358ade9
  tautschnig

  authored
  358ade9

  Copy full SHA for 358ade9

Pagination

Previous

Next