leon
leon copied to clipboard
epfl-lara
The Leon system for verification, synthesis, repair
Since the *bash* binary is [not always located in */bin*][0], the *leon* script doesn't always run. This change makes the script more portable, so leon will run on more systems....
``` scala import leon.collection._ // for List import leon.lang._ // for holds object Example { def rightUnitAppend[T](l1: List[T]): Boolean = { l1 ++ Nil() == l1 }.holds } ``` In...
The following program makes Leon's ImperativeCodeElimination crash. ```scala object Dummy { case class M(var value: Int) def barM(m: M) = { m.value = m.value + 1 303 } def foo(m:...
Is it possible to publish the leon library as a maven jar with sources such that one could write scala code with a dependency on the leon library maven jar/source...
Fixes #304 I use the leon library in another project where I compile it with these settings: ``` scalacOptions ++= Seq( "-deprecation", "-encoding", "UTF-8", // yes, this is 2 args...
I like to compile my scala code with these flags: ``` scalacOptions ++= Seq( "-deprecation", "-encoding", "UTF-8", // yes, this is 2 args "-feature", "-language:existentials", "-language:higherKinds", "-language:implicitConversions", "-unchecked", "-Xfatal-warnings", "-Xlint",...
I tried to compile Leon code using the generic `copy()` method for generic case classes (see [here](http://stackoverflow.com/questions/7249396/how-to-clone-a-case-class-instance-and-change-just-one-field-in-scala)), but it seems that it is not yet in the Leon library. Is...
I built leon on my machine (MacOSX Yosemite, 10.10.3) I see that the leon script includes in the SCALACLASSPATH. To make it easier to see what's going on, I edited...
```scala import leon.lang._ import leon.lang.xlang._ import leon.util.Random import leon.collection._ object DataRacing { case class Core(val r:BigInt, val choice:Core, val nbtasks:BigInt) case class SharedState(val progress:BigInt, val cores:BigInt => Core) case class...
