Commits

Breadcrumbs

History for

onmain

User selector

All users

Datepicker

All time

Commit History

Commits on Oct 9, 2021

• Upgrade SMACK to support LLVM 12

  Show description for be2d6c5
  shaobo-he

  authored
  be2d6c5

  Copy full SHA for be2d6c5

Commits on Oct 8, 2021

• Cleans up JSON output generation

  Show description for b867ee4
  zvonimir

  committed
  b867ee4

  Copy full SHA for b867ee4

Commits on Sep 16, 2021

• Better error traces

  Show description for d9c115e
  shaobo-he

  authored
  d9c115e

  Copy full SHA for d9c115e

Commits on Jun 16, 2021

• Changes after PR comments

  shaobo-he

  committed
  65cc830

  Copy full SHA for 65cc830

Commits on Jun 12, 2021

• Merge pull request smackers#627 from smackers/fix-assert

  Show description for 030e7af
  zvonimir

  authored
  030e7af

  Copy full SHA for 030e7af

Commits on Dec 14, 2020

• Removed /di Corral option from SVCOMP heuristics

  Show description for ddda5e9
  zvonimir

  committed
  ddda5e9

  Copy full SHA for ddda5e9

Commits on Dec 5, 2020

• Removed irreducible loop unroll from SVCOMP setup

  Show description for e69dbc0
  zvonimir

  committed
  e69dbc0

  Copy full SHA for e69dbc0

Commits on Nov 27, 2020

• Removed static loop bound for SVCOMP

  Show description for bc39e82
  zvonimir

  committed
  bc39e82

  Copy full SHA for bc39e82

Commits on Nov 21, 2020

• Fixed assertion failures during witness generation

  shaobo-he

  committed
  129eda7

  Copy full SHA for 129eda7

Commits on Nov 19, 2020

• Only enable assumption keys with return values of nondet functions

  shaobo-he

  committed
  0ac26f9

  Copy full SHA for 0ac26f9

Commits on Nov 14, 2020

• Fixes

  Show description for e643d91
  shaobo-he

  committed
  e643d91

  Copy full SHA for e643d91

• Fixed JSON output generation as well as SV-COMP witnesses

  shaobo-he

  committed
  e8f6b3b

  Copy full SHA for e8f6b3b

Commits on Nov 13, 2020

• Moved error trace handling into a designated Python file

  shaobo-he

  committed
  ad3d3ac

  Copy full SHA for ad3d3ac

Commits on Nov 11, 2020

• Added rewrite-bitwise-ops command line option

  Show description for 8d3ac0e
  zvonimir

  committed
  8d3ac0e

  Copy full SHA for 8d3ac0e

Commits on Nov 2, 2020

• Do not check for full-blown memory safety in SVCOMP

  zvonimir

  committed
  a55f3ee

  Copy full SHA for a55f3ee

Commits on Oct 31, 2020

• Enable bit-vectors when overflow checking is used in SVCOMP

  zvonimir

  committed
  afd26db

  Copy full SHA for afd26db

Commits on Oct 27, 2020

• Refactoring

  shaobo-he

  committed
  79e23da

  Copy full SHA for 79e23da

Commits on Oct 26, 2020

• Fixed svcomp scripts

  shaobo-he

  committed
  0912b41

  Copy full SHA for 0912b41

Commits on Oct 25, 2020

• Modeling of strings must be turned on by default

  zvonimir

  committed
  9debfdf

  Copy full SHA for 9debfdf

Commits on Oct 20, 2020

• Reversing a small change - we need this field

  Show description for cbaaa0b
  zvonimir

  committed
  cbaaa0b

  Copy full SHA for cbaaa0b

Commits on Oct 19, 2020

• Minor clean up

  zvonimir

  committed
  597201f

  Copy full SHA for 597201f

• Removed float and bit-vector filters to set these options

  zvonimir

  committed
  f9b5843

  Copy full SHA for f9b5843

• Removed support for pthreads benchmarks

  zvonimir

  committed
  b3b7abf

  Copy full SHA for b3b7abf

• Removed mem safety checking heuristics

  zvonimir

  committed
  0399513

  Copy full SHA for 0399513

• Removed check for bit-precise

  zvonimir

  committed
  76c57d2

  Copy full SHA for 76c57d2

Commits on Oct 17, 2020

• Removed dynamic testing part

  zvonimir

  committed
  d20d769

  Copy full SHA for d20d769

Commits on Oct 16, 2020

• Removed testing

  zvonimir

  committed
  39bbbc9

  Copy full SHA for 39bbbc9

• Cleaned up SVCOMP heuristics

  zvonimir

  committed
  3b01ea5

  Copy full SHA for 3b01ea5

Commits on Oct 15, 2020

• Moved assert macro into its assert header

  Show description for b40943c
  zvonimir

  committed
  b40943c

  Copy full SHA for b40943c

Commits on Oct 12, 2020

• Updated Boogie, Corral, and Z3

  Show description for 945ec34
  zvonimir

  authored
  945ec34

  Copy full SHA for 945ec34

Commits on Aug 20, 2020

• Enabled string functions for certain SV-COMP properties

  shaobo-he

  committed
  1b956e1

  Copy full SHA for 1b956e1

• Fixed SV-COMP scripts

  shaobo-he

  committed
  47e1235

  Copy full SHA for 47e1235

Commits on Aug 14, 2020

• Renamed integer and pointer encoding flags

  Show description for c30549b
  shaobo-he

  committed
  c30549b

  Copy full SHA for c30549b

Commits on Jul 13, 2020

• Removed __VERIFIER_error and its uses

  shaobo-he

  committed
  79b6021

  Copy full SHA for 79b6021

Commits on Jul 10, 2020

• Insert assert false before calls to reach_error

  Show description for 9aca908
  shaobo-he

  committed
  9aca908

  Copy full SHA for 9aca908

Pagination

Previous

Next