issues
search
goblint
/
bench
The benchmark suite
4
stars
6
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Tracking Benchmark Changes for Thesis
#65
michael-schwarz
opened
5 months ago
0
Add SV-COMP scripts for Goblint
#64
sim642
closed
8 months ago
0
Data-race challenges extracted from benchmarks
#63
sim642
closed
10 months ago
1
git
#62
sim642
opened
12 months ago
1
SCTBench
#61
sim642
opened
1 year ago
0
nidhugg (atomic operations support)
#60
karoliineh
opened
1 year ago
2
Explanations on how to make `the silver searcher` analysis more precise
#59
karoliineh
opened
1 year ago
1
Automatic Generation of Test Cases for Incremental Static Analysis
#58
J2000A
closed
2 months ago
1
Unassume benchmarking
#57
sim642
closed
1 year ago
1
Investigate races and deadlock benchmarks used by DarC
#56
michael-schwarz
opened
1 year ago
0
Combined pthread programs use 32bit architecture
#55
sim642
opened
1 year ago
0
Add setjmp benchmarks
#54
michael-schwarz
closed
1 year ago
0
Add Concrat benchmarks
#53
sim642
closed
1 year ago
1
Investigate Benchmarks from Hong & Ryu 2023 (ICSE '23)
#52
michael-schwarz
closed
1 year ago
2
Thread-modular witnesses benchmarking
#51
sim642
closed
1 year ago
1
Failing compilation of random.c during benchmark testing on macOS
#50
gabryon99
opened
1 year ago
0
CPU Spec as benchmarks?
#49
michael-schwarz
opened
1 year ago
3
Add support for chrony to incremental benchmarking scripts
#48
jerhard
opened
1 year ago
0
Add support for figlet to incremental benchmarking scripts
#47
jerhard
opened
1 year ago
0
Structure the repository
#46
michael-schwarz
opened
1 year ago
0
Extend incremental benchmark scripts to allow analyzing local repositories
#45
jerhard
opened
1 year ago
0
Add incremental benchmarking scripts
#44
jerhard
opened
1 year ago
2
Add script to generate sv-comp tasks from coreutil programs
#43
jerhard
closed
1 year ago
0
CProver deadlock benchmarks
#42
sim642
opened
2 years ago
0
masscan
#41
sim642
opened
2 years ago
0
memcached
#40
sim642
opened
2 years ago
7
curl
#39
sim642
opened
2 years ago
2
redis
#38
sim642
opened
2 years ago
2
netdata
#37
sim642
opened
2 years ago
1
libvips
#36
karoliineh
closed
2 years ago
3
Add ldv regression benchmarks to incremental benchmarks
#35
jerhard
opened
2 years ago
2
Selfie self-compiling C-compiler
#34
michael-schwarz
opened
2 years ago
0
Import Ratcop benchmarks
#33
jerhard
closed
2 years ago
6
Watts benchmark fixes
#32
jerhard
closed
2 years ago
0
Add witnesses to traces benchmarks
#31
sim642
closed
2 years ago
1
Instrument traces benchmarks with assertions
#30
sim642
closed
2 years ago
1
Import Watts tests
#29
jerhard
closed
2 years ago
6
Import relational traces regression tests from Goblint
#28
sim642
closed
2 years ago
0
Add regenerated Klever Linux 5.5 concurrency safety benchmarks
#27
sim642
opened
2 years ago
0
Add DDVerify models and benchmarks
#26
sim642
opened
2 years ago
0
WHOOP data race benchmarks
#25
sim642
opened
2 years ago
0
Add Linux net driver benchmarks from Locksmith papers
#24
sim642
opened
2 years ago
1
Original benchmarks from ldv-commits-races
#23
vesalvojdani
opened
2 years ago
1
Creating demonstrators for GobPie
#22
vesalvojdani
opened
2 years ago
1
Creating CVE Race Condition Benchmarks
#21
vesalvojdani
opened
2 years ago
0
Initial setup for cve-bench
#20
vesalvojdani
closed
2 years ago
2
SQLite Amalgamation
#19
michael-schwarz
opened
2 years ago
5
FFmpeg
#18
michael-schwarz
opened
2 years ago
5
chrony
#17
stilscher
opened
2 years ago
14
zstd
#16
michael-schwarz
opened
2 years ago
27
Next