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

Nov 21, 2025
- remove reg2mem · 64b321f9
  Adéla Štěpková authored Nov 21, 2025
  
  View commits for tag svcomp26 svcomp26
  64b321f9
Nov 20, 2025
- add nondet function for i128 · 1bbfb554
  Adéla Štěpková authored Nov 20, 2025
  
  1bbfb554
Nov 18, 2025
- add comments · 3bc4dd01
  Adéla Štěpková authored Nov 18, 2025
  
  3bc4dd01
Nov 14, 2025
- add back reg2mem · 16cf8885
  Adéla Štěpková authored Nov 14, 2025
  
  16cf8885
Nov 12, 2025
- add more status updates · 72911ee9
  Adéla Štěpková authored Nov 12, 2025
  
  72911ee9
- remove reg2mem · dd98b148
  Adéla Štěpková authored Nov 12, 2025
  
  dd98b148
- use domination instead of reachability to find out if a value is needed · e125d84c
  Adéla Štěpková authored Nov 12, 2025
  
  e125d84c
- fix message in test.py · aba53008
  Adéla Štěpková authored Nov 12, 2025
  
  aba53008
- better final message in test.py · 68528d1d
  Adéla Štěpková authored Nov 12, 2025
  
  68528d1d
- add GVNPass back to postprocessing · f0542afc
  Adéla Štěpková authored Nov 12, 2025
  
  f0542afc
- add reg2mem pass to preprocessing · 026d581a
  Adéla Štěpková authored Nov 12, 2025
  
  026d581a
Nov 11, 2025
- update README for tests · db1ef82d
  Adéla Štěpková authored Nov 11, 2025
  
  db1ef82d
- add README for tests · a308a3da
  Adéla Štěpková authored Nov 11, 2025
  
  a308a3da
- remove TODOs · 9c33fdf4
  Adéla Štěpková authored Nov 11, 2025
  
  9c33fdf4
- add new test script · ecd0add7
  Adéla Štěpková authored Nov 11, 2025
  
  ecd0add7
- update README · cf7a0aa7
  Adéla Štěpková authored Nov 11, 2025
  
  cf7a0aa7
- add dockerfile · 475a24c5
  Adéla Štěpková authored Nov 11, 2025
  
  475a24c5
- skip simplifyMemosyOps · decc64ca
  Adéla Štěpková authored Nov 11, 2025
  
  decc64ca
Nov 05, 2025
- strip pointer casts from a CallInst when identifying functions · f49d8c64
  Adéla Štěpková authored Nov 05, 2025
  
  f49d8c64
Nov 03, 2025
- add an empty predecessor to every block with an (indirect) assert · 63539591
  Adéla Štěpková authored Nov 03, 2025
  
  63539591
Nov 02, 2025
- add DCEPass before custom opt, remove GVNPass from post · b78efb5e
  Adéla Štěpková authored Nov 02, 2025
  
  b78efb5e
Nov 01, 2025
- clone module header into the reversed module · 77c7831f
  Adéla Štěpková authored Nov 01, 2025
  
  77c7831f
- if no assert is found, just reverse what is there and do not add new main or error() · e7670577
  Adéla Štěpková authored Nov 01, 2025
  
  e7670577
- fail if no main was found · 1643a552
  Adéla Štěpková authored Nov 01, 2025
  
  1643a552
Oct 26, 2025
- fix: do not replace constants with constants · 6ae9fc78
  Adéla Štěpková authored Oct 26, 2025
  
  6ae9fc78
Oct 24, 2025
- output unsupported instructions in reverseBasicInstructions · 5d72d62f
  Adéla Štěpková authored Oct 24, 2025
  
  5d72d62f
- remove SimplifyCFG because it creats select · 54cd751c
  Adéla Štěpková authored Oct 24, 2025
  
  54cd751c
- move simplifyCFG from after reversing to before reversing · a5cb47b1
  Adéla Štěpková authored Oct 24, 2025
  
  a5cb47b1
- update path to symbiotic in test.py · 8198be05
  Adéla Štěpková authored Oct 24, 2025
  
  8198be05
Oct 22, 2025
- remove TODO · 56271cec
  Adéla Štěpková authored Oct 22, 2025
  
  56271cec
- fix: branch to return only from init block · a4cf4972
  Adéla Štěpková authored Oct 22, 2025
  
  a4cf4972
- do not replace older values with newer values in simplifyAssume · 6be93d57
  Adéla Štěpková authored Oct 22, 2025
  
  6be93d57
Oct 20, 2025
- allow simplifyCFG in custom preprocessing · c5a4c1b4
  Adéla Štěpková authored Oct 20, 2025
  
  c5a4c1b4
- compute same paths with virtualDT · 996854c4
  Adéla Štěpková authored Oct 20, 2025
  
  996854c4
- add version printing · 92c57e2a
  Adéla Štěpková authored Oct 20, 2025
  
  92c57e2a
- move options to a separate class, cancel debug mode · e8f6a51d
  Adéla Štěpková authored Oct 20, 2025
  
  e8f6a51d
- add virtualDT to simplifyAssume · c7f256e1
  Adéla Štěpková authored Oct 20, 2025
  
  c7f256e1
- add attributes to assume placeholder, so that it is not optimizad away · 62bbcf7f
  Adéla Štěpková authored Oct 20, 2025
  
  62bbcf7f
- add name and year to the license · ca15c5ae
  Adéla Štěpková authored Oct 20, 2025
  
  ca15c5ae
- add MIT license · 620c8d5c
  Adéla Štěpková authored Oct 20, 2025
  
  620c8d5c