Skip to content

Actions: kind2-mc/kind2

Actions

Kind2 CI

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Honor --inline_arrays flag for arrays containing enumeration values Kind2 CI #1561: Pull request #1100 opened by daniel-larraz
September 30, 2024 19:52 35m 28s daniel-larraz:inline-array-enum
daniel-larraz:inline-array-enum
September 30, 2024 19:52 35m 28s
Merge pull request #1099 from daniel-larraz/certif-get-values Kind2 CI #1560: Commit a0ce37b pushed by daniel-larraz
September 28, 2024 02:15 12m 5s develop
develop
September 28, 2024 02:15 12m 5s
Use get_var_values to get model in certifChecker Kind2 CI #1559: Pull request #1099 opened by daniel-larraz
September 28, 2024 00:13 11m 11s daniel-larraz:certif-get-values
daniel-larraz:certif-get-values
September 28, 2024 00:13 11m 11s
Merge pull request #1098 from daniel-larraz/smt-arrays-logic Kind2 CI #1558: Commit fd7e8ab pushed by daniel-larraz
September 26, 2024 22:04 11m 16s develop
develop
September 26, 2024 22:04 11m 16s
Do not add UF to logic if using smt arrays Kind2 CI #1557: Pull request #1098 opened by daniel-larraz
September 26, 2024 20:48 16m 53s daniel-larraz:smt-arrays-logic
daniel-larraz:smt-arrays-logic
September 26, 2024 20:48 16m 53s
Really fix count_array.lus Kind2 CI #1556: Commit a811323 pushed by daniel-larraz
September 26, 2024 16:10 22m 45s develop
develop
September 26, 2024 16:10 22m 45s
Merge pull request #1097 from daniel-larraz/abstract-enum-variant Kind2 CI #1555: Commit f8c54f5 pushed by daniel-larraz
September 3, 2024 21:49 11m 48s develop
develop
September 3, 2024 21:49 11m 48s
Abstract if node argument is enum variant Kind2 CI #1554: Pull request #1097 opened by daniel-larraz
September 3, 2024 20:26 13m 36s daniel-larraz:abstract-enum-variant
daniel-larraz:abstract-enum-variant
September 3, 2024 20:26 13m 36s
Merge pull request #1096 from daniel-larraz/reorder-flattening-ref-types Kind2 CI #1553: Commit aba45c0 pushed by daniel-larraz
August 30, 2024 20:36 10m 29s develop
develop
August 30, 2024 20:36 10m 29s
Reorder flattening of refinement types in pipeline Kind2 CI #1552: Pull request #1096 opened by daniel-larraz
August 30, 2024 19:17 14m 4s daniel-larraz:reorder-flattening-ref-types
daniel-larraz:reorder-flattening-ref-types
August 30, 2024 19:17 14m 4s
Merge pull request #1095 from daniel-larraz/expand-types Kind2 CI #1551: Commit cbace84 pushed by daniel-larraz
August 29, 2024 17:20 12m 1s develop
develop
August 29, 2024 17:20 12m 1s
Expand nested types and types of call arguments Kind2 CI #1550: Pull request #1095 opened by daniel-larraz
August 29, 2024 16:02 10m 39s daniel-larraz:expand-types
daniel-larraz:expand-types
August 29, 2024 16:02 10m 39s
Merge pull request #1094 from daniel-larraz/ref-type-dep Kind2 CI #1549: Commit 2eb9ea8 pushed by daniel-larraz
August 29, 2024 15:16 15m 32s develop
develop
August 29, 2024 15:16 15m 32s
Fix dependency analysis for refinement types Kind2 CI #1548: Pull request #1094 opened by daniel-larraz
August 29, 2024 13:53 14m 1s daniel-larraz:ref-type-dep
daniel-larraz:ref-type-dep
August 29, 2024 13:53 14m 1s
Merge pull request #1093 from daniel-larraz/poly-type-dep Kind2 CI #1547: Commit 0d2710a pushed by daniel-larraz
August 28, 2024 22:37 11m 30s develop
develop
August 28, 2024 22:37 11m 30s
Fix dependency analysis for polymorphic user types Kind2 CI #1546: Pull request #1093 opened by daniel-larraz
August 28, 2024 21:22 10m 39s daniel-larraz:poly-type-dep
daniel-larraz:poly-type-dep
August 28, 2024 21:22 10m 39s
Merge pull request #1092 from daniel-larraz/free-const-subrange-array Kind2 CI #1545: Commit f5023d8 pushed by daniel-larraz
August 23, 2024 21:19 11m 31s develop
develop
August 23, 2024 21:19 11m 31s
Create param subrange constraints for arrays Kind2 CI #1544: Pull request #1092 opened by daniel-larraz
August 23, 2024 19:49 11m 2s daniel-larraz:free-const-subrange-array
daniel-larraz:free-const-subrange-array
August 23, 2024 19:49 11m 2s
Merge pull request #1091 from daniel-larraz/logics-free-constants Kind2 CI #1543: Commit b93a3a3 pushed by daniel-larraz
August 23, 2024 17:48 12m 27s develop
develop
August 23, 2024 17:48 12m 27s
Add logics from free constant types and constraints Kind2 CI #1542: Pull request #1091 opened by daniel-larraz
August 23, 2024 16:33 16m 58s daniel-larraz:logics-free-constants
daniel-larraz:logics-free-constants
August 23, 2024 16:33 16m 58s
Merge pull request #1090 from daniel-larraz/bounds-free-const Kind2 CI #1541: Commit 688b7a3 pushed by daniel-larraz
August 22, 2024 01:56 13m 33s develop
develop
August 22, 2024 01:56 13m 33s
Store bounds of free constant arrays Kind2 CI #1540: Pull request #1090 opened by daniel-larraz
August 21, 2024 21:27 12m 3s daniel-larraz:bounds-free-const
daniel-larraz:bounds-free-const
August 21, 2024 21:27 12m 3s
Merge pull request #1089 from daniel-larraz/flatten-ref-types-contrac… Kind2 CI #1539: Commit ffb483d pushed by daniel-larraz
August 21, 2024 16:46 11m 19s develop
develop
August 21, 2024 16:46 11m 19s
Flatten refinement types in contract items Kind2 CI #1538: Pull request #1089 opened by daniel-larraz
August 21, 2024 15:27 10m 22s daniel-larraz:flatten-ref-types-contract-eqs
daniel-larraz:flatten-ref-types-contract-eqs
August 21, 2024 15:27 10m 22s
Merge pull request #1088 from daniel-larraz/expand-expected-type-args Kind2 CI #1537: Commit 01f954a pushed by daniel-larraz
August 21, 2024 02:02 16m 25s develop
develop
August 21, 2024 02:02 16m 25s