Updated on 2022-06-10 10:15:21 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Raphaël Cauderlier's actions
(122)
| Resource | Action | Why |
|---|---|---|
| tezos/tezos#2491 Test ignored annotations on mainnet contracts priority::high michelson ⚗ proto state::to-do test ⚒ | Solve issue | rafoo_ is assigned |
| tezos/tezos#590 Use Z.t to represent mutez priority::medium michelson ⚗ state::in-review | Solve issue | rafoo_ is assigned |
| tezos/tezos#1094 Remove the readable unparsing mode from the protocol priority::medium michelson ⚗ proto tooling triage::level2 | Complete task | rafoo_ opened issue and no one is assigned |
| tezos/tezos!1889 WIP: Client: add commands for showing the storage of contracts client 🏧 michelson ⚗ priority::low tooling type::feature Blocking tezos/tezos#826 | Fix CI | rafoo_ is the original author and triggered last pipeline |
| UnWIP | rafoo_ is the original author | |
| tezos/tezos!4656 Event logging MVP michelson ⚗ proto | Review or approve | rafoo_ is set as reviewer |
| tezos/tezos#2528 Local origination of several contracts when using the "run script" command | Solve issue | rafoo_ is assigned |
| tezos/tezos#826 Michelson storage expressions involving bigmaps are hard to interpret client 🏧 michelson ⚗ type::feature Blocked by tezos/tezos!1889 | Unblock | rafoo_ is assigned |
| tezos/tezos#2149 Follow-up from "Expose an order for folding over the context" priority::low proto state::to-do | Complete task | rafoo_ opened issue and no one is assigned |
| tezos/tezos#2530 Add ASSERT_CONS and ASSERT_NIL macros client 🏧 good beginner task 🍼 michelson ⚗ Nice to have 👶 priority::low triage::level2 | Solve issue | rafoo_ opened issue and no one is assigned |
| tezos/tezos!3177 Draft: Proto/Michelson: Linear operations michelson ⚗ priority::low proto | Reply to thread | rafoo_ is the original author |
| Reply to thread | rafoo_ is the original author | |
| UnWIP | rafoo_ is the original author | |
| tezos/tezos!3020 Draft: Arbitrary precision mutez michelson ⚗ priority::low proto | Reply to thread | rafoo_ is the original author |
| Fix CI | rafoo_ is the original author and triggered last pipeline | |
| Complete task | rafoo_ is the original author | |
| UnWIP | rafoo_ is the original author | |
| tezos/tezos!3359 Draft: Proto/Receipt: add a field for the storage size diff priority::low proto | Fix CI | rafoo_ is the original author and triggered last pipeline |
| Complete task | rafoo_ is the original author | |
| UnWIP | rafoo_ is the original author | |
| tezos/tezos!3239 Draft: Extra ticket examples michelson ⚗ minor priority::low | Fix CI | rafoo_ is the original author and triggered last pipeline |
| Complete task | rafoo_ is the original author | |
| UnWIP | rafoo_ is the original author | |
| tezos/tezos!4474 Draft: Add client support for TZT unit tests client 🏧 michelson ⚗ priority::low proto rpc ☎ 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 | |
| tezos/tezos!3135 Draft: RFC: Client/Michelson: Add a command for documenting a Michelson primitive client 🏧 doc 📖 michelson ⚗ priority::low | Complete task | rafoo_ is the original author |
| UnWIP | rafoo_ is the original author | |
| tezos/tezos!1721 Draft: Replace static Michelson reference with interactive reference doc 📖 michelson ⚗ | Close or reply to thread | rafoo_ is the thread author |
| tezos/tezos!3491 Draft: Proto: Allow key-value traversal for indexed carbonated storage proto | Close or reply to thread | rafoo_ is the thread author |
| Close or reply to thread | rafoo_ is the thread author | |
| tezos/tezos!4264 Draft: Client/FA1.2 and Multisig: refactor Michelson combinators into Michelson_v1_helpers client 🏧 Code quality 🌟 michelson ⚗ | Close or reply to thread | rafoo_ is the thread author |
| Close or reply to thread | rafoo_ is the thread author | |
| Close or reply to thread | rafoo_ is the thread author | |
| tezos/tezos!4291 Draft: Proto/Michelson: separate internal instructions michelson ⚗ proto state::in-review | Close or reply to thread | rafoo_ is the thread author |
| tezos/tezos!1487 WIP: Doc/Michelson: document a Michelson extension for writing unit tests doc 📖 michelson ⚗ priority::low test ⚒ | UnWIP | rafoo_ is the original author |
| tezos/michelson-reference#30 Automatic generation from OCaml priority::medium coherency nice to have | Solve issue | rafoo_ is assigned |
| nomadic-labs/tezos#164 nomadic-labs/tezos#164 type::bug client mockup UX | Solve issue | rafoo_ opened issue and no one is assigned |
| tezos/michelson-reference#45 Check that the Coq output of michelson.ott typechecks priority::medium ci difficulty::medium test | Solve issue | rafoo_ opened issue and no one is assigned |
| nomadic-labs/tezos#63 nomadic-labs/tezos#63 priority::medium client documentation michelson tests | Solve issue | rafoo_ is assigned |
| tezos/michelson-reference#36 Follow-up from "Align interactive reference with static of master (protocol 006) 1/2: up to 42bae26a7d" priority::low difficulty::easy reference | Complete task | rafoo_ opened issue and no one is assigned |
| 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/albert!29 Increase coverage Doing priority::high test | 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!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 | |
| tezos/tzip!138 Ignoring annotations | 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/albert#7 nomadic-labs/albert#7 meta-theory | Complete task | rafoo_ is assigned |
| nomadic-labs/albert#24 Simplify CI's use of opam install ci priority::low To Do | Complete task | rafoo_ is assigned |
| 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/tezos#221 nomadic-labs/tezos#221 client michelson protocol tests type::meta | Solve issue | rafoo_ is assigned |
| nomadic-labs/albert#2 AST printer and intermediate step printing options enhancement | Solve issue | rafoo_ is assigned |
| nomadic-labs/tezos#30 nomadic-labs/tezos#30 michelson tests | Solve issue | 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/albert#12 Use Michocoq certified optimizer compiler | 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 |
| tezos/michelson-reference#66 Inconsistency and other clarifications in the doc documentation | 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/tezos#228 nomadic-labs/tezos#228 client michelson UX | Complete task | rafoo_ opened issue and no one 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/teztool#2 The Babylonnet network is deprecated. | Solve issue | 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/albert#27 nomadic-labs/albert#27 documentation | 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 |
| tezos/michelson-reference#64 Fix documentation of public key comparison | 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/albert!7 WIP: Adding protocol specific operations | Close or reply to thread | rafoo_ is the thread author |
| tezos/michelson-reference!44 Draft: Add `modified-in` field for instructions and types reference-schema | Close or reply to thread | rafoo_ is the thread 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/albert!14 WIP: Subject reduction for the base + toplevel fragment meta-theory | Fix CI | rafoo_ is the original author and triggered last pipeline |
| UnWIP | rafoo_ is the original 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 |
| metastatedev/tezos#215 Follow-up from "Michelsoneries" Protocol Smart Contract | Complete task | rafoo_ is assigned |
| metastatedev/tezos#219 Follow-up from "Optimized notations for pairs" Protocol Smart Contract | Complete task | rafoo_ is assigned |
| metastatedev/tezos#220 Annotate tailcalls in bounded recursive functions (typechecker/interpreter) Protocol Smart Contract | Complete task | rafoo_ is assigned |
| metastatedev/tezos#221 Optimize macro expansion (avoid extra sequences) Code improvment Protocol Smart Contract | Complete task | rafoo_ is assigned |
| metastatedev/tezos#225 Improve documentation of Michelson annotation propagation Documentation proto-008 Smart Contract | Complete task | rafoo_ is assigned |
| metastatedev/tezos#164 Update TZT proposal once !146 is merged Documentation Test | Solve issue | rafoo_ is assigned |
| metastatedev/tezos#183 Michelson lazy values Feature Protocol Smart Contract To Do | Solve issue | rafoo_ is assigned |
| metastatedev/tezos#190 Move translator errors to the client Code improvment proto-009 Protocol | Solve issue | rafoo_ is assigned |
| metastatedev/tezos#205 Michelson: Move conversion functions from and to `string canonical` to the client Code improvment Environment V1 Minor Protocol Smart Contract To Do | Solve issue | rafoo_ is assigned |
| metastatedev/tezos#234 Tests/Python: use mockup client instead for onchain_opcode tests to remove the need to bake proto-009 Smart Contract Test | Solve issue | rafoo_ is assigned |
| metastatedev/tezos#242 Regression testing of Optimized_legacy unparsing mode Protocol Smart Contract | Solve issue | rafoo_ is assigned |
| metastatedev/tezos#194 Follow-up from "Michelson BLS12-381 ops": tests opcodes in test_contract_opcodes | Complete task | rafoo_ opened issue and no one is assigned |
| metastatedev/tezos#232 Add conversion functions between `bls12_381_fr` and `nat`/`int`. Crypto proto-009 Smart Contract | Solve issue | rafoo_ opened issue and no one is assigned |
| metastatedev/tezos!202 WIP: Client+Proto_alpha: add typed version of `unpack michelson data` Smart Contract Tooling | Close or reply to thread | rafoo_ is the thread author |
| Close or reply to thread | rafoo_ is the thread author | |
| metastatedev/tezos!61 WIP: Dynamic typing Protocol Smart Contract | Fix CI | rafoo_ is the original author and triggered last pipeline |
| UnWIP | rafoo_ is the original author | |
| metastatedev/tezos!83 Draft: WIP: Proto, RPC, and Client: support for the TZT format Protocol RPC Smart Contract Tooling | Fix CI | rafoo_ is the original author and triggered last pipeline |
| UnWIP | rafoo_ is the original author | |
| metastatedev/tezos!113 WIP: Refactoring of annotations and entrypoints proto-009 Protocol Smart Contract | UnWIP | rafoo_ is the original author |
