Skip to content

Actions: jesyspa/kotlin

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
241 workflow runs
241 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Support nested unfolding in instead of unfold in `Pure Linearizer… Formal Verification Plugin CI #573: Commit 88dad09 pushed by GrigoriiSolnyshkin
February 25, 2025 10:10 5m 47s formal-verification
formal-verification
February 25, 2025 10:10 5m 47s
Enable invariants specified by user (loopInvariants) (#247) Formal Verification Plugin CI #572: Commit 5179721 pushed by GrigoriiSolnyshkin
February 25, 2025 09:01 24m 9s formal-verification
formal-verification
February 25, 2025 09:01 24m 9s
Support preconditions in functions Formal Verification Plugin CI #571: Pull request #250 synchronize by GrigoriiSolnyshkin
February 25, 2025 08:44 23m 13s kotlin-preconditions
kotlin-preconditions
February 25, 2025 08:44 23m 13s
Enable invariants specified by user (loopInvariants) Formal Verification Plugin CI #570: Pull request #247 synchronize by GrigoriiSolnyshkin
February 25, 2025 08:18 19m 5s invariant-func
invariant-func
February 25, 2025 08:18 19m 5s
Enable invariants specified by user (loopInvariants) Formal Verification Plugin CI #569: Pull request #247 synchronize by GrigoriiSolnyshkin
February 21, 2025 11:52 21m 0s invariant-func
invariant-func
February 21, 2025 11:52 21m 0s
Support preconditions in functions Formal Verification Plugin CI #568: Pull request #250 synchronize by GrigoriiSolnyshkin
February 21, 2025 11:43 13m 51s kotlin-preconditions
kotlin-preconditions
February 21, 2025 11:43 13m 51s
Enable invariants specified by user (loopInvariants) Formal Verification Plugin CI #567: Pull request #247 synchronize by GrigoriiSolnyshkin
February 13, 2025 01:41 14m 4s invariant-func
invariant-func
February 13, 2025 01:41 14m 4s
Support nested unfolding in instead of unfold in Pure Linearizer Formal Verification Plugin CI #566: Pull request #249 synchronize by GrigoriiSolnyshkin
January 30, 2025 05:57 21m 20s unfolding-in-in-pure-linearizer
unfolding-in-in-pure-linearizer
January 30, 2025 05:57 21m 20s
Enable invariants specified by user (loopInvariants) Formal Verification Plugin CI #565: Pull request #247 synchronize by GrigoriiSolnyshkin
January 30, 2025 05:38 15m 1s invariant-func
invariant-func
January 30, 2025 05:38 15m 1s
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