Skip to content

Actions: jesyspa/kotlin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
508 workflow runs
508 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Supported additional operators (+=, ++ and similar) (#248) Formal Verification Plugin CI #564: Commit c16337f pushed by GrigoriiSolnyshkin
December 20, 2024 06:14 20m 34s formal-verification
formal-verification
December 20, 2024 06:14 20m 34s
Support nested unfolding in instead of unfold in Pure Linearizer Formal Verification Plugin CI #563: Pull request #249 opened by GrigoriiSolnyshkin
December 20, 2024 06:13 20m 47s unfolding-in-in-pure-linearizer
unfolding-in-in-pure-linearizer
December 20, 2024 06:13 20m 47s
Enable invariants specified by user (loopInvariants) Formal Verification Plugin CI #562: Pull request #247 synchronize by GrigoriiSolnyshkin
December 20, 2024 04:21 22m 1s invariant-func
invariant-func
December 20, 2024 04:21 22m 1s
Enable invariants specified by user (loopInvariants) Formal Verification Plugin CI #561: Pull request #247 synchronize by GrigoriiSolnyshkin
December 19, 2024 14:04 18m 32s invariant-func
invariant-func
December 19, 2024 14:04 18m 32s
Supported additional operators (+=, ++ and similar) Formal Verification Plugin CI #560: Pull request #248 opened by GrigoriiSolnyshkin
December 19, 2024 13:11 18m 53s plus-assign-etc
plus-assign-etc
December 19, 2024 13:11 18m 53s
Enable invariants specified by user (loopInvariants) Formal Verification Plugin CI #559: Pull request #247 opened by GrigoriiSolnyshkin
December 12, 2024 06:30 19m 47s invariant-func
invariant-func
December 12, 2024 06:30 19m 47s
Correct Invariants for loops (#246) Formal Verification Plugin CI #558: Commit 24c24f1 pushed by GrigoriiSolnyshkin
November 28, 2024 05:54 6m 4s formal-verification
formal-verification
November 28, 2024 05:54 6m 4s
Correct Invariants for loops Formal Verification Plugin CI #557: Pull request #246 synchronize by GrigoriiSolnyshkin
November 28, 2024 05:30 18m 16s base-invariants-for-loops
base-invariants-for-loops
November 28, 2024 05:30 18m 16s
Embedding for Strings (#244) Formal Verification Plugin CI #556: Commit 146659e pushed by GrigoriiSolnyshkin
November 28, 2024 05:29 24m 8s formal-verification
formal-verification
November 28, 2024 05:29 24m 8s
Correct Invariants for loops Formal Verification Plugin CI #555: Pull request #246 synchronize by GrigoriiSolnyshkin
November 28, 2024 05:22 18m 4s base-invariants-for-loops
base-invariants-for-loops
November 28, 2024 05:22 18m 4s
Embedding for Strings Formal Verification Plugin CI #554: Pull request #244 synchronize by GrigoriiSolnyshkin
November 28, 2024 05:08 18m 37s string-embedding
string-embedding
November 28, 2024 05:08 18m 37s
Correct Invariants for loops Formal Verification Plugin CI #553: Pull request #246 opened by GrigoriiSolnyshkin
November 22, 2024 08:33 19m 19s base-invariants-for-loops
base-invariants-for-loops
November 22, 2024 08:33 19m 19s
Embedding for Strings Formal Verification Plugin CI #552: Pull request #244 synchronize by GrigoriiSolnyshkin
October 30, 2024 17:14 3m 58s string-embedding
string-embedding
October 30, 2024 17:14 3m 58s
Support of Z3 in Github Actions (#245) Formal Verification Plugin CI #551: Commit 86433af pushed by GrigoriiSolnyshkin
October 30, 2024 15:54 23m 38s formal-verification
formal-verification
October 30, 2024 15:54 23m 38s
Support of Z3 in Github Actions Formal Verification Plugin CI #550: Pull request #245 synchronize by GrigoriiSolnyshkin
October 30, 2024 15:29 21m 32s z3-support-in-github-actions
z3-support-in-github-actions
October 30, 2024 15:29 21m 32s
Support of Z3 in Github Actions Formal Verification Plugin CI #549: Pull request #245 synchronize by GrigoriiSolnyshkin
October 30, 2024 15:08 18m 59s z3-support-in-github-actions
z3-support-in-github-actions
October 30, 2024 15:08 18m 59s
Embedding for Strings Formal Verification Plugin CI #548: Pull request #244 synchronize by GrigoriiSolnyshkin
October 24, 2024 05:45 21m 43s string-embedding
string-embedding
October 24, 2024 05:45 21m 43s
Embedding for Strings Formal Verification Plugin CI #547: Pull request #244 synchronize by GrigoriiSolnyshkin
October 24, 2024 04:55 18m 50s string-embedding
string-embedding
October 24, 2024 04:55 18m 50s
Support of Z3 in Github Actions Formal Verification Plugin CI #546: Pull request #245 synchronize by GrigoriiSolnyshkin
October 24, 2024 04:45 18m 29s z3-support-in-github-actions
z3-support-in-github-actions
October 24, 2024 04:45 18m 29s
Support of Z3 in Github Actions Formal Verification Plugin CI #545: Pull request #245 synchronize by GrigoriiSolnyshkin
October 17, 2024 17:10 19m 55s z3-support-in-github-actions
z3-support-in-github-actions
October 17, 2024 17:10 19m 55s
Support of Z3 in Github Actions Formal Verification Plugin CI #544: Pull request #245 synchronize by GrigoriiSolnyshkin
October 17, 2024 16:39 20m 5s z3-support-in-github-actions
z3-support-in-github-actions
October 17, 2024 16:39 20m 5s
Support of Z3 in Github Actions Formal Verification Plugin CI #543: Pull request #245 synchronize by GrigoriiSolnyshkin
October 17, 2024 16:36 41s z3-support-in-github-actions
z3-support-in-github-actions
October 17, 2024 16:36 41s
Support of Z3 in Github Actions Formal Verification Plugin CI #542: Pull request #245 synchronize by GrigoriiSolnyshkin
October 17, 2024 16:11 19m 53s z3-support-in-github-actions
z3-support-in-github-actions
October 17, 2024 16:11 19m 53s
Support of Z3 in Github Actions Formal Verification Plugin CI #541: Pull request #245 synchronize by GrigoriiSolnyshkin
October 17, 2024 16:09 42s z3-support-in-github-actions
z3-support-in-github-actions
October 17, 2024 16:09 42s
Support of Z3 in Github Actions Formal Verification Plugin CI #540: Pull request #245 synchronize by GrigoriiSolnyshkin
October 17, 2024 15:39 23m 21s z3-support-in-github-actions
z3-support-in-github-actions
October 17, 2024 15:39 23m 21s