Skip to content

Actions: kind2-mc/kind2

Actions

Kind2 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
kind2-ci.yml
427 workflow runs
427 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support forwards and backwards variable references in local variable refinement type predicates Kind2 CI #1451: Pull request #1063 synchronize by lorchrob
May 13, 2024 17:04 10m 18s lorchrob:ref-type-locals
lorchrob:ref-type-locals
May 13, 2024 17:04 10m 18s
Support forwards and backwards variable references in local variable refinement type predicates Kind2 CI #1450: Pull request #1063 synchronize by lorchrob
May 13, 2024 16:28 9m 51s lorchrob:ref-type-locals
lorchrob:ref-type-locals
May 13, 2024 16:28 9m 51s
Support forwards and backwards variable references in local variable refinement type predicates Kind2 CI #1449: Pull request #1063 synchronize by lorchrob
May 13, 2024 15:39 10m 38s lorchrob:ref-type-locals
lorchrob:ref-type-locals
May 13, 2024 15:39 10m 38s
Support forwards and backwards variable references in local variable refinement type predicates Kind2 CI #1448: Pull request #1063 synchronize by lorchrob
May 10, 2024 20:27 10m 58s lorchrob:ref-type-locals
lorchrob:ref-type-locals
May 10, 2024 20:27 10m 58s
Merge pull request #1070 from lorchrob/imp-node-contract-realizability Kind2 CI #1447: Commit 5ad2756 pushed by daniel-larraz
May 9, 2024 21:13 13m 40s develop
develop
May 9, 2024 21:13 13m 40s
Merge pull request #1069 from lorchrob/flatten-gen-imp-nodes Kind2 CI #1446: Commit 2ba1762 pushed by daniel-larraz
May 9, 2024 19:52 10m 34s develop
develop
May 9, 2024 19:52 10m 34s
Merge pull request #1066 from lorchrob/ref-types-doc Kind2 CI #1445: Commit 525dce1 pushed by daniel-larraz
May 9, 2024 18:44 10m 53s develop
develop
May 9, 2024 18:44 10m 53s
When checking imported node realizability, need both node contract and environment Kind2 CI #1444: Pull request #1070 opened by lorchrob
May 9, 2024 17:44 9m 56s lorchrob:imp-node-contract-realizability
lorchrob:imp-node-contract-realizability
May 9, 2024 17:44 9m 56s
Rearrange pipeline steps to perform ref type flattening after imported node generation Kind2 CI #1443: Pull request #1069 opened by lorchrob
May 9, 2024 16:54 10m 51s lorchrob:flatten-gen-imp-nodes
lorchrob:flatten-gen-imp-nodes
May 9, 2024 16:54 10m 51s
Refinement type user documentation Kind2 CI #1442: Pull request #1066 synchronize by lorchrob
May 9, 2024 16:36 12m 17s lorchrob:ref-types-doc
lorchrob:ref-types-doc
May 9, 2024 16:36 12m 17s
Merge pull request #1068 from lorchrob/local-const-bug-fix Kind2 CI #1441: Commit d7ca880 pushed by daniel-larraz
May 8, 2024 22:40 12m 3s develop
develop
May 8, 2024 22:40 12m 3s
Merge pull request #1067 from lorchrob/assumption-global-const-bug Kind2 CI #1440: Commit 1700919 pushed by daniel-larraz
May 8, 2024 22:26 9m 48s develop
develop
May 8, 2024 22:26 9m 48s
Enforce subrange and refinement type restrictions on local constants Kind2 CI #1439: Pull request #1068 opened by lorchrob
May 8, 2024 16:38 10m 31s lorchrob:local-const-bug-fix
lorchrob:local-const-bug-fix
May 8, 2024 16:38 10m 31s
Fix bug that erroneously disallowed refinement type assumptions from referencing global constants Kind2 CI #1438: Pull request #1067 synchronize by lorchrob
May 8, 2024 15:17 10m 24s lorchrob:assumption-global-const-bug
lorchrob:assumption-global-const-bug
May 8, 2024 15:17 10m 24s
Fix bug that erroneously disallowed refinement type assumptions from referencing global constants Kind2 CI #1437: Pull request #1067 opened by lorchrob
May 8, 2024 15:15 11m 53s lorchrob:assumption-global-const-bug
lorchrob:assumption-global-const-bug
May 8, 2024 15:15 11m 53s
Merge pull request #1065 from lorchrob/cand-gen-prop-output Kind2 CI #1436: Commit 8d6f648 pushed by daniel-larraz
May 6, 2024 17:28 16m 47s develop
develop
May 6, 2024 17:28 16m 47s
Give more detailed information about property types in all output formats Kind2 CI #1435: Pull request #1065 synchronize by lorchrob
May 6, 2024 15:37 15m 16s lorchrob:cand-gen-prop-output
lorchrob:cand-gen-prop-output
May 6, 2024 15:37 15m 16s
Refinement type user documentation Kind2 CI #1434: Pull request #1066 opened by lorchrob
May 2, 2024 15:08 10m 6s lorchrob:ref-types-doc
lorchrob:ref-types-doc
May 2, 2024 15:08 10m 6s
Give more detailed information about property types in all output formats Kind2 CI #1433: Pull request #1065 synchronize by lorchrob
May 2, 2024 14:33 10m 6s lorchrob:cand-gen-prop-output
lorchrob:cand-gen-prop-output
May 2, 2024 14:33 10m 6s
Give more detailed information about property types in all output formats Kind2 CI #1432: Pull request #1065 opened by lorchrob
May 2, 2024 14:09 10m 14s lorchrob:cand-gen-prop-output
lorchrob:cand-gen-prop-output
May 2, 2024 14:09 10m 14s
Merge pull request #1064 from lorchrob/ref-type-realizability-lsp Kind2 CI #1431: Commit ecd681b pushed by daniel-larraz
April 29, 2024 19:00 16m 0s develop
develop
April 29, 2024 19:00 16m 0s
Add contract start line information to Kind 2 output with LSP flag enabled Kind2 CI #1430: Pull request #1064 opened by lorchrob
April 29, 2024 16:27 15m 36s lorchrob:ref-type-realizability-lsp
lorchrob:ref-type-realizability-lsp
April 29, 2024 16:27 15m 36s
Support forwards and backwards variable references in local variable refinement type predicates Kind2 CI #1429: Pull request #1063 opened by lorchrob
April 26, 2024 16:04 9m 50s lorchrob:ref-type-locals
lorchrob:ref-type-locals
April 26, 2024 16:04 9m 50s
Merge pull request #1061 from lorchrob/ref-type-realizability Kind2 CI #1428: Commit 53b9b5e pushed by daniel-larraz
April 23, 2024 23:51 15m 46s develop
develop
April 23, 2024 23:51 15m 46s
Add support for realizability checks for non-imported nodes Kind2 CI #1427: Pull request #1061 synchronize by lorchrob
April 23, 2024 22:22 17m 35s lorchrob:ref-type-realizability
lorchrob:ref-type-realizability
April 23, 2024 22:22 17m 35s