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

Sep 26, 2025
- add mem2reg pass for postprocessing · 57ce9ec9
  Adéla Štěpková authored Sep 26, 2025
  
  57ce9ec9
Sep 25, 2025
- add pass to check for unsupported features · 214a43c9
  Adéla Štěpková authored Sep 25, 2025
  
  214a43c9
- refactoring · 61271fb8
  Adéla Štěpková authored Sep 25, 2025
  
  61271fb8
Sep 23, 2025
- add pass to remove unused nondet calls · de88241e
  Adéla Štěpková authored Sep 23, 2025
  
  de88241e
- update nondet_int attributes so that GVNPass treats it correctly · 06a6f004
  Adéla Štěpková authored Sep 23, 2025
  
  06a6f004
- delete load after simplifying it · 4d37e93c
  Adéla Štěpková authored Sep 23, 2025
  
  4d37e93c
- implement memory optimizations · b1adef98
  Adéla Štěpková authored Sep 23, 2025
  
  b1adef98
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