search

lyxell / logifix

Fixing static analysis violations in Java source code using Datalog
BSD 2-Clause "Simplified" License
17 stars 0 forks source link

Improve typechecking of boolean expressions #135

Closed lyxell closed 2 years ago