| .. |
|
api
|
bump version number in unstable branch
|
2012-11-11 10:50:24 -08:00 |
|
ast
|
fixed bug detected in regression tests
|
2012-11-07 10:46:00 -08:00 |
|
cmd_context
|
fixed bugs found in regression tests
|
2012-11-07 07:36:40 -08:00 |
|
front_end_params
|
old_params ==> front_end_params. Isolated abstract solver interface
|
2012-11-01 11:28:14 -07:00 |
|
math
|
bindings --> api; and moved nlsat/sat/subpaving tactics
|
2012-10-31 13:25:36 -07:00 |
|
model
|
isolated proto_model obsolete code
|
2012-10-29 20:15:33 -07:00 |
|
muz_qe
|
add missing check for difference logic fragment for clause heads
|
2012-11-10 11:50:17 +01:00 |
|
nlsat
|
bindings --> api; and moved nlsat/sat/subpaving tactics
|
2012-10-31 13:25:36 -07:00 |
|
parsers
|
added support for named assertions
|
2012-11-02 14:00:43 -07:00 |
|
sat
|
bindings --> api; and moved nlsat/sat/subpaving tactics
|
2012-10-31 13:25:36 -07:00 |
|
shell
|
Display version number using new format
|
2012-11-10 19:03:16 -08:00 |
|
smt
|
Fixed bug reported by Heizmann at codeplex
|
2012-11-07 07:52:07 -08:00 |
|
solver
|
fixed bugs found in regression tests
|
2012-11-07 07:36:40 -08:00 |
|
tactic
|
cleanning solver initialization, and fixing named assertion support
|
2012-11-02 16:35:08 -07:00 |
|
test
|
Added support for clang++ on OSX
|
2012-11-12 04:56:48 +00:00 |
|
util
|
Added support for clang++ on OSX
|
2012-11-12 04:56:48 +00:00 |
