Skip to content

Actions: mit-plv/fiat-crypto

Actions

CI (Coq, MacOS)

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
coq-macos.yml
710 workflow run results
710 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add support for applying bool functions to zrange CI (Coq, MacOS) #4169: Pull request #1770 opened by JasonGross
December 4, 2023 19:16 3h 19m 15s JasonGross:fine-grained-bounds-analysis-utils
JasonGross:fine-grained-bounds-analysis-utils
December 4, 2023 19:16 3h 19m 15s
More fine-grained bounds analysis CI (Coq, MacOS) #4168: Pull request #1769 synchronize by JasonGross
December 4, 2023 18:59 18m 30s JasonGross:saturated-solinas-union
JasonGross:saturated-solinas-union
December 4, 2023 18:59 18m 30s
Add Util.Option.bind2 CI (Coq, MacOS) #4167: Pull request #1768 synchronize by JasonGross
December 4, 2023 18:59 1h 9m 4s JasonGross:option-bind-2
JasonGross:option-bind-2
December 4, 2023 18:59 1h 9m 4s
More fine-grained bounds analysis CI (Coq, MacOS) #4166: Pull request #1769 synchronize by JasonGross
December 4, 2023 18:47 12m 54s JasonGross:saturated-solinas-union
JasonGross:saturated-solinas-union
December 4, 2023 18:47 12m 54s
More fine-grained bounds analysis CI (Coq, MacOS) #4165: Pull request #1769 opened by JasonGross
December 4, 2023 18:42 5m 58s JasonGross:saturated-solinas-union
JasonGross:saturated-solinas-union
December 4, 2023 18:42 5m 58s
Add Util.Option.bind2 CI (Coq, MacOS) #4164: Pull request #1768 synchronize by JasonGross
December 4, 2023 17:42 1h 7m 41s JasonGross:option-bind-2
JasonGross:option-bind-2
December 4, 2023 17:42 1h 7m 41s
Add Util.Option.bind2 CI (Coq, MacOS) #4163: Pull request #1768 opened by JasonGross
December 4, 2023 17:33 8m 53s JasonGross:option-bind-2
JasonGross:option-bind-2
December 4, 2023 17:33 8m 53s
Update ZRangeProofs (#1767) CI (Coq, MacOS) #4162: Commit 2cd94bb pushed by JasonGross
December 4, 2023 15:03 3h 22m 21s master
master
December 4, 2023 15:03 3h 22m 21s
Update ZRangeProofs CI (Coq, MacOS) #4161: Pull request #1767 synchronize by JasonGross
December 4, 2023 15:02 3h 15m 29s JasonGross:more-more-zrange-proofs
JasonGross:more-more-zrange-proofs
December 4, 2023 15:02 3h 15m 29s
Add some more ZRangeProofs (#1766) CI (Coq, MacOS) #4160: Commit 4d9fadc pushed by JasonGross
December 4, 2023 08:55 3h 14m 21s master
master
December 4, 2023 08:55 3h 14m 21s
Update ZRangeProofs CI (Coq, MacOS) #4159: Pull request #1767 opened by JasonGross
December 4, 2023 05:48 3h 21m 41s JasonGross:more-more-zrange-proofs
JasonGross:more-more-zrange-proofs
December 4, 2023 05:48 3h 21m 41s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4158: Pull request #1761 synchronize by JasonGross
December 4, 2023 05:05 1h 32m 16s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 4, 2023 05:05 1h 32m 16s
Add some more ZRangeProofs CI (Coq, MacOS) #4157: Pull request #1766 opened by JasonGross
December 4, 2023 04:57 3h 11m 46s JasonGross:more-zrange-proofs
JasonGross:more-zrange-proofs
December 4, 2023 04:57 3h 11m 46s
Bump rewriter from c45abd0 to 026f87b (#1765) CI (Coq, MacOS) #4156: Commit 7a0144e pushed by JasonGross
December 4, 2023 02:30 4h 11m 58s master
master
December 4, 2023 02:30 4h 11m 58s
Factor ZRange Proper proof (#1764) CI (Coq, MacOS) #4155: Commit 212b294 pushed by JasonGross
December 4, 2023 02:10 3h 17m 53s master
master
December 4, 2023 02:10 3h 17m 53s
Bump rewriter from c45abd0 to 026f87b CI (Coq, MacOS) #4154: Pull request #1765 opened by dependabot bot
December 3, 2023 22:19 3h 44m 32s dependabot/submodules/rewriter-026f87b
dependabot/submodules/rewriter-026f87b
December 3, 2023 22:19 3h 44m 32s
Factor ZRange Proper proof CI (Coq, MacOS) #4153: Pull request #1764 opened by JasonGross
December 3, 2023 22:19 3h 12m 24s JasonGross:factor-zrange-proper
JasonGross:factor-zrange-proper
December 3, 2023 22:19 3h 12m 24s
Bump rewriter from bf64674 to c45abd0 (#1763) CI (Coq, MacOS) #4152: Commit 47100d4 pushed by JasonGross
December 3, 2023 21:17 3h 17m 4s master
master
December 3, 2023 21:17 3h 17m 4s
Bump rewriter from bf64674 to c45abd0 CI (Coq, MacOS) #4151: Pull request #1763 opened by dependabot bot
December 3, 2023 17:19 3h 10m 24s dependabot/submodules/rewriter-c45abd0
dependabot/submodules/rewriter-c45abd0
December 3, 2023 17:19 3h 10m 24s
Future-proof CompilersTestCases (#1762) CI (Coq, MacOS) #4150: Commit 1e57389 pushed by JasonGross
December 3, 2023 04:55 3h 15m 53s master
master
December 3, 2023 04:55 3h 15m 53s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4149: Pull request #1761 synchronize by JasonGross
December 3, 2023 02:07 1h 31m 30s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 3, 2023 02:07 1h 31m 30s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4148: Pull request #1761 synchronize by JasonGross
December 3, 2023 01:46 21m 47s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 3, 2023 01:46 21m 47s
Future-proof CompilersTestCases CI (Coq, MacOS) #4147: Pull request #1762 synchronize by JasonGross
December 3, 2023 01:01 3h 11m 27s JasonGross:future-proof-test-cases
JasonGross:future-proof-test-cases
December 3, 2023 01:01 3h 11m 27s
adapt to Coq/Coq#18164 (#1760) CI (Coq, MacOS) #4146: Commit 4f20f8d pushed by JasonGross
December 2, 2023 11:00 3h 33m 36s master
master
December 2, 2023 11:00 3h 33m 36s
Don't replace abstract state of higher order functions with bottom when we can avoid it (now guarded by --fancy-and-powerful-but-exponentially-slow-bounds-analysis) CI (Coq, MacOS) #4145: Pull request #1761 synchronize by JasonGross
December 2, 2023 09:53 1h 32m 22s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 2, 2023 09:53 1h 32m 22s