mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-06-01 22:57:51 +00:00
Code Activity

update ignore

Browse source
This commit is contained in:
Nikolaj Bjorner 2026-05-20 18:18:18 -07:00
parent c33a725bd8
commit af7a4de258
2 changed files with 8 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

6
.gitignore vendored
View file

@ -118,3 +118,9 @@ bazel-*
# Local issue tracking # Local issue tracking
.beads .beads
.z3-agent/ .z3-agent/
.playwright*/
.atomic/
.deepscan/
.deeptest/
tptp_test/
tptp_benchmarks/

4
src/api/dotnet/Context.cs
View file

@ -585,7 +585,7 @@ namespace Microsoft.Z3
/// <summary> /// <summary>
/// Create a polymorphic datatype sort with explicit type parameters. /// Create a polymorphic datatype sort with explicit type parameters.
/// Type parameters should be sorts created with <see cref="MkTypeVariable"/>. /// Type parameters should be sorts created with <see cref="MkTypeVariable(string)"/>.
/// </summary> /// </summary>
/// <param name="name">name of the datatype sort</param> /// <param name="name">name of the datatype sort</param>
/// <param name="typeParams">array of type variable sorts</param> /// <param name="typeParams">array of type variable sorts</param>
@ -608,7 +608,7 @@ namespace Microsoft.Z3
/// <summary> /// <summary>
/// Create a polymorphic datatype sort with explicit type parameters. /// Create a polymorphic datatype sort with explicit type parameters.
/// Type parameters should be sorts created with <see cref="MkTypeVariable"/>. /// Type parameters should be sorts created with <see cref="MkTypeVariable(string)"/>.
/// </summary> /// </summary>
/// <param name="name">name of the datatype sort</param> /// <param name="name">name of the datatype sort</param>
/// <param name="typeParams">array of type variable sorts</param> /// <param name="typeParams">array of type variable sorts</param>