Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 1, 2023

• Merge pull request #7567 from esteffin/esteffin/creating-public-archive-with-all-components

  Show description for b0dc2ea
  

  Enrico Steffinlongo

  authored
  b0dc2ea

  Copy full SHA for b0dc2ea

• Merge pull request #6479 from NlightNFotis/warn_unsound_flags

  Show description for 557f4bf
  NlightNFotis

  authored
  557f4bf

  Copy full SHA for 557f4bf

Commits on Feb 28, 2023

• Added comments to API library CMakeLists.txt

  

  Enrico Steffinlongo

  committed
  cf4817f

  Copy full SHA for cf4817f

• Removed unecessary dependencies from Rust API

  

  Enrico Steffinlongo

  committed
  3999157

  Copy full SHA for 3999157

• Renamed api files to avoid object-file clashes

  

  Enrico Steffinlongo

  committed
  2a48ee5

  Copy full SHA for 2a48ee5

• Aggregating all library dependencies into one

  Show description for 2cee3b1
  

  Enrico Steffinlongo

  committed
  2cee3b1

  Copy full SHA for 2cee3b1

• Added version from config.inc to cmake project

  

  Enrico Steffinlongo

  committed
  b469c26

  Copy full SHA for b469c26

• Merge pull request #7566 from diffblue/goto_program_deprecated

  Show description for 1efed70
  kroening

  authored
  1efed70

  Copy full SHA for 1efed70

• Explain unsound and experimental options in documentation.

  Show description for fde9ac5
  

  NlightNFotis

  and

  tautschnig

  committed
  fde9ac5

  Copy full SHA for fde9ac5

• Issue warnings when options may yield unsound verification results

  Show description for c40ea7e
  

  NlightNFotis

  authored and

  tautschnig

  committed
  c40ea7e

  Copy full SHA for c40ea7e

• Synchronise help output with actual support for --fp-reachability-slice

  Show description for 23b7037
  tautschnig

  committed
  23b7037

  Copy full SHA for 23b7037

• Add missing newline in help output

  Show description for cf4df69
  tautschnig

  committed
  cf4df69

  Copy full SHA for cf4df69

• CPROVER manual: consistent formatting of headings

  Show description for 0ad6a7b
  tautschnig

  committed
  0ad6a7b

  Copy full SHA for 0ad6a7b

• Remove (broken) code contracts link from CPROVER manual

  Show description for 7bed09a
  tautschnig

  committed
  7bed09a

  Copy full SHA for 7bed09a

• Merge pull request #7497 from NlightNFotis/document_symex_instructions

  Show description for 796fb38
  peterschrammel

  authored
  796fb38

  Copy full SHA for 796fb38

• remove three deprecated goto_programt methods

  Show description for 3e8e07a
  kroening

  committed
  3e8e07a

  Copy full SHA for 3e8e07a

• Merge pull request #7559 from diffblue/array_vector_subtype

  Show description for 19470af
  tautschnig

  authored
  19470af

  Copy full SHA for 19470af

• Merge pull request #7565 from remi-delmas-3000/checked-pragma-fix

  Show description for d9f2d01
  tautschnig

  authored
  d9f2d01

  Copy full SHA for d9f2d01

• Merge pull request #7568 from thomasspriggs/tas/fix_remove_asm_docs

  Show description for a87783f
  tautschnig

  authored
  a87783f

  Copy full SHA for a87783f

• Fix handling of enable pragmas

  Show description for c186c10
  

  Remi Delmas

  committed
  c186c10

  Copy full SHA for c186c10

Commits on Feb 27, 2023

• Add details doxygen command

  Show description for 238e7a5
  thomasspriggs

  committed
  238e7a5

  Copy full SHA for 238e7a5

• Fix doxygen in `remove_asm.h`

  Show description for 6112c86
  thomasspriggs

  committed
  6112c86

  Copy full SHA for 6112c86

• Merge pull request #7563 from zhassan-aws/fix-contracts-help

  Show description for 3ee2b3a
  tautschnig

  authored
  3ee2b3a

  Copy full SHA for 3ee2b3a

Commits on Feb 24, 2023

• Merge pull request #7560 from tautschnig/bugfixes/r_w_ok-decl

  Show description for 81f1fb6
  kroening

  authored
  81f1fb6

  Copy full SHA for 81f1fb6

• protect array_typet::subtype and vector_typet::subtype

  Show description for 902cf14
  kroening

  committed
  902cf14

  Copy full SHA for 902cf14

• Merge pull request #7561 from diffblue/remove_typet_subtype

  Show description for 3fe510e
  kroening

  authored
  3fe510e

  Copy full SHA for 3fe510e

• Align and reformat long lines

  zhassan-aws

  committed
  e663f8a

  Copy full SHA for e663f8a

Commits on Feb 23, 2023

• Minor formatting fix to contracts help

  zhassan-aws

  committed
  ec13309

  Copy full SHA for ec13309

• remove typet::subtype()

  Show description for 907e28f
  kroening

  committed
  907e28f

  Copy full SHA for 907e28f

• Clean-up and test __CPROVER_{r,w,rw}_ok type checking failure cases

  Show description for bc174f3
  tautschnig

  committed
  bc174f3

  Copy full SHA for bc174f3

• Avoid confusing "__CPROVER_{r,w,rw}_ok is not declared" warning

  Show description for dde7cf4
  tautschnig

  committed
  dde7cf4

  Copy full SHA for dde7cf4

• Merge pull request #7558 from tautschnig/bugfixes/disable-test

  Show description for d7099ae
  tautschnig

  authored
  d7099ae

  Copy full SHA for d7099ae

• Merge pull request #7557 from remi-delmas-3000/contrracts-do-while-syntax

  Show description for e0ccfc8
  remi-delmas-3000

  authored
  e0ccfc8

  Copy full SHA for e0ccfc8

Commits on Feb 22, 2023

• Disable array-cell-sensitivity3 with new SMT back-end

  Show description for be28f1e
  tautschnig

  committed
  be28f1e

  Copy full SHA for be28f1e

• CONTRACTS: place contracts after do for do-while loops

  Show description for bd4d4e0
  

  Remi Delmas

  committed
  bd4d4e0

  Copy full SHA for bd4d4e0

Pagination

Previous

Next