Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Update to CBMC version 6.1.1 #2995

Merged
merged 62 commits into from
Jul 31, 2024
Merged

Update to CBMC version 6.1.1 #2995

Changes from 1 commit
Commits
Show all changes
62 commits
Select commit Hold shift + click to select a range
da76cb3
Update to CBMC version 6.0.0
tautschnig Feb 6, 2024
2f37c6f
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jun 18, 2024
d6e78a8
Force tests to pass
tautschnig Jun 19, 2024
1bc0129
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jun 19, 2024
5d73a67
Add overlay files to enable performance data output
tautschnig Jun 19, 2024
e95e689
Enable verbosity 9 for performance numbers
tautschnig Jun 19, 2024
7feccd5
Revert "Enable verbosity 9 for performance numbers"
tautschnig Jun 19, 2024
0125a23
Revert "Add overlay files to enable performance data output"
tautschnig Jun 19, 2024
9a68859
Verbosity 9 for perf tests
tautschnig Jun 19, 2024
7dd43d8
Separate flags
tautschnig Jun 19, 2024
a55167a
benchcomp test with verbosity
tautschnig Jun 19, 2024
952841d
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jun 20, 2024
e32e3c6
Revert "Force tests to pass"
tautschnig Jun 20, 2024
383a6f4
Set higher verbosity for tests as needed
tautschnig Jun 20, 2024
11b1dd1
Update interface to CBMC v6
tautschnig Jun 20, 2024
d591c4d
Regression test workarounds
tautschnig Jun 20, 2024
3abf589
Revert "Regression test workarounds"
tautschnig Jun 20, 2024
d07841b
Debugging storage markers
tautschnig Apr 25, 2024
c179663
WIP
tautschnig Apr 25, 2024
2db2a0d
Codegen storage markers as assignments to __CPROVER_dead_object
tautschnig Apr 26, 2024
bb5dc8f
Revert #3080 except for std enablement
tautschnig Apr 26, 2024
e29d024
Mark failure that is not yet understood as FIXME
tautschnig Jun 20, 2024
6480755
Mark newly slow tests as such
tautschnig Jun 20, 2024
445f363
Update property configuration for CBMC v6
tautschnig Jun 20, 2024
bb373f2
fixup! Set higher verbosity for tests as needed
tautschnig Jun 20, 2024
fda6424
Use CBMC version 6.0.1
tautschnig Jun 21, 2024
125473d
Use PPA with GCC-9 to build CBMC v6+ on Ubuntu 18.04
tautschnig Jun 21, 2024
e7242f2
Use older pip version to remain compatible with Python 3.7
tautschnig Jun 21, 2024
7f996e7
Factor out access to __CPROVER_dead_object
tautschnig Jun 21, 2024
93398cb
Revert "Mark failure that is not yet understood as FIXME"
tautschnig Jun 21, 2024
dcc9d61
fixup! Codegen storage markers as assignments to __CPROVER_dead_object
tautschnig Jun 21, 2024
2001ae8
Remove TODO as CBMC will not necessarily pick this up
tautschnig Jun 21, 2024
59d2fba
Fix Docker as well
tautschnig Jun 21, 2024
42ed007
fixup! fixup! Codegen storage markers as assignments to __CPROVER_dea…
tautschnig Jun 21, 2024
268a0c0
Add comment
tautschnig Jun 24, 2024
ebe6cdb
Build static binaries on Linux 18.04
tautschnig Jun 24, 2024
2545e0c
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jun 24, 2024
62d9f85
Comment explaining StorageLive/StorageDead modelling
tautschnig Jun 24, 2024
d273960
Extend comment
tautschnig Jun 24, 2024
728c1f7
Merge branch 'main' into cbmc-6
tautschnig Jun 25, 2024
df95895
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jul 23, 2024
9d2e3e5
Use CBMC 6.1.0
tautschnig Jul 23, 2024
b7b3b15
Test performance with CBMC using CaDiCaL 2.0.0
tautschnig Jul 23, 2024
fd78563
Merge branch 'main' into cbmc-6
tautschnig Jul 23, 2024
bdb80ea
Merge branch 'main' into cbmc-6
tautschnig Jul 24, 2024
033b27d
Work around CaDiCaL performance regression
tautschnig Jul 24, 2024
8cd357a
Revert "Work around CaDiCaL performance regression"
tautschnig Jul 24, 2024
277bdad
Bump s2n-quic submodule
tautschnig Jul 24, 2024
f938676
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jul 24, 2024
c1bc1ee
Benchcomp perf regression: move setup into run
tautschnig Jul 24, 2024
f60db0e
Revert "Benchcomp perf regression: move setup into run"
tautschnig Jul 24, 2024
85092ed
Install variant-specific dependencies
tautschnig Jul 24, 2024
d94175c
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jul 25, 2024
8127e5c
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jul 25, 2024
8bb15ce
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jul 26, 2024
7ab6f60
Use Local
tautschnig Jul 26, 2024
e902354
Use constant
tautschnig Jul 26, 2024
007b1e9
Merge branch 'main' into cbmc-6
tautschnig Jul 30, 2024
2a3fd06
Merge remote-tracking branch 'origin/main' into cbmc-6
tautschnig Jul 31, 2024
c968d65
Use CBMC 6.1.1
tautschnig Jul 31, 2024
2de6464
Revert "Test performance with CBMC using CaDiCaL 2.0.0"
tautschnig Jul 31, 2024
f878fd9
Use verbosity 9 by default
tautschnig Jul 31, 2024
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
Prev Previous commit
Next Next commit
Merge remote-tracking branch 'origin/main' into cbmc-6
  • Loading branch information
@tautschnig
tautschnig committed Jun 18, 2024
commit 2f37c6fc1bd1f7361c312aa76452523059b75bf6

This merge commit was added into this branch cleanly.

There are no new changes to show, but you can still view the diff.