9 commits

Author	SHA1	Message	Date
Christoph M. Wintersteiger	10fe6b7759	ML API refactoring ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-19 16:04:40 +00:00
Christoph M. Wintersteiger	832e119b98	ML API bugfix (Codeplex issue 102) ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-19 16:01:36 +00:00
Christoph M. Wintersteiger	2ee3ff518f	ML bindings: list/array are now called z3array/z3list to avoid confusion. ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-19 16:00:30 +00:00
Christoph M. Wintersteiger	3e336592a2	ML API: bug and build fixes ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-19 16:00:29 +00:00
Christoph M. Wintersteiger	9726ee4c5f	ML API: refactoring ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-19 16:00:28 +00:00
Christoph M. Wintersteiger	c0df764039	Updates to ML API. ... Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>	2015-01-19 15:57:38 +00:00
Josh Berdine	d7b8110cc8	Regenerate ml api	2012-12-20 12:58:21 +00:00
Josh Berdine	6a5de3384c	Regenerate ml api	2012-12-06 00:42:30 +00:00
Leonardo de Moura	a274cac2a0	bindings --> api; and moved nlsat/sat/subpaving tactics	2012-10-31 13:25:36 -07:00

Renamed from src/bindings/ml/z3.mli (Browse further)