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

Sep 19, 2025
- reinitialize memory with nondet value after load to mimic store · 4d1a53e9
  Adéla Štěpková authored Sep 19, 2025
  
  4d1a53e9
Sep 18, 2025
- add test scripts for memory · 29f2a4b1
  Adéla Štěpková authored Sep 18, 2025
  
  29f2a4b1
- initialize uninitialized memory · 2c58cbc5
  Adéla Štěpková authored Sep 18, 2025
  
  2c58cbc5
Sep 17, 2025
- implement alloca mapping · 54a86996
  Adéla Štěpková authored Sep 17, 2025
  
  54a86996
Sep 16, 2025
- partially implement domination analysis in simlifyAssume · f2cbb3f7
  Adéla Štěpková authored Sep 16, 2025
  
  f2cbb3f7
Sep 15, 2025
- mvoe function identifier functions out of a class · a52e79c3
  Adéla Štěpková authored Sep 15, 2025
  
  a52e79c3
- add setInsertPointBeforeTerminator method to ValueBuilder · f4bf1d64
  Adéla Štěpková authored Sep 15, 2025
  
  f4bf1d64
- fix bugs after cleanup · 4c27750a
  Adéla Štěpková authored Sep 15, 2025
  
  4c27750a
Sep 14, 2025
- cleanup · c9076750
  Adéla Štěpková authored Sep 14, 2025
  
  c9076750
- add option to turn off assume simplification · 2cb464a2
  Adéla Štěpková authored Sep 14, 2025
  
  2cb464a2
Sep 12, 2025
- fix nondet generator attributes so that DCEPass removes its calls · 63c260b3
  Adéla Štěpková authored Sep 12, 2025
  
  63c260b3
- remove unused prints · c444a636
  Adéla Štěpková authored Sep 12, 2025
  
  c444a636
- extend and bugfix constant propagation · e995c136
  Adéla Štěpková authored Sep 12, 2025
  
  e995c136
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