Commits · svcomp23 · Joss Moffatt / Bubaak

Browse files

Nov 23, 2022
- update slowbeast · 0d8c1890
  Marek Chalupa authored Nov 23, 2022
  
  View commits for tag svcomp23 svcomp23
  
  0d8c1890
- update slowbeast · 8484bda6
  Marek Chalupa authored Nov 23, 2022
  
  8484bda6
- update klee · e834784a
  Marek Chalupa authored Nov 23, 2022
  
  e834784a
- KLEE: catch 'divide by zero' · 5db4f125
  Marek Chalupa authored Nov 23, 2022
  
  5db4f125
Nov 22, 2022
- update slowbeast · a933f543
  Marek Chalupa authored Nov 22, 2022
  
  a933f543
- KLEE: update parsing results · 1ef1ef2b
  Marek Chalupa authored Nov 22, 2022
  
  1ef1ef2b
- Allow multiple violations for sv-comp · d7dd3498
  Marek Chalupa authored Nov 22, 2022
  
  d7dd3498
- Update slowbeast · da21f018
  Marek Chalupa authored Nov 22, 2022
  
  da21f018
- update modules · 10236b47
  Marek Chalupa authored Nov 22, 2022
  
  10236b47
- Update modules · eb981339
  Marek Chalupa authored Nov 22, 2022
  
  eb981339
- update klee · ea1952e0
  Marek Chalupa authored Nov 22, 2022
  
  ea1952e0
- Handle scanf & fscanf and some more external functions · 12ba00d4
  Marek Chalupa authored Nov 22, 2022
  
  12ba00d4
Nov 21, 2022
- update klee · 9c69ee92
  Marek Chalupa authored Nov 21, 2022
  
  9c69ee92
- Update modules · c0725e93
  Marek Chalupa authored Nov 21, 2022
  
  c0725e93
- klee: fix parsing results · db1c3180
  Marek Chalupa authored Nov 21, 2022
  
  db1c3180
- Update KLEE setup · 7c9deeec
  Marek Chalupa authored Nov 21, 2022
  
  7c9deeec
- Ignore unknown unicode characters · 1403db39
  Marek Chalupa authored Nov 21, 2022
  
  1403db39
- KLEE: adjust params · fb76d7e9
  Marek Chalupa authored Nov 21, 2022
  
  fb76d7e9
- Fix running on threaded programs · 245850cb
  Marek Chalupa authored Nov 21, 2022
  
  245850cb
- update bubaak · 81051ec6
  Marek Chalupa authored Nov 21, 2022
  
  81051ec6
- Do not support gettext · 0486da51
  Marek Chalupa authored Nov 21, 2022
  
  0486da51
- Add a mossing file · a589403a
  Marek Chalupa authored Nov 21, 2022
  
  a589403a
- Run slowbeast in optimized mode · 3d8371f4
  Marek Chalupa authored Nov 21, 2022
  
  3d8371f4
Nov 20, 2022
- update slowbeast · a66dd1ca
  Marek Chalupa authored Nov 20, 2022
  
  a66dd1ca
- update slowbeast · 1a60c1df
  Marek Chalupa authored Nov 20, 2022
  
  1a60c1df
- svcomp: update bubaak.xml · e367e3b0
  Marek Chalupa authored Nov 20, 2022
  
  e367e3b0
- catch incomplete KLEE analysis · 1d94cd59
  Marek Chalupa authored Nov 20, 2022
  
  1d94cd59
- Update slowbeast · a09ebe69
  Marek Chalupa authored Nov 20, 2022
  
  a09ebe69
- catch possibly unsound BSE runs · 4e6efb9b
  Marek Chalupa authored Nov 20, 2022
  
  4e6efb9b
- Fix running on threads · dcac39d7
  Marek Chalupa authored Nov 20, 2022
  
  dcac39d7
Nov 18, 2022
- update slowbeast · 1bc6be3e
  Marek Chalupa authored Nov 18, 2022
  
  1bc6be3e
- refactor compiling programs · fdd1b982
  Marek Chalupa authored Nov 18, 2022
  
  fdd1b982
- bubaak: refactor parsing properties · 984db76d
  Marek Chalupa authored Nov 18, 2022
  
  984db76d
- Detect overflows from clang · 2eff4c52
  Marek Chalupa authored Nov 18, 2022
  2eff4c52
- bubaak: refactor parsing results and creating witnesses · e5649040
  Marek Chalupa authored Nov 18, 2022
  
  e5649040
Nov 17, 2022
- Update parsing of KLEE results · 96aecb16
  Marek Chalupa authored Nov 17, 2022
  
  96aecb16
- Update slowbeast · 0f7f19ce
  Marek Chalupa authored Nov 17, 2022
  
  0f7f19ce
- klee: do not use POSIX environment · ab3633d1
  Marek Chalupa authored Nov 17, 2022
  
  ab3633d1
- klee: use POSIX and uclibc runtime · a1dc127f
  Marek Chalupa authored Nov 17, 2022
  
  a1dc127f
- Update modules · 57de3b49
  Marek Chalupa authored Nov 17, 2022
  
  57de3b49