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

Oct 09, 2025
- degrade required python version of test.py to 3.9 · 2db1d6ec
  Adela Stepkova authored Oct 09, 2025
  
  2db1d6ec
- change reverser CLI: input file is positional · 8a732c36
  Adéla Štěpková authored Oct 09, 2025
  
  8a732c36
- test.py: print stderr of reverser if there is any · 61e7dc9b
  Adéla Štěpková authored Oct 09, 2025
  
  61e7dc9b
- write to stderr if the reversed module is incorrect · 0c84b7a2
  Adéla Štěpková authored Oct 09, 2025
  
  0c84b7a2
- fix incorrect passing of parameters into an indirect failed assert call · 785200e5
  Adéla Štěpková authored Oct 09, 2025
  
  785200e5
- keep ModuleBundle only while it is really needed · 93214f03
  Adéla Štěpková authored Oct 09, 2025
  
  93214f03
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