Commits

Branch selector

 develop

User selector

All users

Datepicker

All time

Commit History

Commits on Jun 25, 2025

• Merge pull request #8645 from tautschnig/move-unwindsett

  Show description for 7a6e2f7
  kroening

  authored
  7a6e2f7

  Copy full SHA for 7a6e2f7

Commits on Jun 24, 2025

• Merge pull request #8659 from tautschnig/goto-analyzer-typecast

  Show description for 4e21449
  tautschnig

  authored
  4e21449

  Copy full SHA for 4e21449

• Merge pull request #8647 from tautschnig/value-set-offset

  Show description for 0beaf25
  tautschnig

  authored
  0beaf25

  Copy full SHA for 0beaf25

• Value set: lift offset from numeric constants to expressions

  Show description for 056be83
  tautschnig

  committed
  056be83

  Copy full SHA for 056be83

• value_sett: replace uses of `throw` by invariants

  Show description for 7fc006e
  tautschnig

  committed
  7fc006e

  Copy full SHA for 7fc006e

• Additional unit tests for value_sett

  Show description for 1f2fd5a
  tautschnig

  committed
  1f2fd5a

  Copy full SHA for 1f2fd5a

• Ensure test only fails as originally designed

  Show description for 2ce536c
  tautschnig

  committed
  2ce536c

  Copy full SHA for 2ce536c

Commits on Jun 20, 2025

• Merge pull request #8642 from tautschnig/simp-value-set

  Show description for eef9677
  tautschnig

  authored
  eef9677

  Copy full SHA for eef9677

• goto-analyzer: support typecasts as left-hand sides

  Show description for 29421f3
  tautschnig

  committed
  29421f3

  Copy full SHA for 29421f3

• Merge pull request #8657 from tautschnig/fixup-linker-script-merge

  Show description for 0bb2d02
  tautschnig

  authored
  0bb2d02

  Copy full SHA for 0bb2d02

• Merge pull request #8658 from tautschnig/no-m64

  Show description for 7e1a97a
  tautschnig

  authored
  7e1a97a

  Copy full SHA for 7e1a97a

• Merge pull request #8584 from tautschnig/signed-read

  Show description for 8e49f91
  tautschnig

  authored
  8e49f91

  Copy full SHA for 8e49f91

• Simplify equal/not-equal over pointer_object expressions using value set

  Show description for 803954a
  tautschnig

  committed
  803954a

  Copy full SHA for 803954a

• Simplify pointer_offset using value set

  Show description for 8143cbf
  tautschnig

  committed
  8143cbf

  Copy full SHA for 8143cbf

• Use simplify_expr_with_value_sett across goto-symex

  Show description for 08f37c2
  tautschnig

  committed
  08f37c2

  Copy full SHA for 08f37c2

• Introduce value-set supported simplifier for goto-symex

  Show description for 33c9933
  tautschnig

  committed
  33c9933

  Copy full SHA for 33c9933

• Avoid need for preprocessor calls with -m64

  Show description for 87bd5ac
  tautschnig

  committed
  87bd5ac

  Copy full SHA for 87bd5ac

• linker_script_merge: clang-format (15) lambdas

  tautschnig

  committed
  2e054be

  Copy full SHA for 2e054be

• fixup! fix exprt::opX accesses in linker_script_merge

  Show description for 0ebe821
  tautschnig

  committed
  0ebe821

  Copy full SHA for 0ebe821

Commits on Jun 19, 2025

• Merge pull request #8660 from tautschnig/use-vs-2025

  Show description for c9653bd
  kroening

  authored
  c9653bd

  Copy full SHA for c9653bd

Commits on Jun 17, 2025

• CI: use Visual Studio 2025 runners instead of 2019

  Show description for 3b75303
  tautschnig

  committed
  3b75303

  Copy full SHA for 3b75303

Commits on Jun 13, 2025

• Merge pull request #8655 from rod-chapman/less_verbose_contract_warnings

  Show description for 34dc8dc
  kroening

  authored
  34dc8dc

  Copy full SHA for 34dc8dc

• Change the

  Show description for 29e7ba5
  rod-chapman

  committed
  29e7ba5

  Copy full SHA for 29e7ba5

Commits on Jun 10, 2025

• Merge pull request #8608 from tautschnig/simp-quant

  Show description for e81ad69
  kroening

  authored
  e81ad69

  Copy full SHA for e81ad69

Commits on Jun 3, 2025

• Merge pull request #8650 from diffblue/run-with-pipe

  Show description for beb96b9
  tautschnig

  authored
  beb96b9

  Copy full SHA for beb96b9

• Remove popen comment that no longer applies

  tautschnig

  committed
  c4a738b

  Copy full SHA for c4a738b

Commits on Jun 2, 2025

• run(..., std::ostream &, ...) with pipe

  Show description for d4194dd
  kroening

  committed
  d4194dd

  Copy full SHA for d4194dd

• Merge pull request #8648 from diffblue/use-size_t

  Show description for f1faa61
  tautschnig

  authored
  f1faa61

  Copy full SHA for f1faa61

Commits on Jun 1, 2025

• use std::size_t for an instruction count

  Show description for 8bc2048
  kroening

  committed
  8bc2048

  Copy full SHA for 8bc2048

• use std::size_t for goto-instruction step_nr

  Show description for cfa04a3
  kroening

  committed
  cfa04a3

  Copy full SHA for cfa04a3

Commits on May 28, 2025

• Merge pull request #8644 from tautschnig/goto-checker-dep

  Show description for fc412c7
  kroening

  authored
  fc412c7

  Copy full SHA for fc412c7

• Move unwindset.{h,cpp} to goto-programs

  Show description for 059fe90
  tautschnig

  committed
  059fe90

  Copy full SHA for 059fe90

Commits on May 27, 2025

• goto-checker no longer depends on cbmc

  Show description for 6853657
  tautschnig

  committed
  6853657

  Copy full SHA for 6853657

• Merge pull request #8641 from diffblue/shell-quote-fix

  Show description for 50be009
  kroening

  authored
  50be009

  Copy full SHA for 50be009

• fix shell quoting

  Show description for 9b0a0c3
  kroening

  committed
  9b0a0c3

  Copy full SHA for 9b0a0c3

Pagination

Previous

Next