Skip to content

Dev static checks 2

Dassire requested to merge dev_static_checks_2 into main

Implements some of the checks listed by #3 :

  • Labels unicity
  • Jumps validity

Implements a check for LIR programs

Add to the main those checks

Merge request reports