Commits · main · Joss Moffatt / Bubaak

Browse files

Dec 27, 2022
- cmdline: allow specifying include directories · f38c86d7
  Marek Chalupa authored Dec 27, 2022
  
  f38c86d7
Dec 20, 2022
- update slowbeast · 17b0f7c6
  Marek Chalupa authored Dec 20, 2022
  
  17b0f7c6
- update README · a011dfb0
  Marek Chalupa authored Dec 20, 2022
  
  a011dfb0
Dec 19, 2022
- svcomp: add missing licenses · 4d27a0e0
  Marek Chalupa authored Dec 19, 2022
  
  4d27a0e0
- Misc small updates · 296d8e73
  Marek Chalupa authored Dec 19, 2022
  
  296d8e73
Dec 14, 2022
- fix the version · 3229486e
  Marek Chalupa authored Dec 14, 2022
  
  3229486e
- Update KLEE · cad6ee1c
  Marek Chalupa authored Dec 14, 2022
  
  cad6ee1c
Dec 09, 2022
- Print version on startup · 9cc5ef15
  Marek Chalupa authored Dec 09, 2022
  
  9cc5ef15
- Report git hash with version · d06dda0d
  Marek Chalupa authored Dec 09, 2022
  
  d06dda0d
- bubaak: prepare for generating executable witnesses · 63fe3ae8
  Marek Chalupa authored Dec 09, 2022
  
  63fe3ae8
- slowbeast: replay errors · 8b79c73c
  Marek Chalupa authored Dec 09, 2022
  
  8b79c73c
- update slowbeast · dd474a1e
  Marek Chalupa authored Dec 09, 2022
  
  dd474a1e
- klee: catch memory overcap · 5403dcb0
  Marek Chalupa authored Dec 09, 2022
  
  5403dcb0
Nov 27, 2022
- Catch stack exceeded message from KLEE · 1ceaf9f6
  Marek Chalupa authored Nov 27, 2022
  
  1ceaf9f6
Nov 25, 2022
- Update KLEE · 583f2928
  Marek Chalupa authored Nov 25, 2022
  
  583f2928
- Properly support memcleanup · f2707ce2
  Marek Chalupa authored Nov 25, 2022
  
  f2707ce2
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