Skip to content

Actions: endjin/Z3.Linq

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
258 workflow runs
258 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Support uint and ulong as bit-vector symbols approve_and_label #64: Pull request #101 opened by HowardvanRooijen
36s feature/bit-vector-symbols
feature/bit-vector-symbols
36s
Make the expression visitor an internal instance class build #245: Pull request #100 opened by HowardvanRooijen
4m 14s feature/expression-visitor-instance
feature/expression-visitor-instance
4m 14s
Make the expression visitor an internal instance class approve_and_label #63: Pull request #100 opened by HowardvanRooijen
35s feature/expression-visitor-instance
feature/expression-visitor-instance
35s
Translate ternaries, and stop crashing on bitwise and real modulo build #244: Pull request #99 opened by HowardvanRooijen
5m 12s feature/expression-tree-improvements
feature/expression-tree-improvements
5m 12s
Translate ternaries, and stop crashing on bitwise and real modulo approve_and_label #62: Pull request #99 opened by HowardvanRooijen
31s feature/expression-tree-improvements
feature/expression-tree-improvements
31s
Bound each integer symbol to the range of its type build #243: Pull request #98 opened by HowardvanRooijen
4m 2s feature/symbol-bounds
feature/symbol-bounds
4m 2s
Bound each integer symbol to the range of its type approve_and_label #61: Pull request #98 opened by HowardvanRooijen
29s feature/symbol-bounds
feature/symbol-bounds
29s
Let a solve be bounded, and say when Z3 could not decide build #242: Pull request #96 opened by HowardvanRooijen
4m 30s feature/solve-limits
feature/solve-limits
4m 30s
Let a solve be bounded, and say when Z3 could not decide approve_and_label #60: Pull request #96 opened by HowardvanRooijen
37s feature/solve-limits
feature/solve-limits
37s
Encode a DateTime as ticks rather than a file time build #241: Pull request #95 opened by HowardvanRooijen
4m 33s feature/datetime-ticks
feature/datetime-ticks
4m 33s
Encode a DateTime as ticks rather than a file time approve_and_label #59: Pull request #95 opened by HowardvanRooijen
38s feature/datetime-ticks
feature/datetime-ticks
38s
Generate and validate the XML documentation build #240: Pull request #94 opened by HowardvanRooijen
3m 51s feature/xml-docs
feature/xml-docs
3m 51s
Generate and validate the XML documentation approve_and_label #58: Pull request #94 opened by HowardvanRooijen
30s feature/xml-docs
feature/xml-docs
30s
build build #239: Manually run by HowardvanRooijen
4m 1s feature/collection-lengths
feature/collection-lengths
4m 1s
Size collections from the instance passed to NewTheorem approve_and_label #57: Pull request #93 opened by HowardvanRooijen
24s feature/collection-lengths
feature/collection-lengths
24s
Choose numeric conversions by sort, not by target type build #238: Pull request #92 opened by HowardvanRooijen
4m 42s feature/numeric-conversions
feature/numeric-conversions
4m 42s
Choose numeric conversions by sort, not by target type approve_and_label #56: Pull request #92 opened by HowardvanRooijen
28s feature/numeric-conversions
feature/numeric-conversions
28s
Marshal anonymous environments like every other shape build #237: Pull request #91 opened by HowardvanRooijen
4m 44s feature/anonymous-environments
feature/anonymous-environments
4m 44s
Marshal anonymous environments like every other shape approve_and_label #55: Pull request #91 opened by HowardvanRooijen
47s feature/anonymous-environments
feature/anonymous-environments
47s
nuget in /Solutions - Update #1550252098 Dependabot Updates #101: by dependabot Bot
2m 19s main
main
2m 19s
Give collections the same sorts as scalars build #236: Pull request #90 opened by HowardvanRooijen
3m 28s feature/collection-element-sorts
feature/collection-element-sorts
3m 28s
Give collections the same sorts as scalars approve_and_label #54: Pull request #90 opened by HowardvanRooijen
35s feature/collection-element-sorts
feature/collection-element-sorts
35s
Make short and enum symbols work build #235: Pull request #88 opened by HowardvanRooijen
3m 21s feature/short-and-enum-symbols
feature/short-and-enum-symbols
3m 21s
Make short and enum symbols work approve_and_label #53: Pull request #88 opened by HowardvanRooijen
26s feature/short-and-enum-symbols
feature/short-and-enum-symbols
26s
Report satisfiability separately from the solution build #234: Pull request #86 synchronize by HowardvanRooijen
3m 25s feature/unsatisfiability-detection
feature/unsatisfiability-detection
3m 25s