Skip to content

Actions: kind2-mc/kind2

Actions

Kind2 CI

Actions

Loading...
Loading

Showing runs from all workflows named Kind2 CI
444 workflow run results
444 workflow run results

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