Skip to content

Actions: runtimeverification/vlsm

Actions

Test PR

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
test-pr.yml
533 workflow runs
533 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Farewell refactorings (#384) Test PR #973: Commit 43fd0d0 pushed by wkolowski
December 20, 2023 13:28 4m 48s master
master
December 20, 2023 13:28 4m 48s
Refactor the proof of generalized_equivocators_finite_valid_trace_ini… Test PR #972: Commit e3a4bad pushed by wkolowski
December 20, 2023 13:16 4m 51s farewell-refactorings
farewell-refactorings
December 20, 2023 13:16 4m 51s
Refactor the proof of generalized_equivocators_finite_valid_trace_ini… Test PR #971: Commit 8dba44c pushed by wkolowski
December 20, 2023 13:15 4m 59s farewell-refactorings
farewell-refactorings
December 20, 2023 13:15 4m 59s
Refactor the proof of generalized_equivocators_finite_valid_trace_ini… Test PR #970: Commit 20d4042 pushed by wkolowski
December 20, 2023 13:08 4m 40s farewell-refactorings
farewell-refactorings
December 20, 2023 13:08 4m 40s
post release documentation fixes (#381) Test PR #969: Commit 47faf21 pushed by rv-jenkins
December 16, 2023 15:43 4m 57s master
master
December 16, 2023 15:43 4m 57s
post release documentation fixes Test PR #968: Commit f7b37a6 pushed by palmskog
December 16, 2023 14:30 4m 50s post-release-fixes
post-release-fixes
December 16, 2023 14:30 4m 50s
Proved decidablity of TraceWise Equivocation Test PR #967: Commit 511eb6c pushed by traiansf
December 15, 2023 14:20 4m 40s tracewise-statewise-equivocation
tracewise-statewise-equivocation
December 15, 2023 14:20 4m 40s
Proved decidablity of TraceWise Equivocation Test PR #966: Commit b19afb9 pushed by traiansf
December 15, 2023 14:02 4m 58s tracewise-statewise-equivocation
tracewise-statewise-equivocation
December 15, 2023 14:02 4m 58s
Release updates (#380) Test PR #965: Commit 362ce16 pushed by palmskog
December 15, 2023 13:55 4m 37s v1.3
v1.3
December 15, 2023 13:55 4m 37s
Release updates (#380) Test PR #964: Commit 362ce16 pushed by palmskog
December 15, 2023 13:50 4m 55s master
master
December 15, 2023 13:50 4m 55s
update editor instructions Test PR #963: Commit 5221890 pushed by palmskog
December 15, 2023 13:42 4m 48s readme-update
readme-update
December 15, 2023 13:42 4m 48s
update BUILDING.md with Platform instructions Test PR #962: Commit 732a2bd pushed by palmskog
December 15, 2023 13:35 4m 50s readme-update
readme-update
December 15, 2023 13:35 4m 50s
Progress Test PR #961: Commit 7501d54 pushed by traiansf
December 15, 2023 11:36 4m 33s tracewise-statewise-equivocation
tracewise-statewise-equivocation
December 15, 2023 11:36 4m 33s
Showed that the constrained state property is decidable for ELMO Test PR #960: Commit dd336da pushed by traiansf
December 15, 2023 11:30 4m 47s elmo-constrained-state-decidable
elmo-constrained-state-decidable
December 15, 2023 11:30 4m 47s
Refactor PreloadedVLSM.v (#378) Test PR #959: Commit cdbec65 pushed by traiansf
December 15, 2023 11:29 4m 52s elmo-constrained-state-decidable
elmo-constrained-state-decidable
December 15, 2023 11:29 4m 52s
fix documentation scripts and boilerplate Test PR #958: Commit bc6bb70 pushed by palmskog
December 15, 2023 11:18 4m 57s readme-update
readme-update
December 15, 2023 11:18 4m 57s
Add an entry to the README Test PR #957: Commit b5ccdaa pushed by traiansf
December 15, 2023 11:04 4m 53s nix-support
nix-support
December 15, 2023 11:04 4m 53s
update README and index page Test PR #956: Commit 4577415 pushed by palmskog
December 15, 2023 10:14 4m 51s readme-update
readme-update
December 15, 2023 10:14 4m 51s
Refactor PreloadedVLSM.v (#378) Test PR #955: Commit cdbec65 pushed by wkolowski
December 15, 2023 09:36 4m 53s master
master
December 15, 2023 09:36 4m 53s
Self-review. Test PR #954: Commit 5671e1c pushed by wkolowski
December 15, 2023 09:30 4m 46s refactor-preloaded
refactor-preloaded
December 15, 2023 09:30 4m 46s
Merge branch 'master' into refactor-preloaded Test PR #953: Commit 9cba936 pushed by wkolowski
December 15, 2023 09:22 4m 53s refactor-preloaded
refactor-preloaded
December 15, 2023 09:22 4m 53s
update README and index page Test PR #952: Commit ccd3058 pushed by palmskog
December 15, 2023 08:43 4m 55s readme-update
readme-update
December 15, 2023 08:43 4m 55s
Imported Free Validator from Casper-CBC (#374) Test PR #951: Commit 89ed830 pushed by traiansf
December 15, 2023 07:40 4m 49s master
master
December 15, 2023 07:40 4m 49s
Merge remote-tracking branch 'origin/master' into free-validator Test PR #950: Commit d390e50 pushed by traiansf
December 15, 2023 07:31 4m 37s free-validator
free-validator
December 15, 2023 07:31 4m 37s
Add an entry to the README Test PR #949: Commit 91df94a pushed by wkolowski
December 14, 2023 22:10 4m 33s nix-support
nix-support
December 14, 2023 22:10 4m 33s