Skip to content

Cleaning

Viktor Kuncak requested to merge github/fork/SimonGuilloud/cleaning into main

Created by: SimonGuilloud

Reorganise lisa.utils, split more clearly between parsing, library and kernel helpers. INclude more documentation and helper functions. Solve issue with tests finishing early by making LISA run in a fork, not in the same process as sbt.

Merge request reports