Commits · df87427be9efa798b341fd853fe78b088f93ab87 · Adéla Štěpková / reverser · GitLab

Aug 26, 2025
- fix no value mapping with indirect assert call · df87427b
  Adéla Štěpková authored Aug 26, 2025
  
  df87427b
- add testing scripts with 2 calls of the same function · 496f512d
  Adéla Štěpková authored Aug 26, 2025
  
  496f512d
Aug 22, 2025
- start implementing constant propagation · 19514a3e
  Adéla Štěpková authored Aug 22, 2025
  
  19514a3e
- fix VERIFIER_error location · 64e01571
  Adéla Štěpková authored Aug 22, 2025
  
  64e01571
- fix type of placeholder assume · b1444251
  Adéla Štěpková authored Aug 22, 2025
  
  b1444251
Aug 21, 2025
- fix wrong test case · 1fe36a7b
  Adéla Štěpková authored Aug 21, 2025
  
  1fe36a7b
- add trunc and zext test programs · e0be6438
  Adéla Štěpková authored Aug 21, 2025
  
  e0be6438
Aug 19, 2025
- add test scripts with more asserts · 6f333e8a
  Adéla Štěpková authored Aug 19, 2025
  
  6f333e8a
Aug 17, 2025
- fix and add testing scripts for assert in function · 1cda83e9
  Adéla Štěpková authored Aug 17, 2025
  
  1cda83e9
- fix minor bugs · f0e965c2
  Adéla Štěpková authored Aug 17, 2025
  
  f0e965c2
- fix mapping of asserts · b4433d74
  Adéla Štěpková authored Aug 17, 2025
  
  b4433d74
- add scripts testing assert in a called function · 3520acb9
  Adéla Štěpková authored Aug 17, 2025
  
  3520acb9
Aug 16, 2025
- add testing programs with multiple-argument calls · aad09a1e
  Adéla Štěpková authored Aug 16, 2025
  
  aad09a1e
- fix bugs with copying instructions in alloca and return BBs · c07d92d2
  Adéla Štěpková authored Aug 16, 2025
  
  c07d92d2
- add call testing scripts · cb0b228a
  Adéla Štěpková authored Aug 16, 2025
  
  cb0b228a
Aug 15, 2025
- add more loop test scripts · cd715a34
  Adéla Štěpková authored Aug 15, 2025
  
  cd715a34
- add timeout argument to test.py · 3c25d242
  Adéla Štěpková authored Aug 15, 2025
  
  3c25d242
- small fixes · 41a300a4
  Adéla Štěpková authored Aug 15, 2025
  
  41a300a4
Aug 11, 2025
- improve output of test.py · bdff700f
  Adéla Štěpková authored Aug 11, 2025
  
  bdff700f
- add timeout to test.py · d6ac9216
  Adéla Štěpková authored Aug 11, 2025
  
  d6ac9216
- fix more PHI bugs · 1c0f701c
  Adéla Štěpková authored Aug 11, 2025
  
  1c0f701c
- fix awkward get/set in blockValueMap, replace insert with [] · cef3f556
  Adéla Štěpková authored Aug 11, 2025
  
  cef3f556
Aug 10, 2025
- add loop test script · 0a3713fa
  Adéla Štěpková authored Aug 10, 2025
  
  0a3713fa
- fix a test script · a1889143
  Adéla Štěpková authored Aug 10, 2025
  
  a1889143
- make the test script ready for adding more verifiers · d268229b
  Adéla Štěpková authored Aug 10, 2025
  
  d268229b
Aug 07, 2025
- add inner representation of assume and nondet generators, standardize at the end · de2a2f08
  Adéla Štěpková authored Aug 07, 2025
  
  de2a2f08
- add testing scripts for phi with const · 95aff7af
  Adéla Štěpková authored Aug 07, 2025
  
  95aff7af
Aug 06, 2025
- fix bug in handling PHI with const · 3efb56bc
  Adéla Štěpková authored Aug 06, 2025
  
  3efb56bc
- add option to specify variable prefix is addNames · b7cefe7a
  Adéla Štěpková authored Aug 06, 2025
  
  b7cefe7a
- fix bug with PHI copying from previous update · 21c1a31f
  Adéla Štěpková authored Aug 06, 2025
  
  21c1a31f
Aug 05, 2025
- change arg in testing script to nonmandatory · 220fea3b
  Adéla Štěpková authored Aug 05, 2025
  
  220fea3b
- handle PHI with const with 1 predecessor · a2640e74
  Adéla Štěpková authored Aug 05, 2025
  
  a2640e74
- update branch test scripts · 8a303cd2
  Adéla Štěpková authored Aug 05, 2025
  
  8a303cd2
Jul 14, 2025
- add more arguments to the testing script · 7728fc7e
  Adéla Štěpková authored Jul 14, 2025
  
  7728fc7e
- change nondet function names: i32 -> int, i8 -> char · 42afcc32
  Adéla Štěpková authored Jul 14, 2025
  
  42afcc32
Jul 07, 2025
- fix segfault after refactoring · 9ce2b824
  Adéla Štěpková authored Jul 07, 2025
  
  9ce2b824
Jul 03, 2025
- refactoring, not finished · ca24c3bb
  Adéla Štěpková authored Jul 03, 2025
  
  ca24c3bb
Jun 30, 2025
- more branching test programs · beef570a
  Adéla Štěpková authored Jun 30, 2025
  
  beef570a
- fix bug with PHI update for equivalent values · 74113c2c
  Adéla Štěpková authored Jun 30, 2025
  
  74113c2c
Jun 28, 2025
- fix bug with PHI update for failed assert block · 779e6551
  Adéla Štěpková authored Jun 28, 2025
  
  779e6551