Commits · main · SoSy-Lab / SV-Comp / Verifier Archives 2023

27 Jan, 2023 1 commit
- Upgrade submodule · e0b7e5d9
  Dirk Beyer authored Jan 27, 2023
  
  e0b7e5d9
24 Dec, 2022 2 commits
- Merge branch 'coveriteam-archive' into 'main' · dad7b594
  Dirk Beyer authored Dec 24, 2022
```
updated coveriteam archive

See merge request !210
```
  dad7b594
- updated coveriteam archive · 2436bb82
  Sudeep Kanav authored Dec 24, 2022 and Dirk Beyer committed Dec 24, 2022
  
  2436bb82
23 Dec, 2022 5 commits
- Merge branch 'VeriAbsL' into 'main' · cf4bd14f
  Dirk Beyer authored Dec 23, 2022
```
Updated LICENSE, README and INSTALL files for VeriAbsL

See merge request !207
```
  cf4bd14f
- Updated LICENSE, README and INSTALL files for VeriAbsL · d7f4ea31
  Sakshi Agrawal authored Dec 23, 2022 and Dirk Beyer committed Dec 23, 2022
  
  d7f4ea31
- Merge branch 'VeriAbs' into 'main' · caf80b15
  Dirk Beyer authored Dec 23, 2022
```
Updated LICENSE, README, INSTALL files for VeriAbs

See merge request !208
```
  caf80b15
- Updated LICENSE, README, INSTALL files for VeriAbs · 15816119
  Sakshi Agrawal authored Dec 23, 2022 and Dirk Beyer committed Dec 23, 2022
  
  15816119
- Remove hors-concours tools that do not deliver results anymore (cf.... · 03c0d1f0
  Dirk Beyer authored Dec 23, 2022
```
Remove hors-concours tools that do not deliver results anymore (cf. bench-defs@036f8595)
```
  03c0d1f0
22 Dec, 2022 1 commit
- Merge branch 'gdart-llvm' into 'main' · da45cc6a
  Dirk Beyer authored Dec 22, 2022
```
add new main license and readme for GDart-LLVM

See merge request !206
```
  da45cc6a
21 Dec, 2022 1 commit
- add new main license and readme for GDart-LLVM · f572286c
  Simon Dierl authored Dec 21, 2022
  
  f572286c
19 Dec, 2022 7 commits
- Merge branch 'mchalupa-main-patch-06240' into 'main' · 97316ba7
  Dirk Beyer authored Dec 19, 2022
```
Add extra LICENSES to Bubaak

See merge request !204
```
  97316ba7
- Add extra LICENSES to Bubaak · da1c6782
  Marek Chalupa authored Dec 19, 2022 and Dirk Beyer committed Dec 19, 2022
  
  da1c6782
- Upgrade submodule · 8952f1cb
  Dirk Beyer authored Dec 19, 2022
  
  8952f1cb
- Merge branch 'mlb' into 'main' · 15531421
  Dirk Beyer authored Dec 19, 2022
```
Correct witness

See merge request !205
```
  15531421
- Correct witness · 444f2f28
  XGuo authored Dec 19, 2022
  
  444f2f28
- Merge branch 'wit4java' into 'main' · 08a7f5df
  Dirk Beyer authored Dec 19, 2022
```
fix read-only issus

See merge request !203
```
  08a7f5df
- fix read-only issus · 00b8d3c1
  Anthonysdu authored Dec 19, 2022
  
  00b8d3c1
18 Dec, 2022 2 commits

Merge branch 'setup-esbmc-incr' into 'main' · c87a9756

Dirk Beyer authored Dec 18, 2022

esbmc-incr is 'hors concurs' and therefore should not get automatically upgraded via a symbolic link

See merge request !202

c87a9756

esbmc-incr is 'hors concurs' and therefore should not get automatically... · 1d88392f
Dirk Beyer authored Dec 18, 2022
```
esbmc-incr is 'hors concurs' and therefore should not get automatically upgraded via a symbolic link
```
1d88392f

17 Dec, 2022 2 commits
- Merge branch 'cseq-revert' into 'main' · 9921636d
  Dirk Beyer authored Dec 17, 2022
```
CSeq disqualified, reverted to version from previous year, for hors concours participation

See merge request !201
```
  9921636d
- CSeq disqualified, reverted to version from previous year, for hors concours participation · 9e3417f3
  Dirk Beyer authored Dec 17, 2022
  
  9e3417f3
16 Dec, 2022 1 commit
- Merge branch 'jbmc' into 'main' · b868adb3
  Dirk Beyer authored Dec 16, 2022
```
Update to JBMC 5.72.1-22-g1ab48b9654

See merge request !200
```
  b868adb3
12 Dec, 2022 16 commits
- Update to JBMC 5.72.1-22-g1ab48b9654 · 2351f799
  Peter Schrammel authored Dec 12, 2022
  
  2351f799
- Merge branch 'java-ranger' into 'main' · 0b6206b1
  Dirk Beyer authored Dec 12, 2022
```
adding updated java-ranger

See merge request !187
```
  0b6206b1
- adding updated java-ranger · 4a7780bb
  Soha Hussein authored Dec 12, 2022 and Dirk Beyer committed Dec 12, 2022
  
  4a7780bb
- Merge branch 'VeriAbs' into 'main' · 626162f2
  Dirk Beyer authored Dec 12, 2022
```
Updated VeriAbs

See merge request !194
```
  626162f2
- Updated VeriAbs · cfced213
  Sakshi Agrawal authored Dec 12, 2022 and Dirk Beyer committed Dec 12, 2022
  
  cfced213
- Merge branch 'ebf' into 'main' · f4c72e3b
  Dirk Beyer authored Dec 12, 2022
```
fix parsing issue

See merge request !191
```
  f4c72e3b
- fix parsing issue · 5f5f7166
  Fatimah Aljaafari authored Dec 12, 2022 and Dirk Beyer committed Dec 12, 2022
  
  5f5f7166
- Merge branch 'verifuzz-22112022' into 'main' · e7f9c6d8
  Dirk Beyer authored Dec 12, 2022
```
VeriFuzz_1.4.0_22112022

See merge request !188
```
  e7f9c6d8
- VeriFuzz_1.4.0_22112022 · d6d8283f
  Raveendra Kumar authored Dec 12, 2022 and Dirk Beyer committed Dec 12, 2022
  
  d6d8283f
- Merge branch 'esbmc-overflows' into 'main' · b0e48394
  Dirk Beyer authored Dec 12, 2022
```
updated esbmc

See merge request !192
```
  b0e48394
- updated esbmc · 69da382d
  Rafael Menezes authored Dec 12, 2022 and Dirk Beyer committed Dec 12, 2022
  
  69da382d
- Merge branch 'ultimate' into 'main' · 19e51820
  Dirk Beyer authored Dec 12, 2022
```
Update Ultimate tool family (uautomizer, ukojak, utaipan, ugemcutter) to version v0.2.2-2329fc70

See merge request !193
```
  19e51820
- Merge branch 'VeriAbsL' into 'main' · 30022d66
  Dirk Beyer authored Dec 12, 2022
```
Updated VeriAbsL

See merge request !196
```
  30022d66
- Merge branch 'mlb' into 'main' · 613d8367
  Dirk Beyer authored Dec 12, 2022
```
update witness

See merge request !197
```
  613d8367
- update witness · 17f5492b
  MLB-SE authored Dec 12, 2022 and Dirk Beyer committed Dec 12, 2022
  
  17f5492b
- Merge branch 'deagle-2.1' into 'main' · 697e0351
  Dirk Beyer authored Dec 12, 2022
```
Update Deagle to 2.1.

See merge request !199
```
  697e0351
07 Dec, 2022 1 commit
- Upgrade submodule · b885566e
  Dirk Beyer authored Dec 07, 2022
  
  b885566e
04 Dec, 2022 1 commit
- Update Deagle to 2.1. · e457d034
  Misasasa authored Dec 04, 2022
  
  e457d034