Skip to content

Actions: rems-project/islaris

Actions

CI

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
24 workflow runs
24 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update Iris
CI #410: Commit c978e10 pushed by MackieLoeffel
September 11, 2024 08:50 27m 53s main
September 11, 2024 08:50 27m 53s
update to new Iris
CI #409: Commit cbcbd2e pushed by MackieLoeffel
August 19, 2024 14:59 28m 30s main
August 19, 2024 14:59 28m 30s
Changes from updating the RISC-V model
CI #408: Pull request #29 opened by bacam
April 19, 2024 14:23 8m 7s 2024-04-risc-v
April 19, 2024 14:23 8m 7s
MacOS Campatibility (#28)
CI #407: Commit 271dadb pushed by MackieLoeffel
April 18, 2024 08:23 7m 48s main
April 18, 2024 08:23 7m 48s
MacOS Campatibility
CI #406: Pull request #28 synchronize by MackieLoeffel
April 18, 2024 07:34 26m 16s ffengyu:clean-macos
April 18, 2024 07:34 26m 16s
update isla-lang dependency via pin-depends
CI #405: Commit 1ab5847 pushed by MackieLoeffel
April 18, 2024 07:14 25m 49s main
April 18, 2024 07:14 25m 49s
Update automation.v
CI #403: Pull request #26 opened by ric-almeida
March 18, 2024 13:29 10m 30s ric-almeida-patch-1
March 18, 2024 13:29 10m 30s
update to Coq 8.19
CI #402: Commit 5187877 pushed by MackieLoeffel
March 14, 2024 07:29 25m 45s main
March 14, 2024 07:29 25m 45s
Also support Val_bool in eval_exp'
CI #401: Commit 8434160 pushed by MackieLoeffel
March 6, 2024 10:06 8m 22s main
March 6, 2024 10:06 8m 22s
Add Manyop And and Or to eval_manyop
CI #400: Commit 895426c pushed by MackieLoeffel
March 5, 2024 09:52 26m 7s main
March 5, 2024 09:52 26m 7s
update to Coq 8.18 and new version of deps
CI #399: Commit 60da48e pushed by MackieLoeffel
January 9, 2024 19:25 26m 30s main
January 9, 2024 19:25 26m 30s
fix pinning of isla-lang
CI #398: Commit 608a69e pushed by MackieLoeffel
December 13, 2023 12:08 8m 8s main
December 13, 2023 12:08 8m 8s
December 6, 2023 13:44 8m 6s
Merge pull request #25 from ric-almeida/main
CI #396: Commit 1e32bf4 pushed by ric-almeida
December 5, 2023 15:36 42m 12s main
December 5, 2023 15:36 42m 12s
December 5, 2023 13:41 7m 53s
December 4, 2023 12:06 26m 24s
Adapted islaris to the latest isla and to the (currently under review) latest isla-lang
CI #393: Pull request #25 synchronize by ric-almeida
November 23, 2023 18:12 25m 22s main
November 23, 2023 18:12 25m 22s
November 23, 2023 18:09 3m 42s
Adapted islaris to the latest isla and to the (currently under review) latest isla-lang
CI #391: Pull request #25 synchronize by ric-almeida
November 23, 2023 17:40 17m 50s main
November 23, 2023 17:40 17m 50s
November 22, 2023 20:22 17m 11s
Merge pull request #24 from ric-almeida/patch-1
CI #389: Commit f18556e pushed by Mjiig
November 6, 2023 13:37 45m 33s main
November 6, 2023 13:37 45m 33s
Update README.md
CI #388: Pull request #24 opened by ric-almeida
October 27, 2023 13:59 38m 27s patch-1
October 27, 2023 13:59 38m 27s
update cmdliner (#21)
CI #387: Commit 45ca800 pushed by MackieLoeffel
August 30, 2023 12:39 35m 5s main
August 30, 2023 12:39 35m 5s
update cmdliner
CI #386: Pull request #21 opened by metp
August 25, 2023 10:21 40m 48s update-cmdliner
August 25, 2023 10:21 40m 48s