"...purescala/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "710769d2ef0fa9e48a8ec2c6cd99af6b3e217fc0"
-
Sankalp Gambhir authored
* More sensible multi line strings, up scalafmt version * Upgrade sbt version * Upgrade sbt plugins * Upgrade Scala version to 3.3.3 * Update library dependencies * Expose library main classes * Remove infinite loop (?) * Uncomment examples, move Goeland examples to separate object * Scala fmt * Comment SimpleTautology
Sankalp Gambhir authored* More sensible multi line strings, up scalafmt version * Upgrade sbt version * Upgrade sbt plugins * Upgrade Scala version to 3.3.3 * Update library dependencies * Expose library main classes * Remove infinite loop (?) * Uncomment examples, move Goeland examples to separate object * Scala fmt * Comment SimpleTautology
