| .. |
|
dyn_ack_params.cpp
|
Resurrected the dack* options.
|
2015-03-04 19:15:22 +00:00 |
|
dyn_ack_params.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
preprocessor_params.cpp
|
expose parameter settings for controlling injectivity axiom. rquested by Jasmin Blanchette
|
2014-05-31 11:25:54 +05:30 |
|
preprocessor_params.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
qi_params.cpp
|
added mbqi.id option, working on quantifiers in duality
|
2013-12-10 11:41:25 -08:00 |
|
qi_params.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
smt_params.cpp
|
add core validation option to directly validate cores using the context
|
2015-08-10 10:56:07 +02:00 |
|
smt_params.h
|
add core validation option to directly validate cores using the context
|
2015-08-10 10:56:07 +02:00 |
|
smt_params_helper.pyg
|
add core validation option to directly validate cores using the context
|
2015-08-10 10:56:07 +02:00 |
|
theory_arith_params.cpp
|
merge Fixedpoint.cs
|
2014-07-28 12:20:48 -07:00 |
|
theory_arith_params.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
theory_array_params.cpp
|
hooked up array.weak and array.extension params
|
2013-06-14 16:46:13 -07:00 |
|
theory_array_params.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
theory_bv_params.cpp
|
Add option smt.bv.enable_int2bv in the new parameter setting framework. This is the new name for the old parameter :bv-enable-int2bv-propagation. This modification addresses an issue reported at http://stackoverflow.com/questions/15798984/bv-enable-int2bv-propagation-option.
|
2013-04-03 15:51:09 -07:00 |
|
theory_bv_params.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
theory_datatype_params.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
|
theory_pb_params.cpp
|
snapshot adding simplex
|
2014-02-11 15:44:47 -08:00 |
|
theory_pb_params.h
|
update header guards to be C++ style. Fixes issue #9
|
2015-07-08 23:18:40 -07:00 |
