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

Browse files

Mar 22, 2026
- check if function return type is not a pointer · 57234f85
  Adéla Štěpková authored Mar 22, 2026
  
  57234f85
- fix checking support of global variables · 26c72a5d
  Adéla Štěpková authored Mar 22, 2026
  
  26c72a5d
Mar 21, 2026
- remove print · 7c0b1618
  Adéla Štěpková authored Mar 21, 2026
  
  7c0b1618
Mar 18, 2026
- remove optnone on all reversed functions · 5b89d635
  Adéla Štěpková authored Mar 18, 2026
  
  5b89d635
Mar 17, 2026
- correct setting of function attributes · 1c22c650
  Adéla Štěpková authored Mar 17, 2026
  
  1c22c650
- fail on recursion if --inline is specified · 66727170
  Adéla Štěpková authored Mar 17, 2026
  
  66727170
Mar 16, 2026
- set sv comp error function only to reach_error · 40006eb4
  Adéla Štěpková authored Mar 16, 2026
  
  40006eb4
- run reg2mem after inlining · 1ed39e0d
  Adéla Štěpková authored Mar 16, 2026
  
  1ed39e0d
- prevent registering local values as globals · d4a131f5
  Adéla Štěpková authored Mar 16, 2026
  
  d4a131f5
- initialize return value of a rev function in the initial basic block · 7ad1edc4
  Adéla Štěpková authored Mar 16, 2026
  
  7ad1edc4
- remove array test program, it is superficial · b49a3eef
  Adéla Štěpková authored Mar 16, 2026
  
  b49a3eef
Mar 15, 2026
- reverse function declarations without inverting them · bdaa512a
  Adéla Štěpková authored Mar 15, 2026
  
  bdaa512a
- fix float equality comparison (+0 != -0) · f7a4216a
  Adéla Štěpková authored Mar 15, 2026
  
  f7a4216a
Mar 12, 2026
- allow all intrinsics · a09178f2
  Adéla Štěpková authored Mar 12, 2026
  
  a09178f2
- reverse intrinsics correctly · 3f8f9eaa
  Adéla Štěpková authored Mar 12, 2026
  
  3f8f9eaa
- ban pointers to pointers · bb1fa999
  Adéla Štěpková authored Mar 12, 2026
  
  bb1fa999
Mar 09, 2026
- move preprocessing before feature check · 704fd318
  Adéla Štěpková authored Mar 09, 2026
  
  704fd318
- ignore intrinsics · 5b7178d7
  Adéla Štěpková authored Mar 09, 2026
  
  5b7178d7
- add DCE after reg2mem in preprocessing · 11fb43b3
  Adéla Štěpková authored Mar 09, 2026
  
  11fb43b3
- add translation of x86_fp80 type to C · c993ac53
  Adéla Štěpková authored Mar 09, 2026
  
  c993ac53
- allow bitcast · 6f6b101e
  Adéla Štěpková authored Mar 09, 2026
  
  6f6b101e
Mar 06, 2026
- remove prints · 5a706c56
  Adéla Štěpková authored Mar 06, 2026
  
  5a706c56
Mar 05, 2026
- add support for select · 45e16222
  Adéla Štěpková authored Mar 05, 2026
  
  45e16222
- add lowerswitch pass, allow switch instruction · fc3548f8
  Adéla Štěpková authored Mar 05, 2026
  
  fc3548f8
- fix testing program · 149da3be
  Adéla Štěpková authored Mar 05, 2026
  
  149da3be
Mar 04, 2026
- add SROA · e11323fd
  Adéla Štěpková authored Mar 04, 2026
  
  e11323fd
- fix function inlining · 40ae3eff
  Adéla Štěpková authored Mar 04, 2026
  
  40ae3eff
Mar 03, 2026
- add function inlining · 030a6584
  Adéla Štěpková authored Mar 03, 2026
  
  030a6584
Feb 27, 2026
- make arguments to ban constant propagation and assume propagation separately · eb5eb4de
  Adéla Štěpková authored Feb 27, 2026
  
  eb5eb4de
- more testing programs · a3989cfe
  Adéla Štěpková authored Feb 27, 2026
  
  a3989cfe
Feb 18, 2026
- fix comparison of floating point numbers · e4c445a6
  Adéla Štěpková authored Feb 18, 2026
  
  e4c445a6
- add description of architecture · ede5884d
  Adéla Štěpková authored Feb 18, 2026
  
  ede5884d
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