Updated on 2022-06-10 10:15:38 UTC
refreshed every 30 minutes

@rafoo_Raphaël Cauderlier's actions on nomadic-labs/mi-cho-coq (43)

Resource Action Why
nomadic-labs/mi-cho-coq!70
Certification of the specialised multisig
smart-contract verification
Close or reply to thread rafoo_ is the thread author
Add a merge-team reviewer rafoo_ is the original author
nomadic-labs/mi-cho-coq!62
Functional proof of guestbook contract and simple lifetime property
smart-contract verification
Close or reply to thread rafoo_ is the thread author
nomadic-labs/mi-cho-coq!59
Add specialized multisig source
doc smart-contract verification
Close or reply to thread rafoo_ is the thread author
Reply to thread rafoo_ pushed recently
Add a merge-team reviewer rafoo_ pushed recently
nomadic-labs/mi-cho-coq!98
Dexter 1.1 verification
Fix CI rafoo_ is the original author and triggered last pipeline
Add a merge-team reviewer rafoo_ is the original author
nomadic-labs/mi-cho-coq!137
FA1.2 verification v2
formalisation
Fix CI rafoo_ pushed recently and triggered last pipeline
Add a merge-team reviewer rafoo_ pushed recently
nomadic-labs/mi-cho-coq!151
Fix #66 and #67
bug test
Add a merge-team reviewer rafoo_ is the original author
nomadic-labs/mi-cho-coq#37
Simplification of the formula produced by eval_precond for `COMPARE; EQ`
smart-contract verification Todo
Complete task rafoo_ is assigned
nomadic-labs/mi-cho-coq#20
Verify the dexter contract
Doing smart-contract verification
Solve issue rafoo_ is assigned
nomadic-labs/mi-cho-coq#25
TZT support
Doing test
Solve issue rafoo_ is assigned
nomadic-labs/mi-cho-coq#30
Delay monad
formalisation Todo
Solve issue rafoo_ is assigned
nomadic-labs/mi-cho-coq#38
Support type assertions using `CAST`
formalisation Todo
Solve issue rafoo_ is assigned
nomadic-labs/mi-cho-coq#39
Simplify the optimizer proof
optimizer Todo
Solve issue rafoo_ is assigned
nomadic-labs/mi-cho-coq#58
Simplify usage of set and map modules
framework
Solve issue rafoo_ is assigned
nomadic-labs/mi-cho-coq#63
Bug regarding lambdas as part of data
bug framework
Solve issue rafoo_ is assigned
nomadic-labs/mi-cho-coq#66
The typing rule for comb UPDATE is wrong
bug
Solve issue rafoo_ is assigned
nomadic-labs/mi-cho-coq#62
Follow-up from "[README] add a description for the vesting contract"
Complete task rafoo_ opened issue and no one is assigned
nomadic-labs/mi-cho-coq#29
Formalize big maps
beginner formalisation Todo
Solve issue rafoo_ opened issue and no one is assigned
nomadic-labs/mi-cho-coq#32
nomadic-labs/mi-cho-coq#32
optimizer Todo
Solve issue rafoo_ opened issue and no one is assigned
nomadic-labs/mi-cho-coq#43
nomadic-labs/mi-cho-coq#43
doc
Solve issue rafoo_ opened issue and no one is assigned
nomadic-labs/mi-cho-coq#59
Formalize serialization (PACK and UNPACK)
Solve issue rafoo_ opened issue and no one is assigned
nomadic-labs/mi-cho-coq#60
Concert integration
Solve issue rafoo_ opened issue and no one is assigned
nomadic-labs/mi-cho-coq#67
Numbers should be allowed as input syntax for BLS12-381 field elements.
bug
Solve issue rafoo_ opened issue and no one is assigned
nomadic-labs/mi-cho-coq#68
Representation of BLS12-381
Solve issue rafoo_ opened issue and no one is assigned
nomadic-labs/mi-cho-coq!6
WIP: Documentation of the proof of the multisig contract
doc smart-contract verification
Reply to thread rafoo_ is the original author
Reply to thread rafoo_ is the original author
Reply to thread rafoo_ is the original author
Reply to thread rafoo_ is the original author
Reply to thread rafoo_ is the original author
UnWIP rafoo_ is the original author
nomadic-labs/mi-cho-coq!143
WIP: typeclass for comparability
framework
Fix CI rafoo_ is the original author and triggered last pipeline
UnWIP rafoo_ is the original author
nomadic-labs/mi-cho-coq!119
Draft: [ci] add cache opam directory
ci
Close or reply to thread rafoo_ is the thread author
nomadic-labs/mi-cho-coq!67
WIP: Tzt support
Doing formalisation test
Fix CI rafoo_ is the original author and triggered last pipeline
Complete task rafoo_ is the original author
UnWIP rafoo_ is the original author
nomadic-labs/mi-cho-coq!28
WIP: Model crypto nonces generated when operations are forged
formalisation
UnWIP rafoo_ is the original author
nomadic-labs/mi-cho-coq!144
Draft: michelson2micheline (micheline2michelson x) = Return x
framework
UnWIP rafoo_ is the original author
nomadic-labs/mi-cho-coq!148
Draft: [michocoq] use instruction instead of instruction_seq for the code part of scripts
UnWIP rafoo_ is the original author