Pull requests: lisa-analyzer/lisa
Pull requests list
Octagon ⚠ priority:p5 Priority planning - level 5 🏗 resolution:wip Incomplete work - do not review yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🎆 type:feature New feature or request
#344 opened Oct 18, 2025 by LorenzoMioso Loading…
SVCOMP Features ‼ priority:p1 Priority planning - level 1 🏗 resolution:wip Incomplete work - do not review yet 🔍 scope:analysis Work regarding abstract domains or fixpoint algorithms 🌍 scope:interproc Work regarding interprocedural analyses or call graphs 🏛 scope:program-structure Work regarding the program structure 🐛 type:bug Something isn't working 🎆 type:feature New feature or request
#329 opened Jul 1, 2025 by lucaneg Loading…
ProTip! Filter pull requests by the default branch with base:master.