Commits · main · Kristián Kumor / slowbeastCSE

May 08, 2024
- fixed multiplepaths, added cse stats · a1c7d6b9
  Kristián Kumor authored May 08, 2024
  
  a1c7d6b9
May 07, 2024
- arg for multiple templates, bugfix, comments · 125943e3
  Kristián Kumor authored May 07, 2024
  
  125943e3
May 06, 2024
- forgotten debug statement · 66f33cbb
  Kristián Kumor authored May 06, 2024
  
  66f33cbb
- remove forgotten variable · 8b839b12
  Kristián Kumor authored May 06, 2024
  
  8b839b12
- documentation and cleanup · 8bd1ac61
  Kristián Kumor authored May 06, 2024
  
  8bd1ac61
- benchexec requirements added · 6e1c757c
  Kristián Kumor authored May 06, 2024
  
  6e1c757c
- merge fixes · e5bb0cea
  Kristián Kumor authored May 06, 2024
  
  e5bb0cea
May 03, 2024
- workspace merge · 7047b6e9
  Kristián Kumor authored May 03, 2024
  
  7047b6e9
- merge latest slowbeast · 094ae062
  Kristián Kumor authored May 03, 2024
  
  094ae062
- last changes · 2be56ca5
  Kristián Kumor authored May 03, 2024
  
  2be56ca5
Apr 12, 2024
- fixes · 01c9370c
  Kristián Kumor authored Apr 12, 2024
  
  01c9370c
Mar 24, 2024
- tests, mostly from sv benchmark · ab88a3a1
  Kristián Kumor authored Mar 24, 2024
  
  ab88a3a1
- bugfixes and complicated loop resolution attempt · 4f656b53
  Kristián Kumor authored Mar 24, 2024
  
  4f656b53
Mar 11, 2024
- implemented bitvector pow · f2976eda
  Kristián Kumor authored Mar 11, 2024
  
  f2976eda
- loop analysis fixes · d9900953
  Kristián Kumor authored Mar 11, 2024
  
  d9900953
Feb 24, 2024
- subtraction added · 91adbe5f
  Kristián Kumor authored Feb 24, 2024
  
  91adbe5f
- bugfix, cleanup and read/modified MOs for future use · 29ea16bf
  Kristián Kumor authored Feb 24, 2024
  
  29ea16bf
Feb 21, 2024
- infinity tweaks · 90284cfc
  Kristián Kumor authored Feb 21, 2024
  
  90284cfc
- added the sum test · 2ab97d70
  turtle authored Feb 21, 2024
  
  2ab97d70
- Merge branch 'main' of https://gitlab.fi.muni.cz/xkumor/slowbeastcse · ee943745
  turtle authored Feb 21, 2024
  
  ee943745
- 79Revert "codestyle" · 84f21da1
  turtle authored Feb 21, 2024
```
This reverts commit 7979fb39.
```
  84f21da1
- codestyle · 7979fb39
  turtle authored Feb 21, 2024
  
  7979fb39
Feb 20, 2024
- fixed some incorrect results · 44b79004
  Kristián Kumor authored Feb 20, 2024
  
  44b79004
Feb 15, 2024
- WIP implementation of nested loop processing - bugfixes pending · 182da746
  Kristián Kumor authored Feb 15, 2024
  
  182da746
- implication support added to sb · afa9e77a
  Kristián Kumor authored Feb 15, 2024
  
  afa9e77a
- nested loop detection added to sb · 48e031c5
  Kristián Kumor authored Feb 15, 2024
  
  48e031c5
Feb 02, 2024
- added benchexec configs and tests · a733ab82
  Kristián Kumor authored Feb 02, 2024
  
  a733ab82
Dec 04, 2023
- complex loop work v1 · a3960220
  Kristián Kumor authored Dec 04, 2023
  
  a3960220
- new tests and refactor · ae63558f
  Kristián Kumor authored Dec 04, 2023
  
  ae63558f
Nov 21, 2023
- added proper timeout only where it is needed · 9391b257
  Kristián Kumor authored Nov 21, 2023
  
  9391b257
Nov 20, 2023
- minor tweaks and timeout for solver · 1a9cda15
  Kristián Kumor authored Nov 20, 2023
  
  1a9cda15
- fixed some incorrect false · ca72b19d
  Kristián Kumor authored Nov 20, 2023
  
  ca72b19d
Nov 15, 2023
- some fixes · 0ab8a2f5
  Kristián Kumor authored Nov 15, 2023
  
  0ab8a2f5
Nov 13, 2023
- these tests need to pass · 5d46406c
  Kristián Kumor authored Nov 13, 2023
  
  5d46406c
- refactor · 321d701c
  Kristián Kumor authored Nov 13, 2023
  
  321d701c
Oct 30, 2023
- more fixes · c3c69f13
  Kristián Kumor authored Oct 30, 2023
  
  c3c69f13
Oct 29, 2023
- fix · 5f456ca1
  Kristián Kumor authored Oct 29, 2023
  
  5f456ca1
- added tests from benchexec · 127e3ff7
  Kristián Kumor authored Oct 29, 2023
  
  127e3ff7
- change processing refactored · 0d0999bc
  Kristián Kumor authored Oct 29, 2023
  
  0d0999bc
- WIP refactor · 58008443
  Kristián Kumor authored Oct 29, 2023
  
  58008443