| .. |
|
core
|
Whitespace, newlines
|
2017-05-10 12:44:25 +01:00 |
|
dotnet35
|
Tabs, formatting.
|
2017-09-17 17:50:05 +01:00 |
|
Properties
|
Bump the copyright year in `AssemblyInfo.cs.in`. Perhaps we should
|
2015-12-14 09:51:45 +00:00 |
|
AlgebraicNum.cs
|
increment version number due to ABI/API breaking change #1556
|
2018-03-31 05:20:47 -07:00 |
|
ApplyResult.cs
|
re-organize proof and model converters to be associated with goals instead of external
|
2017-11-18 16:33:54 -08:00 |
|
ArithExpr.cs
|
adding model-based opt facility
|
2016-04-27 11:18:20 -07:00 |
|
ArithSort.cs
|
Managed API: Refactoring and formatting.
|
2012-11-23 18:30:51 +00:00 |
|
ArrayExpr.cs
|
integrate lambda expressions
|
2018-06-26 07:23:04 -07:00 |
|
ArraySort.cs
|
additional array functions exposed over API, ping #1223
|
2017-10-19 11:08:48 -07:00 |
|
AST.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
ASTMap.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
ASTVector.cs
|
Added conversion functions to ASTVectors in .NET and Java.
|
2015-05-26 11:20:19 +01:00 |
|
BitVecExpr.cs
|
.NET FPA API overhaul
|
2015-01-08 17:21:29 +00:00 |
|
BitVecNum.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
BitVecSort.cs
|
Managed API: Refactoring, Formatting.
|
2012-11-26 13:47:26 +00:00 |
|
BoolExpr.cs
|
adding model-based opt facility
|
2016-04-27 11:18:20 -07:00 |
|
BoolSort.cs
|
Managed API: Refactoring and formatting.
|
2012-11-23 18:30:51 +00:00 |
|
cmake_install_gac.cmake.in
|
[CMake] Move CMake files into their intended location so the
|
2017-06-12 11:59:00 +01:00 |
|
cmake_uninstall_gac.cmake.in
|
[CMake] Move CMake files into their intended location so the
|
2017-06-12 11:59:00 +01:00 |
|
CMakeLists.txt
|
integrate lambda expressions
|
2018-06-26 07:23:04 -07: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
|
work around regression with use of mk_app_core, returning BR_FAILED if nothing is rewritten
|
2018-07-02 11:10:37 -07: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 |
|
Deprecated.cs
|
remove deprecated API functionality
|
2015-11-14 13:47:41 -08: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
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
FiniteDomainExpr.cs
|
Added finite domain expressions and numerals to the .NET, Java, and Python APIs.
|
2015-12-02 17:01:52 +00:00 |
|
FiniteDomainNum.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
FiniteDomainSort.cs
|
Managed API: Refactoring and formatting.
|
2012-11-23 18:30:51 +00:00 |
|
Fixedpoint.cs
|
use params for arguments to Fixedpoint methods
|
2018-07-13 18:09:30 -07:00 |
|
FPExpr.cs
|
.NET FPA API overhaul
|
2015-01-08 17:21:29 +00:00 |
|
FPNum.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07: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
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
FuncInterp.cs
|
Made DRQ objects public in Java and .NET APIs.
|
2015-01-30 21:58:43 -06:00 |
|
Global.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
Goal.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
IDecRefQueue.cs
|
Made DRQ objects public in Java and .NET APIs.
|
2015-01-30 21:58:43 -06:00 |
|
IntExpr.cs
|
.NET FPA API overhaul
|
2015-01-08 17:21:29 +00:00 |
|
IntNum.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07: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 |
|
Lambda.cs
|
add upper-case files
|
2018-06-26 07:52:38 -07: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
|
Added new items to .NET project file
|
2016-01-05 11:37:34 +00:00 |
|
Microsoft.Z3.Sharp.pc.in
|
Teach the build system to generate and install a pkg-config file for the
|
2015-12-05 07:52:31 +00:00 |
|
Microsoft.Z3.snk
|
Added/improved facilities for strong name signing of the .NET assembly.
|
2016-07-28 18:07:34 +01:00 |
|
Model.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
Optimize.cs
|
make .NET and Java bindings for optimization use Expr instead of ArithExpr to accomodate bit-vector optimization
|
2017-11-13 08:51:16 -08:00 |
|
ParamDescrs.cs
|
add documentation methods to param_descrs, add C++ API and example for param_descrs. Issue #443
|
2016-02-12 11:45:00 +00:00 |
|
Params.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
Pattern.cs
|
bindings --> api; and moved nlsat/sat/subpaving tactics
|
2012-10-31 13:25:36 -07:00 |
|
Probe.cs
|
Changed references to help-tactics to help-tactic.
|
2015-10-25 11:45:46 -07:00 |
|
Quantifier.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
RatNum.cs
|
Managed API: Refactoring and formatting.
|
2012-11-23 18:30:51 +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 |
|
ReExpr.cs
|
seq, API
|
2016-01-03 20:53:06 -08:00 |
|
RelationSort.cs
|
Managed API: Refactoring and formatting.
|
2012-11-23 18:30:51 +00:00 |
|
ReSort.cs
|
seq, API
|
2016-01-03 20:53:06 -08:00 |
|
SeqExpr.cs
|
seq, API
|
2016-01-03 20:53:06 -08:00 |
|
SeqSort.cs
|
seq, API
|
2016-01-03 20:53:06 -08:00 |
|
SetSort.cs
|
Managed API: Refactoring and formatting.
|
2012-11-23 18:30:51 +00:00 |
|
Solver.cs
|
merge
|
2018-04-30 14:36:45 -07:00 |
|
Sort.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07:00 |
|
Statistics.cs
|
change storage layout of .Net binding Z3_bool to byte to deal with uninitialized memory reads on larger allocation sizes. Bug introduced when switching from defining Z3_bool as int to the bool type from stdbool
|
2018-07-02 02:58:06 -07: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
|
add reference equality to Symbols for .NET
|
2015-07-11 00:53:13 -07:00 |
|
Tactic.cs
|
Changed references to help-tactics to help-tactic.
|
2015-10-25 11:45:46 -07: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
|
Added full version strings and associated API functions.
|
2016-07-28 18:06:02 +01:00 |
|
Z3Exception.cs
|
Fixes for .NET Core build
|
2016-11-02 13:36:29 +00:00 |
|
Z3Object.cs
|
use type constrsaints for co-variant subtying to enable .net 3.5
|
2016-08-30 12:07:06 +08:00 |
