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

Oct 05, 2025
- implement svcomp mode · 5a3c13fb
  Adéla Štěpková authored Oct 05, 2025
  
  5a3c13fb
Oct 04, 2025
- partially implement svcomp mode · 0e30a519
  Adéla Štěpková authored Oct 04, 2025
  
  0e30a519
Sep 30, 2025
- better unification of svcomp functions · bd5a6a58
  Adéla Štěpková authored Sep 30, 2025
  
  bd5a6a58
- remove superficial prints, add silent mode · e9829e86
  Adéla Štěpková authored Sep 30, 2025
  
  e9829e86
- add more standard nondet generators · 97bc8592
  Adéla Štěpková authored Sep 30, 2025
  
  97bc8592
- allow optimizations in symbiotic in test.py · 465f845c
  Adéla Štěpková authored Sep 30, 2025
  
  465f845c
Sep 29, 2025
- handle constants in PHI · 1832d22b
  Adéla Štěpková authored Sep 29, 2025
  
  1832d22b
- replace reach_error and abort with __VERIFIER_assert · 2162538e
  Adéla Štěpková authored Sep 29, 2025
  
  2162538e
Sep 28, 2025
- move all tests scripts to a single directory · aca33f6c
  Adéla Štěpková authored Sep 28, 2025
  
  aca33f6c
- add nondet_bool, fix missing return as terminator · 35c059b9
  Adéla Štěpková authored Sep 28, 2025
  
  35c059b9
- add support for svcomp programs · 71a61ea1
  Adéla Štěpková authored Sep 28, 2025
  
  71a61ea1
Sep 27, 2025
- add support for global variables · 32d884f5
  Adéla Štěpková authored Sep 27, 2025
  
  32d884f5
- bugfix · d5e361c9
  Adéla Štěpková authored Sep 27, 2025
  
  d5e361c9
- handle unreachable instruction · 03be1229
  Adéla Štěpková authored Sep 27, 2025
  
  03be1229
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