Skip to content

Pull requests: endjin/Z3.Linq

New pull request New
42 Open 32 Closed
42 Open 32 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Convert the demos to single-file Spectre.Console apps pending_release
#110 opened Sep 2, 2026 by HowardvanRooijen Member • 39/39 • Draft
1
Merge the scalar and element marshallers into ReadZ3Value pending_release
#109 opened Sep 2, 2026 by HowardvanRooijen Member • 38/39 • Draft
1
Extract Assert for the Solver/Optimize dispatch pending_release
#108 opened Sep 2, 2026 by HowardvanRooijen Member • 37/39 • Draft
1
Extract MemberClrType for the property/field type switch pending_release
#107 opened Sep 2, 2026 by HowardvanRooijen Member • 36/39 • Draft
1
Modernise the solve path with C# 14 idioms pending_release
#106 opened Sep 2, 2026 by HowardvanRooijen Member • 35/39 • Draft
1
Cut per-solve managed allocations by caching per-type reflection pending_release
#105 opened Sep 2, 2026 by HowardvanRooijen Member • 34/39 • Draft
1
Add a BenchmarkDotNet suite for solve hot paths pending_release
#104 opened Sep 2, 2026 by HowardvanRooijen Member • 33/39 • Draft
1
Fix two defects in the solve-limits code found by review pending_release
#103 opened Sep 1, 2026 by HowardvanRooijen Member • 32/39 • Draft
1
Support byte, sbyte and ushort as bounded integer symbols pending_release
#102 opened Sep 1, 2026 by HowardvanRooijen Member • 31/39 • Draft
1
Support uint and ulong as bit-vector symbols pending_release
#101 opened Sep 1, 2026 by HowardvanRooijen Member • 30/39 • Draft
1
Make the expression visitor an internal instance class pending_release
#100 opened Sep 1, 2026 by HowardvanRooijen Member • 29/39 • Draft
1
Translate ternaries, and stop crashing on bitwise and real modulo pending_release
#99 opened Sep 1, 2026 by HowardvanRooijen Member • 28/39 • Draft
1
Bound each integer symbol to the range of its type pending_release
#98 opened Sep 1, 2026 by HowardvanRooijen Member • 27/39 • Draft
1
1
Let a solve be bounded, and say when Z3 could not decide pending_release
#96 opened Sep 1, 2026 by HowardvanRooijen Member • 26/39 • Draft
1
1
Encode a DateTime as ticks rather than a file time pending_release
#95 opened Sep 1, 2026 by HowardvanRooijen Member • 25/39 • Draft
1
1
Generate and validate the XML documentation pending_release
#94 opened Sep 1, 2026 by HowardvanRooijen Member • 24/39 • Draft
1
1
Size collections from the instance passed to NewTheorem pending_release
#93 opened Sep 1, 2026 by HowardvanRooijen Member • 23/39 • Draft
1
1
Choose numeric conversions by sort, not by target type pending_release
#92 opened Sep 1, 2026 by HowardvanRooijen Member • 22/39 • Draft
1
1
Marshal anonymous environments like every other shape pending_release
#91 opened Sep 1, 2026 by HowardvanRooijen Member • 21/39 • Draft
1
1
Give collections the same sorts as scalars pending_release
#90 opened Sep 1, 2026 by HowardvanRooijen Member • 20/39 • Draft
1
1
Make short and enum symbols work pending_release
#88 opened Sep 1, 2026 by HowardvanRooijen Member • 19/39 • Draft
1
1
Report satisfiability separately from the solution pending_release
#86 opened Sep 1, 2026 by HowardvanRooijen Member • 18/39 Loading…
2
4
Read a DateTime back as UTC pending_release
#84 opened Sep 1, 2026 by HowardvanRooijen Member • 17/39 Loading…
1
2
Read the decimal element the loop selected pending_release
#81 opened Sep 1, 2026 by HowardvanRooijen Member • 16/39 Loading…
1
4
Read a float symbol back as a float pending_release
#80 opened Sep 1, 2026 by HowardvanRooijen Member • 15/39 Loading…
1
2
ProTip! Mix and match filters to narrow down what you’re looking for.