Skip to content

Actions: viperproject/carbon

Actions

Carbon CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
ci.yml
179 workflow runs
179 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge pull request #549 from viperproject/auto-update-submodules Carbon CI #526: Commit 9def42c pushed by Dspil
January 10, 2025 17:16 22m 51s master
master
January 10, 2025 17:16 22m 51s
Update Submodules Carbon CI #525: Pull request #549 opened by Dspil
January 10, 2025 17:16 24m 17s auto-update-submodules
auto-update-submodules
January 10, 2025 17:16 24m 17s
Desugaring quasihavocall to an exhale-inhale pair Carbon CI #524: Pull request #547 synchronize by marcoeilers
January 8, 2025 15:11 22m 51s meilers_quasihavocall
meilers_quasihavocall
January 8, 2025 15:11 22m 51s
Axiomatizing frame functions to be injective Carbon CI #523: Pull request #543 synchronize by marcoeilers
January 8, 2025 15:09 22m 57s meilers_frame_function_inverses
meilers_frame_function_inverses
January 8, 2025 15:09 22m 57s
Storing if conditions to temp vars to fix issue #420 Carbon CI #522: Pull request #544 synchronize by marcoeilers
January 8, 2025 15:00 23m 27s meilers_fix_420
meilers_fix_420
January 8, 2025 15:00 23m 27s
Merge pull request #548 from viperproject/auto-update-submodules Carbon CI #521: Commit 645f6bb pushed by Dspil
December 31, 2024 06:07 19m 44s master
master
December 31, 2024 06:07 19m 44s
Update Submodules Carbon CI #520: Pull request #548 opened by Dspil
December 31, 2024 06:07 20m 0s auto-update-submodules
auto-update-submodules
December 31, 2024 06:07 20m 0s
Desugaring quasihavocall to an exhale-inhale pair Carbon CI #519: Pull request #547 opened by marcoeilers
December 30, 2024 16:59 20m 26s meilers_quasihavocall
meilers_quasihavocall
December 30, 2024 16:59 20m 26s
Fixing injectivity checks for QPs with multiple quantified variables … Carbon CI #518: Commit 57b73a0 pushed by marcoeilers
December 30, 2024 15:18 20m 8s master
master
December 30, 2024 15:18 20m 8s
Fixing injectivity checks for QPs with multiple quantified variables Carbon CI #517: Pull request #542 synchronize by marcoeilers
December 30, 2024 14:57 20m 2s meilers_fix_378
meilers_fix_378
December 30, 2024 14:57 20m 2s
Fixing invalid Boogie code for quantified predicates without paramete… Carbon CI #516: Commit b7b5950 pushed by marcoeilers
December 30, 2024 14:54 19m 40s master
master
December 30, 2024 14:54 19m 40s
Fixing injectivity checks for QPs with multiple quantified variables Carbon CI #515: Pull request #542 synchronize by marcoeilers
December 30, 2024 14:38 19m 47s meilers_fix_378
meilers_fix_378
December 30, 2024 14:38 19m 47s
Fixing invalid Boogie code for quantified predicates without parameters Carbon CI #514: Pull request #541 synchronize by marcoeilers
December 30, 2024 14:33 20m 29s meilers_fix_391
meilers_fix_391
December 30, 2024 14:33 20m 29s
Merge pull request #546 from viperproject/auto-update-submodules Carbon CI #513: Commit f7e0a9a pushed by Dspil
December 29, 2024 06:06 19m 40s master
master
December 29, 2024 06:06 19m 40s
Update Submodules Carbon CI #512: Pull request #546 opened by Dspil
December 29, 2024 06:06 20m 2s auto-update-submodules
auto-update-submodules
December 29, 2024 06:06 20m 2s
Using inverse functions to encode predicate function injectivity Carbon CI #511: Pull request #545 opened by marcoeilers
December 29, 2024 02:38 19m 43s meilers_predicate_function_injectivity
meilers_predicate_function_injectivity
December 29, 2024 02:38 19m 43s
Storing if conditions to temp vars to fix issue #420 Carbon CI #510: Pull request #544 opened by marcoeilers
December 28, 2024 19:13 19m 46s meilers_fix_420
meilers_fix_420
December 28, 2024 19:13 19m 46s
Axiomatizing frame functions to be injective Carbon CI #509: Pull request #543 opened by marcoeilers
December 28, 2024 18:03 19m 51s meilers_frame_function_inverses
meilers_frame_function_inverses
December 28, 2024 18:03 19m 51s
Fixing injectivity checks for QPs with multiple quantified variables Carbon CI #508: Pull request #542 opened by marcoeilers
December 28, 2024 17:29 19m 40s meilers_fix_378
meilers_fix_378
December 28, 2024 17:29 19m 40s
Fixing invalid Boogie code for quantified predicates without parameters Carbon CI #507: Pull request #541 opened by marcoeilers
December 28, 2024 16:55 19m 57s meilers_fix_391
meilers_fix_391
December 28, 2024 16:55 19m 57s
Merge pull request #540 from viperproject/auto-update-submodules Carbon CI #506: Commit 5b32f7f pushed by Dspil
December 23, 2024 06:07 19m 36s master
master
December 23, 2024 06:07 19m 36s
Update Submodules Carbon CI #505: Pull request #540 opened by Dspil
December 23, 2024 06:07 19m 31s auto-update-submodules
auto-update-submodules
December 23, 2024 06:07 19m 31s
Merge pull request #539 from viperproject/meilers_assembly_version_up… Carbon CI #504: Commit 7d96096 pushed by marcoeilers
December 22, 2024 13:48 19m 43s master
master
December 22, 2024 13:48 19m 43s
Updating sbt assembly version since the old one is no longer available Carbon CI #503: Pull request #539 opened by marcoeilers
December 22, 2024 13:29 19m 32s meilers_assembly_version_update
meilers_assembly_version_update
December 22, 2024 13:29 19m 32s
Merge pull request #538 from viperproject/auto-update-submodules Carbon CI #502: Commit 0508e8f pushed by Dspil
December 20, 2024 06:07 19m 40s master
master
December 20, 2024 06:07 19m 40s