Commits · experimental · Kristián Kumor / slowbeastCSE

Mar 24, 2024
- prototyping · f957c1c2
  Kristián Kumor authored Mar 24, 2024
  
  f957c1c2
- 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
Oct 12, 2023
- template class WIP, refactor · 423e66e6
  Kristián Kumor authored Oct 12, 2023
  
  423e66e6
Oct 09, 2023
- implemented better changes recognition, other fixes · 112b01bf
  Kristián Kumor authored Oct 09, 2023
  
  112b01bf
Oct 08, 2023
- refactor, added template saving · 4b3b9680
  Kristián Kumor authored Oct 08, 2023
  
  4b3b9680
Oct 02, 2023
- crashfix · 2c2f6ad5
  Kristián Kumor authored Oct 02, 2023
  
  2c2f6ad5
Sep 05, 2023
- small cleanup, added more test cases · bf66cdb5
  Kristián Kumor authored Sep 05, 2023
  
  bf66cdb5
Aug 17, 2023
- WIP · e671286c
  Kristián Kumor authored Aug 17, 2023
  
  e671286c
Aug 10, 2023
- execution of loop using black magic · 4e552ab2
  Kristián Kumor authored Aug 10, 2023
  
  4e552ab2
Aug 08, 2023
- WIP · 124b3757
  turtle authored Aug 08, 2023
  
  124b3757
Jul 23, 2023
- WIP · 69f039bb
  Kristián Kumor authored Jul 23, 2023
  
  69f039bb
Jul 22, 2023
- WIP · a792a61b
  Kristián Kumor authored Jul 22, 2023
  
  a792a61b