Skip to content

Actions: creusot-rs/creusot

Actions

Rust

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
rust.yml
1,479 workflow runs
1,479 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Improve inference of Ghost when erased Rust #3075: Pull request #905 opened by xldenis
November 1, 2023 13:52 6m 55s better-ghost-inference
better-ghost-inference
November 1, 2023 13:52 6m 55s
Attempts to avoid Why3's polymorphism encoding Rust #3074: Pull request #903 opened by dewert99
October 28, 2023 19:18 6m 13s dewert99:monomorphize
dewert99:monomorphize
October 28, 2023 19:18 6m 13s
Merge pull request #899 from dewert99/limited-fn Rust #3073: Commit 338c7e7 pushed by dewert99
October 27, 2023 19:01 5m 7s master
master
October 27, 2023 19:01 5m 7s
Implemented limited function encoding Rust #3072: Pull request #899 synchronize by dewert99
October 27, 2023 14:53 5m 25s dewert99:limited-fn
dewert99:limited-fn
October 27, 2023 14:53 5m 25s
Merge pull request #901 from xldenis/update-proofs Rust #3071: Commit d584626 pushed by xldenis
October 27, 2023 10:13 5m 21s master
master
October 27, 2023 10:13 5m 21s
Update proofs to new why3 Rust #3070: Pull request #901 synchronize by xldenis
October 27, 2023 09:59 5m 17s update-proofs
update-proofs
October 27, 2023 09:59 5m 17s
Update proofs to new why3 Rust #3069: Pull request #901 synchronize by xldenis
October 27, 2023 09:42 6m 34s update-proofs
update-proofs
October 27, 2023 09:42 6m 34s
Update proofs to new why3 Rust #3068: Pull request #901 synchronize by jhjourdan
October 26, 2023 14:12 6m 12s update-proofs
update-proofs
October 26, 2023 14:12 6m 12s
Non extensionality Rust #3067: Pull request #902 synchronize by arnaudgolfouse
October 26, 2023 13:13 4m 47s arnaudgolfouse:non-extensionality
arnaudgolfouse:non-extensionality
October 26, 2023 13:13 4m 47s
Non extensionality Rust #3066: Pull request #902 synchronize by arnaudgolfouse
October 26, 2023 12:55 4m 35s arnaudgolfouse:non-extensionality
arnaudgolfouse:non-extensionality
October 26, 2023 12:55 4m 35s
Update proofs to new why3 Rust #3063: Pull request #901 synchronize by xldenis
October 26, 2023 12:49 6m 37s update-proofs
update-proofs
October 26, 2023 12:49 6m 37s
Update proofs to new why3 Rust #3062: Pull request #901 synchronize by xldenis
October 26, 2023 12:31 5m 30s update-proofs
update-proofs
October 26, 2023 12:31 5m 30s
Update proofs to new why3 Rust #3061: Pull request #901 synchronize by xldenis
October 26, 2023 12:05 5m 50s update-proofs
update-proofs
October 26, 2023 12:05 5m 50s
Update proofs to new why3 Rust #3060: Pull request #901 synchronize by xldenis
October 26, 2023 09:16 5m 42s update-proofs
update-proofs
October 26, 2023 09:16 5m 42s
Update proofs to new why3 Rust #3059: Pull request #901 synchronize by xldenis
October 26, 2023 09:06 7m 42s update-proofs
update-proofs
October 26, 2023 09:06 7m 42s
Update proofs to new why3 Rust #3058: Pull request #901 synchronize by xldenis
October 25, 2023 19:48 7m 38s update-proofs
update-proofs
October 25, 2023 19:48 7m 38s
Update proofs to new why3 Rust #3057: Pull request #901 synchronize by xldenis
October 25, 2023 19:40 8m 4s update-proofs
update-proofs
October 25, 2023 19:40 8m 4s
Update proofs to new why3 Rust #3056: Pull request #901 synchronize by xldenis
October 25, 2023 19:27 6m 31s update-proofs
update-proofs
October 25, 2023 19:27 6m 31s
Implemented limited function encoding Rust #3055: Pull request #899 synchronize by dewert99
October 25, 2023 18:47 6m 13s dewert99:limited-fn
dewert99:limited-fn
October 25, 2023 18:47 6m 13s
Update proofs to new why3 Rust #3054: Pull request #901 opened by xldenis
October 25, 2023 09:00 5m 2s update-proofs
update-proofs
October 25, 2023 09:00 5m 2s
Implemented limited function encoding Rust #3053: Pull request #899 synchronize by dewert99
October 24, 2023 18:06 6m 47s dewert99:limited-fn
dewert99:limited-fn
October 24, 2023 18:06 6m 47s
Implemented limited function encoding Rust #3052: Pull request #899 opened by dewert99
October 24, 2023 16:33 5m 58s dewert99:limited-fn
dewert99:limited-fn
October 24, 2023 16:33 5m 58s
Merge pull request #898 from dewert99/trigger Rust #3051: Commit 71e33aa pushed by dewert99
October 24, 2023 15:26 5m 12s master
master
October 24, 2023 15:26 5m 12s
simple_triggers option that adds triggers to def and spec axioms Rust #3050: Pull request #898 synchronize by xldenis
October 23, 2023 23:23 6m 22s dewert99:trigger
dewert99:trigger
October 23, 2023 23:23 6m 22s
simple_triggers option that adds triggers to def and spec axioms Rust #3049: Pull request #898 synchronize by dewert99
October 23, 2023 20:32 5m 10s dewert99:trigger
dewert99:trigger
October 23, 2023 20:32 5m 10s
ProTip! You can narrow down the results and go further in time using created:<2023-10-23 or the other filters available.