search

epfl-lara / ScalaZ3

DSL in Scala for Constraint Solving with Z3 SMT Solver
Apache License 2.0
122 stars 34 forks source link

Move to new style of build definition. #59

Closed dragos closed 5 years ago

dragos commented 6 years ago

This is a required step to migration to Sbt 1, but it’s valuable on its own. I find the .value based syntax a lot clearer than the old (deprecated) operator syntax.

This commit doesn’t change semantics of the build.

dragos commented 6 years ago

I removed the old Build file, as that was also deprecated. Now the whole build is contained inside build.sbt. Most other changes are purely mechanical translation of operator syntax to the new .value syntax.

romac commented 5 years ago

Superseded by #64