Skip to content

Actions: 0o-de-lally/libra-framework

Actions

formal verification

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
formal.yaml
343 workflow run results
343 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Merge branch 'main' into remove-bloat formal verification #344: Commit e957ed0 pushed by 0o-de-lally
March 11, 2024 23:56 1d 1h 35m 24s remove-bloat
remove-bloat
March 11, 2024 23:56 1d 1h 35m 24s
whitespace formal verification #343: Commit 56b33b8 pushed by 0o-de-lally
March 11, 2024 23:49 1d 1h 41m 26s lockdown
lockdown
March 11, 2024 23:49 1d 1h 41m 26s
build formal verification #342: Commit 93989fa pushed by 0o-de-lally
March 11, 2024 22:32 1d 2h 59m 16s lockdown
lockdown
March 11, 2024 22:32 1d 2h 59m 16s
fork_migrate_slow_wallet returns to default compile formal verification #341: Commit 5156bdc pushed by 0o-de-lally
March 11, 2024 22:08 1d 3h 23m 18s lockdown
lockdown
March 11, 2024 22:08 1d 3h 23m 18s
isolate coin.move (no generic coins) libra_coin wraps coin.move in fr… formal verification #340: Commit ae761a3 pushed by 0o-de-lally
March 11, 2024 21:59 1d 3h 31m 38s lockdown
lockdown
March 11, 2024 21:59 1d 3h 31m 38s
delete deprecated source formal verification #339: Commit c2b78b3 pushed by 0o-de-lally
March 11, 2024 21:11 1d 4h 20m 10s lockdown
lockdown
March 11, 2024 21:11 1d 4h 20m 10s
remove public functions from binary_tally. Turnkey_tally goes to test… formal verification #338: Commit d776fe4 pushed by 0o-de-lally
March 11, 2024 21:09 1d 4h 21m 57s lockdown
lockdown
March 11, 2024 21:09 1d 4h 21m 57s
remove public functions from multi_action formal verification #337: Commit 1ea5817 pushed by 0o-de-lally
March 11, 2024 20:55 1d 4h 36m 0s lockdown
lockdown
March 11, 2024 20:55 1d 4h 36m 0s
add red flag for community wallets formal verification #336: Commit bc48076 pushed by 0o-de-lally
March 11, 2024 20:39 1d 4h 52m 17s not-my-friend
not-my-friend
March 11, 2024 20:39 1d 4h 52m 17s
community wallet propose checks for direct exclusion. formal verification #335: Commit 11d9349 pushed by 0o-de-lally
March 11, 2024 17:29 1d 8h 1m 44s not-my-friend
not-my-friend
March 11, 2024 17:29 1d 8h 1m 44s
patch abort implementation formal verification #334: Commit da02212 pushed by 0o-de-lally
March 11, 2024 17:06 1d 8h 24m 28s not-my-friend
not-my-friend
March 11, 2024 17:06 1d 8h 24m 28s
add assert! helper, prevent vouching for users on list. formal verification #333: Commit 0f5a8ef pushed by 0o-de-lally
March 11, 2024 16:59 1d 8h 31m 36s not-my-friend
not-my-friend
March 11, 2024 16:59 1d 8h 31m 36s
ol_account check both directions of transfer for exclusion formal verification #332: Commit 69dbdbd pushed by 0o-de-lally
March 11, 2024 16:48 1d 8h 42m 35s not-my-friend
not-my-friend
March 11, 2024 16:48 1d 8h 42m 35s
ol_account checks for not-a-friend formal verification #331: Commit 8f8d859 pushed by 0o-de-lally
March 11, 2024 16:44 1d 8h 47m 6s not-my-friend
not-my-friend
March 11, 2024 16:44 1d 8h 47m 6s
renames formal verification #330: Commit f9f4aea pushed by 0o-de-lally
March 11, 2024 16:36 1d 8h 54m 7s not-my-friend
not-my-friend
March 11, 2024 16:36 1d 8h 54m 7s
scaffold not_my_friend.move formal verification #329: Commit 0cfedc8 pushed by 0o-de-lally
March 11, 2024 15:23 1d 10h 7m 24s not-my-friend
not-my-friend
March 11, 2024 15:23 1d 10h 7m 24s
remove public functions from donor_voice.move formal verification #328: Commit 9004c95 pushed by 0o-de-lally
March 11, 2024 15:06 1d 10h 24m 43s lockdown
lockdown
March 11, 2024 15:06 1d 10h 24m 43s
remove public functions from donor_voice_txs formal verification #327: Commit c917334 pushed by 0o-de-lally
March 10, 2024 22:26 1d 3h 4m 56s lockdown
lockdown
March 10, 2024 22:26 1d 3h 4m 56s
remove public function from event and demo.move formal verification #326: Commit ef66abc pushed by 0o-de-lally
March 10, 2024 20:37 1d 4h 54m 1s lockdown
lockdown
March 10, 2024 20:37 1d 4h 54m 1s
remove public fuctions in jail.move formal verification #325: Commit 480230e pushed by 0o-de-lally
March 10, 2024 20:26 1d 5h 4m 58s lockdown
lockdown
March 10, 2024 20:26 1d 5h 4m 58s
remove public functions from musical_chairs formal verification #324: Commit 2121ae5 pushed by 0o-de-lally
March 10, 2024 20:10 1d 5h 20m 31s lockdown
lockdown
March 10, 2024 20:10 1d 5h 20m 31s
remove public function from safe.move formal verification #323: Commit 1e3e5e3 pushed by 0o-de-lally
March 10, 2024 19:36 1d 5h 55m 8s lockdown
lockdown
March 10, 2024 19:36 1d 5h 55m 8s
remove public functions from slow_wallet formal verification #322: Commit bebd43f pushed by 0o-de-lally
March 10, 2024 19:27 1d 6h 3m 37s lockdown
lockdown
March 10, 2024 19:27 1d 6h 3m 37s
remove public functions from tower_state formal verification #321: Commit 49a5821 pushed by 0o-de-lally
March 10, 2024 19:19 1d 6h 11m 42s lockdown
lockdown
March 10, 2024 19:19 1d 6h 11m 42s
remove public functions from block.move formal verification #320: Commit aa094c5 pushed by 0o-de-lally
March 10, 2024 18:58 1d 6h 32m 57s lockdown
lockdown
March 10, 2024 18:58 1d 6h 32m 57s