Skip to content

Actions: Z3Prover/z3

Actions

OCaml Binding CI (Ubuntu + macOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ocaml.yaml
2,500+ workflow runs
2,500+ workflow runs

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
Nightly: fix Mac ARM64 build by targeting macOS 13.3 for std::format … OCaml Binding CI (Ubuntu + macOS) #7674: Commit 5a55ed7 pushed by NikolajBjorner
21m 0s master
master
21m 0s
[coz3-deepperf-fix] lp: hoist loop-invariant pivot reads in HNF pivot… OCaml Binding CI (Ubuntu + macOS) #7670: Commit 2c16f44 pushed by levnach
27m 2s master
master
27m 2s
[coz3-deepperf-fix] lp: hoist loop-invariant pivot reads in HNF pivot_column_non_fractional OCaml Binding CI (Ubuntu + macOS) #7669: Pull request #10073 opened by levnach
24m 58s coz3-deepperf-fix-hnf-pivot-74187f92ae0a2779
coz3-deepperf-fix-hnf-pivot-74187f92ae0a2779
24m 58s
lp: hoist loop-invariant pivot reads in hnf pivot_column_non_fractional OCaml Binding CI (Ubuntu + macOS) #7668: Commit 1b171b3 pushed by levnach
27m 46s coz3-deepperf-fix-hnf-pivot-74187f92ae0a2779
coz3-deepperf-fix-hnf-pivot-74187f92ae0a2779
27m 46s
update pattern inference to allow patterns with variables outside of … OCaml Binding CI (Ubuntu + macOS) #7667: Commit aa6dddb pushed by levnach
25m 18s coz3-deepperf-fix-hnf-pivot-74187f92ae0a2779
coz3-deepperf-fix-hnf-pivot-74187f92ae0a2779
25m 18s
update pattern inference to allow patterns with variables outside of … OCaml Binding CI (Ubuntu + macOS) #7666: Commit aa6dddb pushed by NikolajBjorner
24m 24s master
master
24m 24s
Improve generation accounting (#10008) (#10009) OCaml Binding CI (Ubuntu + macOS) #7662: Commit 3f6a57e pushed by NikolajBjorner
24m 19s master
master
24m 19s
Improve generation accounting (#10008) OCaml Binding CI (Ubuntu + macOS) #7661: Pull request #10009 synchronize by NikolajBjorner
25m 2s generation
generation
25m 2s
Merge branch 'master' into generation OCaml Binding CI (Ubuntu + macOS) #7660: Commit 84935b3 pushed by NikolajBjorner
24m 29s generation
generation
24m 29s
fix pattern inference to deal with binders properly, pin sorts in tpt… OCaml Binding CI (Ubuntu + macOS) #7659: Commit c56b2cb pushed by NikolajBjorner
24m 30s master
master
24m 30s
Update theory_lra.cpp OCaml Binding CI (Ubuntu + macOS) #7658: Commit f13411d pushed by NikolajBjorner
20m 1s opt-strict-optima-delta-pairs
opt-strict-optima-delta-pairs
20m 1s
opt: validate strict optimization optima faithfully with delta-rational bounds OCaml Binding CI (Ubuntu + macOS) #7657: Pull request #10059 synchronize by NikolajBjorner
19m 46s opt-strict-optima-delta-pairs
opt-strict-optima-delta-pairs
19m 46s
Improve generation accounting (#10008) OCaml Binding CI (Ubuntu + macOS) #7656: Pull request #10009 synchronize by CanCebeci
56s generation
generation
56s
Revert generation initialization OCaml Binding CI (Ubuntu + macOS) #7655: Commit 7a24d3b pushed by CanCebeci
56s generation
generation
56s
Improve generation accounting (#10008) OCaml Binding CI (Ubuntu + macOS) #7654: Pull request #10009 synchronize by CanCebeci
59s generation
generation
59s
Clean up OCaml Binding CI (Ubuntu + macOS) #7653: Commit bc753b5 pushed by CanCebeci
1m 7s generation
generation
1m 7s
Improve generation accounting (#10008) OCaml Binding CI (Ubuntu + macOS) #7652: Pull request #10009 synchronize by CanCebeci
1m 1s generation
generation
1m 1s
Fix index misalignment introduced by last commit OCaml Binding CI (Ubuntu + macOS) #7651: Commit 4978dbe pushed by CanCebeci
42s generation
generation
42s
Improve generation accounting (#10008) OCaml Binding CI (Ubuntu + macOS) #7650: Pull request #10009 synchronize by CanCebeci
44s generation
generation
44s
Remove pointless generation assignment for eq atom OCaml Binding CI (Ubuntu + macOS) #7649: Commit 1a584a2 pushed by CanCebeci
59s generation
generation
59s
opt: validate strict optimization optima faithfully with delta-rational bounds OCaml Binding CI (Ubuntu + macOS) #7648: Pull request #10059 synchronize by levnach
21m 15s opt-strict-optima-delta-pairs
opt-strict-optima-delta-pairs
21m 15s
ci: fix macOS opam stale-cache patch error by removing manual ~/.opam… OCaml Binding CI (Ubuntu + macOS) #7647: Commit 02a1aec pushed by levnach
21m 8s opt-strict-optima-delta-pairs
opt-strict-optima-delta-pairs
21m 8s
defer ho-matching to lazy mam OCaml Binding CI (Ubuntu + macOS) #7646: Commit 7040a74 pushed by NikolajBjorner
54s master
master
54s
Improve generation accounting (#10008) OCaml Binding CI (Ubuntu + macOS) #7645: Pull request #10009 synchronize by CanCebeci
24m 26s generation
generation
24m 26s
Revert cg_table. Use m_generation property on congruence roots OCaml Binding CI (Ubuntu + macOS) #7644: Commit 0ee0a11 pushed by CanCebeci
22m 27s generation
generation
22m 27s