Project

General

Profile

« Previous | Next » 

Revision a0c92fa8

Added by Pierre-Loïc Garoche over 2 years ago

printing nodes + more progress on seal export

View differences:

src/options.ml
29 29
let witnesses = ref false
30 30
let optimization = ref 2
31 31
let lusi = ref false
32
let print_nodes = ref false
32 33
let print_reuse = ref false
33 34
let const_unfold = ref false
34 35
let mpfr = ref false

Also available in: Unified diff