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

Browse files

Dec 14, 2025
- Merge branch 'main' of gitlab.fi.muni.cz:xstepkov/reverser · af48eca3
  Adéla Štěpková authored Dec 14, 2025
  
  af48eca3
- update dockerfile · 227060f1
  Adéla Štěpková authored Dec 14, 2025
  
  227060f1
Dec 11, 2025
- add back reg2mem · 74175693
  Adéla Štěpková authored Dec 11, 2025
  
  74175693
Nov 27, 2025
- allow float allocas · 6f61f48f
  Adéla Štěpková authored Nov 27, 2025
  
  6f61f48f
- port to LLVM 12, update readme · 7d6f33f1
  Adéla Štěpková authored Nov 27, 2025
  
  7d6f33f1
Nov 22, 2025
- update help message · 3b4ce088
  Adéla Štěpková authored Nov 22, 2025
  
  3b4ce088
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