Leonardo de Moura efb6b2453e Move AssemblyInfo.cs AssemblyInfo. Update mk_util.py to generate AssemblyInfo.cs instead of modifying it. ... Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>		2013-06-24 15:37:49 -07:00
..
api	Move AssemblyInfo.cs AssemblyInfo. Update mk_util.py to generate AssemblyInfo.cs instead of modifying it.	2013-06-24 15:37:49 -07:00
ast	set proof mode by default to avoid crash on pop if we set it later in duality	2013-05-27 19:22:19 -07:00
cmd_context	added simp of interpolants before print	2013-04-15 14:37:08 -07:00
duality	adding timeout to duality	2013-06-18 12:28:20 -07:00
interp	still integrating duality	2013-04-30 13:07:49 -07: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	adding timeout to duality	2013-06-18 12:28:20 -07: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	working on smt2 and api	2013-03-26 17:25:54 -07:00
smt	hooked up array.weak and array.extension params	2013-06-14 16:46:13 -07:00
solver	Fix memout detected in nightly regressions	2012-12-15 13:26:11 -08:00
tactic	FPA: multiple bugfixes for HWF, MPF and a bugfix for FPA2BV (many thanks to Gabriele Paganelli)	2013-03-01 19:06:01 +00:00
test	added Karr test	2013-02-27 17:32:27 -08:00
util	FPA: multiple bugfixes for HWF, MPF and a bugfix for FPA2BV (many thanks to Gabriele Paganelli)	2013-03-01 19:06:01 +00:00