Skip to content

Actions: mit-plv/fiat-crypto

Actions

Test Generated Java

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
java.yml
822 workflow runs
822 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add remaining rewrite rules for saturated arithmetic Test Generated Java #4867: Pull request #1778 synchronize by JasonGross
December 8, 2023 05:13 56m 56s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 8, 2023 05:13 56m 56s
Bump rewriter from 026f87b to 3a0a5f7 (#1776) Test Generated Java #4866: Commit 0c66069 pushed by JasonGross
December 8, 2023 04:40 37m 57s master
master
December 8, 2023 04:40 37m 57s
Add remaining rewrite rules for saturated arithmetic Test Generated Java #4865: Pull request #1778 opened by JasonGross
December 8, 2023 03:36 9m 56s JasonGross:more-rewrite-complex
JasonGross:more-rewrite-complex
December 8, 2023 03:36 9m 56s
Unobjectionable rewrite rules for saturated arithmetic Test Generated Java #4864: Pull request #1777 opened by JasonGross
December 8, 2023 03:30 6m 14s JasonGross:more-rewrite-simple
JasonGross:more-rewrite-simple
December 8, 2023 03:30 6m 14s
Remove subst! pending a discussion on what syntax makes sense Test Generated Java #4863: Commit 14e9eb4 pushed by JasonGross
December 8, 2023 03:16 1m 11s subst-type-of
subst-type-of
December 8, 2023 03:16 1m 11s
Add subst! and typeof! to Notations.v Test Generated Java #4862: Pull request #1775 synchronize by JasonGross
December 8, 2023 03:16 1m 11s subst-type-of
subst-type-of
December 8, 2023 03:16 1m 11s
Add subst! and typeof! to Notations.v Test Generated Java #4861: Pull request #1775 synchronize by JasonGross
December 8, 2023 03:15 49s subst-type-of
subst-type-of
December 8, 2023 03:15 49s
Use a version of typeof! that can return Props and not just Types Test Generated Java #4860: Commit d44b656 pushed by JasonGross
December 8, 2023 03:15 47s subst-type-of
subst-type-of
December 8, 2023 03:15 47s
Add remaining identifiers for saturated solinas Test Generated Java #4859: Pull request #1774 synchronize by JasonGross
December 8, 2023 02:14 44s JasonGross:saturated-solinas-idents-more
JasonGross:saturated-solinas-idents-more
December 8, 2023 02:14 44s
Bump rewriter from 026f87b to 3a0a5f7 Test Generated Java #4858: Pull request #1776 opened by dependabot bot
December 8, 2023 00:05 1m 13s dependabot/submodules/rewriter-3a0a5f7
dependabot/submodules/rewriter-3a0a5f7
December 8, 2023 00:05 1m 13s
Bump rewriter from 026f87b to 3a0a5f7 Test Generated Java #4857: Commit 506068c pushed by dependabot bot
December 8, 2023 00:05 53s dependabot/submodules/rewriter-3a0a5f7
dependabot/submodules/rewriter-3a0a5f7
December 8, 2023 00:05 53s
Add subst! and typeof! to Notations.v Test Generated Java #4856: Pull request #1775 opened by JasonGross
December 7, 2023 23:22 1m 37s subst-type-of
subst-type-of
December 7, 2023 23:22 1m 37s
Add subst! and typeof! to Notations.v Test Generated Java #4855: Commit faf1967 pushed by JasonGross
December 7, 2023 23:22 42s subst-type-of
subst-type-of
December 7, 2023 23:22 42s
Add remaining identifiers for saturated solinas Test Generated Java #4854: Pull request #1774 synchronize by JasonGross
December 7, 2023 23:16 54s JasonGross:saturated-solinas-idents-more
JasonGross:saturated-solinas-idents-more
December 7, 2023 23:16 54s
Add more identifiers for saturated solinas (#1773) Test Generated Java #4853: Commit d839f89 pushed by JasonGross
December 7, 2023 20:28 45s master
master
December 7, 2023 20:28 45s
Add remaining identifiers for saturated solinas Test Generated Java #4852: Pull request #1774 synchronize by JasonGross
December 7, 2023 16:31 49s JasonGross:saturated-solinas-idents-more
JasonGross:saturated-solinas-idents-more
December 7, 2023 16:31 49s
Add more identifiers for saturated solinas Test Generated Java #4851: Pull request #1773 synchronize by JasonGross
December 7, 2023 16:31 50s JasonGross:saturated-solinas-idents
JasonGross:saturated-solinas-idents
December 7, 2023 16:31 50s
Add remaining identifiers for saturated solinas Test Generated Java #4850: Pull request #1774 opened by JasonGross
December 7, 2023 08:02 56s JasonGross:saturated-solinas-idents-more
JasonGross:saturated-solinas-idents-more
December 7, 2023 08:02 56s
Add more identifiers for saturated solinas Test Generated Java #4849: Pull request #1773 synchronize by JasonGross
December 7, 2023 08:00 56s JasonGross:saturated-solinas-idents
JasonGross:saturated-solinas-idents
December 7, 2023 08:00 56s
Add more identifiers for saturated solinas Test Generated Java #4848: Pull request #1773 synchronize by JasonGross
December 7, 2023 06:08 47s JasonGross:saturated-solinas-idents
JasonGross:saturated-solinas-idents
December 7, 2023 06:08 47s
Add more identifiers for saturated solinas Test Generated Java #4847: Pull request #1773 synchronize by JasonGross
December 7, 2023 01:42 46s JasonGross:saturated-solinas-idents
JasonGross:saturated-solinas-idents
December 7, 2023 01:42 46s
Bump actions/setup-python from 4 to 5 (#1771) Test Generated Java #4846: Commit 612f675 pushed by JasonGross
December 6, 2023 21:26 49m 1s master
master
December 6, 2023 21:26 49m 1s
Bump actions/setup-go from 4 to 5 (#1772) Test Generated Java #4845: Commit f1c52ad pushed by JasonGross
December 6, 2023 20:49 7m 38s master
master
December 6, 2023 20:49 7m 38s
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) Test Generated Java #4844: Pull request #1761 synchronize by JasonGross
December 6, 2023 19:05 45s JasonGross:dont-bottomify
JasonGross:dont-bottomify
December 6, 2023 19:05 45s
Bump actions/setup-go from 4 to 5 Test Generated Java #4843: Pull request #1772 opened by dependabot bot
December 6, 2023 16:53 1m 54s dependabot/github_actions/actions/setup-go-5
dependabot/github_actions/actions/setup-go-5
December 6, 2023 16:53 1m 54s
ProTip! You can narrow down the results and go further in time using created:<2023-12-06 or the other filters available.