blob: 2ed61effe7b6ec42f731f92f6b1eda1f2cbdcb7f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
|
id = "FP"
name = "Floating-Point"
[[option]]
name = "fpExp"
category = "regular"
long = "fp-exp"
type = "bool"
default = "false"
help = "Allow floating-point sorts of all sizes, rather than only Float32 (8/24) or Float64 (11/53) (experimental)"
[[option]]
name = "fpLazyWb"
category = "expert"
long = "fp-lazy-wb"
type = "bool"
default = "false"
help = "Enable lazier word-blasting (on preNotifyFact instead of registerTerm)"
|
