lisa icon indicating copy to clipboard operation
lisa copied to clipboard

Published 20 hours ago • verified publisher icon epfl-lara

Reseal `Proof` trait, upgrade to Scala 3.4.2

Open sankalpgambhir opened this issue 7 months ago • 0 comments

  • Resealed the Proof trait following the fix of the compiler bug causing #190
  • This required upgrading to Scala >= 3.4.1
  • Upgraded to 3.4.2
  • There were a few minor syntax changes that had to be propagated due to deprecations, most of this was done automatically with -rewrite -source 3.4-migration
  • SBT build cross versions are now set dynamically instead of as static strings.

sankalpgambhir avatar Jul 23 '24 08:07 sankalpgambhir