Skip to content

Actions: verus-lang/verus

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
64 workflow run results
64 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

disallow opaque on body-less functions ci #3967: Commit b9211d9 pushed by utaal
July 26, 2023 09:36 18m 59s disallow-fuel-zero-on-body-less-fn
disallow-fuel-zero-on-body-less-fn
July 26, 2023 09:36 18m 59s
Add support for ==> and <==> as relations in calc ci #3966: Commit 095d336 pushed by jaybosamiya
July 25, 2023 21:49 17m 52s calc-implication
calc-implication
July 25, 2023 21:49 17m 52s
Allow multi-token relations in calc ci #3965: Commit c6930c8 pushed by jaybosamiya
July 25, 2023 21:48 20m 9s calc-implication
calc-implication
July 25, 2023 21:48 20m 9s
Support implications as relations in calc ci #3964: Commit 992668b pushed by jaybosamiya
July 25, 2023 21:39 17m 55s calc-implication
calc-implication
July 25, 2023 21:39 17m 55s
make example more clear and add to documentation ci #3963: Commit 2c63958 pushed by elaustell
July 25, 2023 21:22 21m 14s vstd_augmenting
vstd_augmenting
July 25, 2023 21:22 21m 14s
fix example ci #3962: Commit 335af8a pushed by elaustell
July 25, 2023 21:10 21m 43s vstd_augmenting
vstd_augmenting
July 25, 2023 21:10 21m 43s
prove tough flatten lemma ci #3961: Commit b7d657c pushed by elaustell
July 25, 2023 20:51 16m 45s vstd_augmenting
vstd_augmenting
July 25, 2023 20:51 16m 45s
Generate our own impl block names for consistency between ghost/erase… ci #3960: Commit 019d2ba pushed by Chris-Hawblitzel
July 25, 2023 20:31 17m 39s impl_names_pr1
impl_names_pr1
July 25, 2023 20:31 17m 39s
multiset documentation and fixes ci #3959: Commit bbc6830 pushed by elaustell
July 25, 2023 20:07 21m 39s vstd_augmenting
vstd_augmenting
July 25, 2023 20:07 21m 39s
add update function to multiset ci #3958: Commit 800b102 pushed by elaustell
July 25, 2023 19:24 17m 49s vstd_augmenting
vstd_augmenting
July 25, 2023 19:24 17m 49s
support "FnDef" types ci #3957: Commit 92f875f pushed by tjhance
July 25, 2023 19:21 12m 39s fntype
fntype
July 25, 2023 19:21 12m 39s
add map documentation ci #3956: Commit 56ffed5 pushed by elaustell
July 25, 2023 18:54 24m 9s vstd_augmenting
vstd_augmenting
July 25, 2023 18:54 24m 9s
fix a test ci #3955: Commit 4dd0213 pushed by tjhance
July 25, 2023 18:28 12m 45s fntype
fntype
July 25, 2023 18:28 12m 45s
prove multiset axioms ci #3954: Commit 22a6b8a pushed by elaustell
July 25, 2023 16:58 21m 36s vstd_augmenting
vstd_augmenting
July 25, 2023 16:58 21m 36s
fix to_multiset_contains that i broke ci #3953: Commit 928140a pushed by elaustell
July 25, 2023 16:39 20m 13s vstd_augmenting
vstd_augmenting
July 25, 2023 16:39 20m 13s
pages pages #429: completed by parno
July 25, 2023 16:37 18s
July 25, 2023 16:37 18s
define new for multisets ci #3952: Commit 7b61192 pushed by elaustell
July 25, 2023 16:33 12m 1s vstd_augmenting
vstd_augmenting
July 25, 2023 16:33 12m 1s
Update version of the smt2utils package to pull in a fix that makes ci #3951: Commit a2e9259 pushed by parno
July 25, 2023 16:17 20m 3s main
main
July 25, 2023 16:17 20m 3s
refactor multiset lemmas, add example ci #3950: Commit a1b63dc pushed by ahuoguo
July 25, 2023 16:16 22m 55s vstd_augmenting
vstd_augmenting
July 25, 2023 16:16 22m 55s
Change vargo warning to handle preexisting VERUS_Z3_PATH ci #3949: Commit d3d4cd8 pushed by Chris-Hawblitzel
July 25, 2023 15:43 20m 34s verus_z3_path
verus_z3_path
July 25, 2023 15:43 20m 34s
pages pages #428: completed by utaal
July 25, 2023 15:39 42s
July 25, 2023 15:39 42s
add verifier::ext_equal to external type spec for core::option::Option ci #3948: Commit 98a04c4 pushed by utaal
July 25, 2023 15:17 22m 29s main
main
July 25, 2023 15:17 22m 29s
add documentation to set and seq ci #3947: Commit 809369d pushed by elaustell
July 25, 2023 14:59 19m 8s vstd_augmenting
vstd_augmenting
July 25, 2023 14:59 19m 8s
add verifier::ext_equal to external type spec for core::option::Option ci #3946: Commit 031fc9c pushed by utaal
July 25, 2023 14:34 16m 19s option-ext-eq
option-ext-eq
July 25, 2023 14:34 16m 19s
Allow compilation of "pub spec const" integers ci #3945: Commit 5a4e1f1 pushed by Chris-Hawblitzel
July 25, 2023 03:53 16m 44s rustc_build
rustc_build
July 25, 2023 03:53 16m 44s