Christoph M. Wintersteiger 0f9f01a321 Fix for G++. ... Avoids this error: ../src/muz_qe/heap_trie.h: In member function ‘virtual unsigned int heap_trie<Key, KeyLE, Value>::leaf::num_leaves() const’: ../src/muz_qe/heap_trie.h:91:64: error: there are no arguments to ‘ref_count’ that depend on a template parameter, so a declaration of ‘ref_count’ must be available [-fpermissive] ../src/muz_qe/heap_trie.h:91:64: note: (if you use ‘-fpermissive’, G++ will accept your code, but allowing the use of an undeclared name is deprecated) Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>		2013-02-19 22:08:44 +00:00
..
api	Fix bug reported by Andrey Kupriyanov	2013-02-14 09:55:42 -08:00
ast	Fix more issues unintepreted sort tests.	2013-02-15 16:31:49 -08:00
cmd_context	Fix uninterpreted sort definition. There was a mismatch in the behavior of the API and SMT front-ends. The SMT front-ends were using user_sorts to be able to support parametric uninterpreted sorts. After this fix, the API also creates user_sorts.	2013-02-12 14:34:31 -08:00
math	Fix cygwin (with python 2.6) compilation problems.	2013-01-28 17:29:55 -08:00
model	Fix issue reported at http://stackoverflow.com/questions/14524316/z3-4-3-get-complete-model	2013-01-25 09:29:03 -08:00
muz_qe	Fix for G++.	2013-02-19 22:08:44 +00:00
nlsat	Add nlsat.factor option. This is a workaround for the slow factorization procedure.	2013-01-02 21:18:02 -08:00
parsers	Fix uninterpreted sort definition. There was a mismatch in the behavior of the API and SMT front-ends. The SMT front-ends were using user_sorts to be able to support parametric uninterpreted sorts. After this fix, the API also creates user_sorts.	2013-02-12 14:34:31 -08:00
sat	exposed sat params	2012-12-02 16:38:33 -08:00
shell	Fix build hashcode	2013-02-13 09:16:38 -08:00
smt	Fix more issues unintepreted sort tests.	2013-02-15 16:31:49 -08:00
solver	Fix memout detected in nightly regressions	2012-12-15 13:26:11 -08:00
tactic	FPA bugfix	2013-01-31 12:49:43 +00:00
test	optimizing hilbert basis	2013-02-18 18:58:43 -08:00
util	add hilbert basis utility for extracting auxiliary invariants	2013-02-12 14:58:04 -08:00