Commits · main · Cedric Richter / Bubaak

Browse files

Mar 25, 2024
- Allow searching workflows from files · e664ac17
  Marek Chalupa authored Mar 25, 2024
  e664ac17
- Dockerfile: install numpy for Slowbeast · eba71fac
  Marek Chalupa authored Mar 25, 2024
  
  eba71fac
- Update README · bc572a52
  Marek Chalupa authored Mar 25, 2024
  
  bc572a52
- Add Dockerfile · af0e274e
  Marek Chalupa authored Mar 25, 2024
  
  af0e274e
- Update KLEE · f29b351c
  Marek Chalupa authored Mar 25, 2024
  
  f29b351c
Jan 05, 2024
- README: Fix a typo · 590395c2
  Marek Chalupa authored Jan 05, 2024
  
  590395c2
- Fix bug in handling of no-overflows · 028e8125
  Cedric Richter authored Dec 13, 2023 and Marek Chalupa committed Jan 05, 2024
  
  028e8125
- Fix some bugs and modify runtimes for executing bubaak split · 8fb68bed
  Cedric Richter authored Dec 13, 2023 and Marek Chalupa committed Jan 05, 2024
  
  8fb68bed
- Update README · 8b59ec2b
  Marek Chalupa authored Jan 05, 2024
  
  8b59ec2b
- Update README · 31e36a33
  Marek Chalupa authored Jan 05, 2024
  
  31e36a33
- Adjust building KLEE · c9f8d64c
  Marek Chalupa authored Jan 05, 2024
  c9f8d64c
Dec 05, 2023
- Bump the version · a940ac9b
  Marek Chalupa authored Dec 05, 2023
  
  a940ac9b
- SV-COMP: Fix reporting false(valid-memcleanup) · bb6c0181
  Marek Chalupa authored Dec 05, 2023
  
  bb6c0181
- Fix generating executable witnesses · 206eeb40
  Marek Chalupa authored Dec 05, 2023
  
  206eeb40
- Generate harness from SlowBeast tasks · 26642e40
  Marek Chalupa authored Nov 29, 2023
  
  26642e40
- Merge branch 'parallel-scheduler-workflow' into 'splitting-2' · 694c5d3c
  Marek Chalupa authored Dec 05, 2023
  694c5d3c
- Merge branch 'improved-splitting-workflow' into 'splitting-2' · 6b0ebabd
  Marek Chalupa authored Dec 05, 2023
  6b0ebabd
Nov 29, 2023
- Update KLEE · 534c593b
  Marek Chalupa authored Nov 29, 2023
  
  534c593b
- Fix generating witnesses · a3be750e
  Marek Chalupa authored Nov 29, 2023
  
  a3be750e
Nov 28, 2023
- Update modules · 38d15738
  Marek Chalupa authored Nov 28, 2023
  
  38d15738
- Fix formatting · 3c3476c2
  Marek Chalupa authored Nov 28, 2023
  
  3c3476c2
- Enable generating only harness · bafe25ed
  Marek Chalupa authored Nov 28, 2023
  
  bafe25ed
- Enable generating executable witnesses · e9dd6f4d
  Marek Chalupa authored Nov 28, 2023
  
  e9dd6f4d
- Fix parsing no-overflow errors from compiler · e98223a8
  Marek Chalupa authored Nov 28, 2023
  
  e98223a8
Nov 24, 2023
- Remove cache files · 60c8aefa
  Cedric Richter authored Nov 24, 2023
  
  60c8aefa
- Handle when splitter fails · 83ddd028
  Cedric Richter authored Nov 24, 2023
  
  83ddd028
- Merge remote-tracking branch 'upstream/splitting-2' into improved-splitting-workflow · 89684e7a
  Cedric Richter authored Nov 24, 2023
  
  89684e7a
- Some work on scheduler · 53910a21
  Cedric Richter authored Nov 24, 2023
  
  53910a21
- Merge remote-tracking branch 'upstream/splitting-2' into parallel-scheduler-workflow · 9131fcd6
  Cedric Richter authored Nov 24, 2023
  
  9131fcd6
Nov 23, 2023
- slowbeast: fix parsing errors · 0d29262e
  Marek Chalupa authored Nov 23, 2023
  
  0d29262e
- Fix generating slowbeast witnesses · 686fa91d
  Marek Chalupa authored Nov 23, 2023
  
  686fa91d
- Add workflow for parallel scheduler · dd4c7df4
  Cedric Richter authored Nov 23, 2023
  
  dd4c7df4
- bubaak: fix showing the version · 6c591779
  Marek Chalupa authored Nov 23, 2023
  6c591779
- Fix returning a result from coop-slowbeast · 3d18913c
  Marek Chalupa authored Nov 23, 2023
  
  3d18913c
- workflows/default: adjust KLEE's timeout dynamically · 7a1f30fb
  Marek Chalupa authored Nov 23, 2023
  
  7a1f30fb
- make: fix setting up splitter · bada35b1
  Marek Chalupa authored Nov 23, 2023
  
  bada35b1
- Improved splitting workflow that better represent the original idea · f7802878
  Cedric Richter authored Nov 23, 2023
  
  f7802878
- update KLEE · feb8856b
  Marek Chalupa authored Nov 23, 2023
  
  feb8856b
- Bundle workflows · 9512809d
  Marek Chalupa authored Nov 23, 2023
  
  9512809d
- Fix the default workflow · eb7228be
  Marek Chalupa authored Nov 23, 2023
  
  eb7228be