mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-20 12:53:38 +00:00
Code Activity
z3/src/api/dotnet
History
Christoph M. Wintersteiger 8c3fc574d1 comments fix
2015-04-24 15:37:45 +01:00
..
Properties Update copyright notices 2014-10-24 18:02:58 +01:00
AlgebraicNum.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
ApplyResult.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
ArithExpr.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
ArithSort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
ArrayExpr.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
ArraySort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
AST.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
ASTMap.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
ASTVector.cs Made GetInterpolant and ComputeInterpolant public in Java and .NET. 2015-04-02 16:51:30 +01:00
BitVecExpr.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
BitVecNum.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
BitVecSort.cs Managed API: Refactoring, Formatting. 2012-11-26 13:47:26 +00:00
BoolExpr.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
BoolSort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
Constructor.cs revert some changes to how 'out' parameters are annotated on API calls. Retain the 'out' annotation for so-called managed out parameters. The data-type examples in managed API fail with the out parameter annotation as no memory is allocated on instances of out parameters, other than the interpolation APIs that are new 2014-10-16 22:40:52 -07:00
ConstructorList.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
Context.cs comments fix 2015-04-24 15:37:45 +01:00
DatatypeExpr.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
DatatypeSort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
EnumSort.cs Added accessors to enumeration sorts. Thanks to codeplex user steimann for suggesting this. 2015-03-24 21:42:05 +00:00
Expr.cs Merge branch 'unstable' of https://git01.codeplex.com/z3 into ml-ng 2015-01-23 11:07:48 +00:00
FiniteDomainSort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
Fixedpoint.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
FPExpr.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
FPNum.cs FPA API: numerals, .NET and Java 2015-01-10 17:28:07 +00:00
FPRMExpr.cs FPA API: numerals, .NET and Java 2015-01-10 17:28:07 +00:00
FPRMNum.cs FPA API: numerals, .NET and Java 2015-01-10 17:28:07 +00:00
FPRMSort.cs Updates to the .NET API for FP 2015-01-02 19:03:20 +00:00
FPSort.cs FPA API cosmetics 2015-01-03 15:15:55 +00:00
FuncDecl.cs Managed API: Refactoring 2012-11-27 00:38:19 +00:00
FuncInterp.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
Global.cs .NET/Java/ML: Moved toggle_warning_messages to Global, added en/disable_trace. 2015-02-07 14:17:39 +00:00
Goal.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
IDecRefQueue.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
InterpolationContext.cs Made GetInterpolant and ComputeInterpolant public in Java and .NET. 2015-04-02 16:51:30 +01:00
IntExpr.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
IntNum.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
IntSort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
IntSymbol.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
ListSort.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
Log.cs bindings --> api; and moved nlsat/sat/subpaving tactics 2012-10-31 13:25:36 -07:00
Microsoft.Z3.csproj Merge branch 'unstable' of https://git01.codeplex.com/z3 into fpa-api 2014-11-11 11:53:39 +00:00
Model.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
ParamDescrs.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
Params.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
Pattern.cs bindings --> api; and moved nlsat/sat/subpaving tactics 2012-10-31 13:25:36 -07:00
Probe.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
Quantifier.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
RatNum.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
Readme.NET35 .NET API: Added build instructions for .NET 3.5 2014-12-02 14:35:15 +00:00
RealExpr.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
RealSort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
RelationSort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
SetSort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
Solver.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
Sort.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
Statistics.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
Status.cs bindings --> api; and moved nlsat/sat/subpaving tactics 2012-10-31 13:25:36 -07:00
StringSymbol.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
Symbol.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
Tactic.cs Made DRQ objects public in Java and .NET APIs. 2015-01-30 21:58:43 -06:00
TupleSort.cs .NET FPA API overhaul 2015-01-08 17:21:29 +00:00
UninterpretedSort.cs Managed API: Refactoring and formatting. 2012-11-23 18:30:51 +00:00
Version.cs Formatting 2012-11-22 20:37:24 +00:00
Z3Exception.cs bindings --> api; and moved nlsat/sat/subpaving tactics 2012-10-31 13:25:36 -07:00
Z3Object.cs Dealt with some concurrency issues due to concurrent GC. 2014-08-12 10:16:00 +01:00

Readme.NET35 

The default Z3 bindings for .NET are built for the .NET framework version 4.
Should the need arise, it is also possible to build them for .NET 3.5; the
instructions are as follows:

In the project properties of Microsoft.Z3.csproj:
- Under 'Application': Change Target framework to .NET Framework 3.5
- Under 'Build': Add FRAMEWORK_LT_4 to the condidional compilation symbols
- Remove the reference to System.Numerics
- Install the NuGet Package "Microsoft Code Contracts for Net3.5"