blob: be40b49e20264a1e6dcc85673e0618397d0f3038 (
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 = "experimental"
long = "fp-lazy-wb"
type = "bool"
default = "false"
help = "Enable lazier word-blasting (on preNotifyFact instead of registerTerm)"
|