Commits

Branch selector

 20ee9e8

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 1, 2022

• CONTRACTS: Front-end extensions for __CPROVER_frees clauses

  Show description for 20ee9e8
  

  Remi Delmas

  committed
  20ee9e8

  Copy full SHA for 20ee9e8

Commits on Aug 31, 2022

• CONTRACTS: Front-end extensions for assigns clauses

  Show description for 6e1617a
  

  Remi Delmas

  committed
  6e1617a

  Copy full SHA for 6e1617a

• Mark tests THOROUGH (they require more memory than may be available on some GitHub runners)

  

  Remi Delmas

  committed
  a76ebe9

  Copy full SHA for a76ebe9

Commits on Aug 30, 2022

• Merge pull request #7082 from remi-delmas-3000/function-pointer-obeys-contract-exprt-improvements

  Show description for 175a609
  remi-delmas-3000

  authored
  175a609

  Copy full SHA for 175a609

• Merge pull request #7085 from remi-delmas-3000/search-dirty-symbols-other

  Show description for e448fd4
  remi-delmas-3000

  authored
  e448fd4

  Copy full SHA for e448fd4

• Merge pull request #7084 from remi-delmas-3000/make-contracts-methods-public

  Show description for 18b1c9c
  remi-delmas-3000

  authored
  18b1c9c

  Copy full SHA for 18b1c9c

Commits on Aug 25, 2022

• CONTRACTS: look for dirty symbols in `OTHER` instructions.

  Show description for f4d92f2
  

  Remi Delmas

  committed
  f4d92f2

  Copy full SHA for f4d92f2

• CONTRACTS: make `contracts.h` methods public.

  Show description for a4d33ee
  

  Remi Delmas

  committed
  a4d33ee

  Copy full SHA for a4d33ee

• CONTRACTS: Convenience updates for `function_pointer_obeys_contract_exprt`.

  Show description for 7386758
  

  Remi Delmas

  committed
  7386758

  Copy full SHA for 7386758

Commits on Aug 23, 2022

• Merge pull request #7079 from esteffin/esteffin/array-of-exprt

  Show description for 585039a
  

  Enrico Steffinlongo

  authored
  585039a

  Copy full SHA for 585039a

• Add newer z3 version on ubuntu 18.04 github action

  

  Enrico Steffinlongo

  committed
  4f070cd

  Copy full SHA for 4f070cd

• Add array_of_exprt unit and regression tests

  

  Enrico Steffinlongo

  committed
  9391c7a

  Copy full SHA for 9391c7a

• Add translation of array_of_exprt to SMT2

  

  Enrico Steffinlongo

  committed
  fbb0094

  Copy full SHA for fbb0094

Commits on Aug 22, 2022

• Add missing REQUIRE statement to array_exprt test

  

  Enrico Steffinlongo

  committed
  07e4b6e

  Copy full SHA for 07e4b6e

Commits on Aug 19, 2022

• Merge pull request #7060 from padhi-aws-forks/history-vars-fix

  Show description for 5c83574
  SaswatPadhi

  authored
  5c83574

  Copy full SHA for 5c83574

• check history variable parameter when compiling

  SaswatPadhi

  committed
  87a8ddb

  Copy full SHA for 87a8ddb

• allow `ID_index` expressions in history variables

  SaswatPadhi

  committed
  bed5090

  Copy full SHA for bed5090

Commits on Aug 18, 2022

• Merge pull request #7075 from TGWDB/release-20220818

  Show description for 8fbba35
  TGWDB

  authored
  8fbba35

  Copy full SHA for 8fbba35

• Bump version number

  TGWDB

  committed
  12fae74

  Copy full SHA for 12fae74

Commits on Aug 17, 2022

• Merge pull request #7037 from nwetzler/contract-coverage

  Show description for 8756346
  jimgrundy

  authored
  8756346

  Copy full SHA for 8756346

• Merge pull request #7051 from diffblue/shortcircuit2

  Show description for acb58e7
  kroening

  authored
  acb58e7

  Copy full SHA for acb58e7

Commits on Aug 16, 2022

• CONTRACTS: Populate function name in source locations

  Show description for 83abf73
  

  Nathan Wetzler

  committed
  83abf73

  Copy full SHA for 83abf73

Commits on Aug 15, 2022

• Merge pull request #7007 from Herbping/loop_invariant_synthesis

  Show description for 23045d1
  feliperodri

  authored
  23045d1

  Copy full SHA for 23045d1

• loop-invariant-synthesizer interface

  qinheping

  committed
  948994a

  Copy full SHA for 948994a

• Merge pull request #7061 from diffblue/esteffin/nondet-symbol-to-new-SMT2

  Show description for b7ada58
  

  Enrico Steffinlongo

  authored
  b7ada58

  Copy full SHA for b7ada58

Commits on Aug 14, 2022

• Merge pull request #7068 from tautschnig/feature/enable-compact-le-or-lt

  Show description for 43e7a55
  tautschnig

  authored
  43e7a55

  Copy full SHA for 43e7a55

• Enable compact less-than propositional encoding

  Show description for 3cd6348
  tautschnig

  committed
  3cd6348

  Copy full SHA for 3cd6348

Commits on Aug 13, 2022

• Merge pull request #7029 from tautschnig/cleanup/object_size

  Show description for 33f3d13
  tautschnig

  authored
  33f3d13

  Copy full SHA for 33f3d13

• Merge pull request #7024 from tautschnig/bugfixes/value_set-shift

  Show description for a2fe314
  tautschnig

  authored
  a2fe314

  Copy full SHA for a2fe314

Commits on Aug 12, 2022

• Add unit/regression tests for nondet_symbol SMT2

  Show description for 0851c80
  

  Enrico Steffinlongo

  committed
  0851c80

  Copy full SHA for 0851c80

• Add SMT2 backend support for nondet_symbol_exprt

  

  Enrico Steffinlongo

  committed
  85d20eb

  Copy full SHA for 85d20eb

• Merge pull request #7055 from NlightNFotis/CI_slack_notif

  Show description for aaa4774
  NlightNFotis

  authored
  aaa4774

  Copy full SHA for aaa4774

• Merge pull request #6917 from tautschnig/feature/complete-help

  Show description for 9e0aac9
  tautschnig

  authored
  9e0aac9

  Copy full SHA for 9e0aac9

• Optimise propositional encoding of object_size

  Show description for 900e793
  tautschnig

  committed
  900e793

  Copy full SHA for 900e793

• Check completeness of help output in CI

  Show description for 880725c
  tautschnig

  committed
  880725c

  Copy full SHA for 880725c

Pagination

Previous

Next