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

Sep 22, 2025
- add simple loop + memory test scripts · 1f47f557
  Adéla Štěpková authored Sep 22, 2025
  
  1f47f557
- handle load very simply · 1a54c572
  Adéla Štěpková authored Sep 22, 2025
  
  1a54c572
Sep 21, 2025
- scan directory in alphabet order in test.py · 6480e873
  Adéla Štěpková authored Sep 21, 2025
  
  6480e873
- fix const propagation through and/or · b5cb22e2
  Adéla Štěpková authored Sep 21, 2025
  
  b5cb22e2
- fix more bugs in constant propagation · ffb00595
  Adéla Štěpková authored Sep 21, 2025
  
  ffb00595
- correctly copy the contents of ValueBuilder when duplicating a function · 5eb1d6d9
  Adéla Štěpková authored Sep 21, 2025
  
  5eb1d6d9
Sep 20, 2025
- update README · 9fec1162
  Adéla Štěpková authored Sep 20, 2025
  
  9fec1162
- add timeout to reverser in test.py · b35b3806
  Adéla Štěpková authored Sep 20, 2025
  
  b35b3806
- fix some bugs in constant propagation · 41ed2976
  Adéla Štěpková authored Sep 20, 2025
  
  41ed2976
Sep 19, 2025
- breanch to predecessors right after creating the basic blocks · 6a65dd1c
  Adéla Štěpková authored Sep 19, 2025
  
  6a65dd1c
- improve output in test.py · 56f4e5f0
  Adéla Štěpková authored Sep 19, 2025
  
  56f4e5f0
- 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