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

Oct 08, 2025
- optimize precomputation of basic block reachability · be73381e
  Adéla Štěpková authored Oct 08, 2025
  
  be73381e
- better precomputation of basic block reachability · 6f2a04f1
  Adéla Štěpková authored Oct 08, 2025
  
  6f2a04f1
- do not store values that are no longer needed · 39319e54
  Adéla Štěpková authored Oct 08, 2025
  
  39319e54
Oct 07, 2025
- test.py: add more options · 67d3e372
  Adéla Štěpková authored Oct 07, 2025
  
  67d3e372
- add a new main function that runs main_bad · bd3684ca
  Adéla Štěpková authored Oct 07, 2025
  
  bd3684ca
Oct 06, 2025
- fix undefined behavior when creating function types · 54daea8e
  Adéla Štěpková authored Oct 06, 2025
  
  54daea8e
- disallow struct and array allocations in global variables · 624361d7
  Adéla Štěpková authored Oct 06, 2025
  
  624361d7
- handle declarations correctly · d3ad1651
  Adéla Štěpková authored Oct 06, 2025
  
  d3ad1651
Oct 05, 2025
- Merge branch 'fix' into 'main' · edceed62
  Adéla Štěpková authored Oct 05, 2025
  edceed62
- implement svcomp mode · 5a3c13fb
  Adéla Štěpková authored Oct 05, 2025
  
  5a3c13fb
- fix bug where assume is considered an assert · 93f3f055
  Adéla Štěpková authored Oct 05, 2025
  
  93f3f055
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