Commit 93c93964 authored by ='s avatar =

Documenting --precFile; adding a LetSimple example.

parent a03094d6
......@@ -29,7 +29,16 @@ object Main {
List("analysis","solver")),
FlagOptionDef("codegen", "Generate code (as opposed to just doing analysis)."),
FlagOptionDef("randomMP", "random mixed precision assignment"),
ParamOptionDef("precFile", "Force typing using a given file", ""),
ParamOptionDef("precFile", """Force typing using a given file. The format is the following:
function_name:
variable_name_1 = prec_1
variable_name_2 = prec_2
...
function_name_2:
variable_name_i = prec_i
The precision is Float, Double or DoubleDouble.
The file can give only a partial precision map.""", ""),
optionFunctions,
optionPrintToughSMTCalls,
optionValidators
......
import daisy.lang._
import Real._
object LetSimple {
def letSimple(u: Real): Real = {
require(-100.0 <= u && u <= 100)
val v = 331.4 + u
val w = 30000 + v
w - 30000
}
def letSimple2(u: Real): Real = {
require(-100.0 <= u && u <= 100)
val w = 331.4 + u
val v = 30000 + w
v - 700
}
}
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment