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

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
- add branching test programs · fd2cc549
  Adéla Štěpková authored Jun 28, 2025
  
  fd2cc549
Jun 26, 2025
- update test.py · ab8c33a2
  Adéla Štěpková authored Jun 26, 2025
  
  ab8c33a2
- add test program for float arithmetic · b07b30b1
  Adéla Štěpková authored Jun 26, 2025
  
  b07b30b1
- add float arithmetic · 281ec53a
  Adéla Štěpková authored Jun 26, 2025
  
  281ec53a
- update test programs · c4701ffa
  Adéla Štěpková authored Jun 26, 2025
  
  c4701ffa
- fixed wrong mapping of values in failed assert BB · 55a0c8e3
  Adéla Štěpková authored Jun 26, 2025
  
  55a0c8e3
- fixing bugs with starting from failed assert · 7964ad9f
  Adéla Štěpková authored Jun 26, 2025
  
  7964ad9f