tezos/tezos#975 Nomadic Labs' repository is private wontfix 🙈
|
Solve issue
|
onurb is assigned |
nomadic-labs/privacy-team!292 Shared Permutation Argument - Fixes #168 Blocking
nomadic-labs/privacy-team#168
|
Merge
|
onurb is a dispatcher and there is no merge-team reviewer |
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!560 encoding Blocking
nomadic-labs/coq-tezos-of-ocaml#102
nomadic-labs/coq-tezos-of-ocaml#101
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!118 Arvid@dexter lemmas and refactorings Blocking
nomadic-labs/mi-cho-coq!100
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/data-encoding!56 char encoding feature
Blocking
nomadic-labs/data-encoding#40
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/data-encoding!69 Add lazy Sequence encoding feature
Blocking
nomadic-labs/data-encoding#25
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/umami-wallet/umami!450 Add Linux file uploads for the AppImage (Redux)
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos-dapp-demo!1 Test taquito
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/ocaml-secp256k1-internal!16 add support to OCaml 5.00
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tenderbake-simulator!39 Add Nix Flake Support
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/arvid-tezos!80 Test coverage impact 2: add some lib_clic tests
|
Merge
|
onurb is a dispatcher and there is no merge-team reviewer |
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/arvid-tezos!85 MR for test: Get coverage after merge
|
Merge
|
onurb is a dispatcher and there is no merge-team reviewer |
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/albert#21 Add tests for opcodes Doing
priority::high
test
|
Complete task
|
onurb is assigned |
nomadic-labs/mi-cho-coq#20 Verify the dexter contract Doing
smart-contract verification
|
Solve issue
|
onurb is assigned |
nomadic-labs/mi-cho-coq#22 nomadic-labs/mi-cho-coq#22 Done
smart-contract verification
|
Solve issue
|
onurb is assigned |
nomadic-labs/albert#16 Extend test suite test
|
Solve issue
|
onurb is assigned |
nomadic-labs/tezos#335 nomadic-labs/tezos#335 type::meta
|
Solve issue
|
onurb is assigned |
nomadic-labs/tezos#378 nomadic-labs/tezos#378 issues-management
|
Solve issue
|
onurb is assigned |
nomadic-labs/resto!15 add profiling information
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/lwt-exit!3 lwt_exit: Enhance warning message
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!57 Integrate the output of coq-of-ocaml with the interpreter coq-of-ocaml 🐓
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!59 Add specialized multisig source doc
smart-contract verification
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!62 Functional proof of guestbook contract and simple lifetime property smart-contract verification
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/albert!25 [build|test] adding counter-examples and their related error logs
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!70 Certification of the specialised multisig smart-contract verification
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!71 Dexter verification smart-contract verification
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/albert!29 Increase coverage Doing
priority::high
test
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/resto!14 Add deprecation mechanism
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/lwt-watcher!1 Add the possibility to bound the number of values contained by an output stream
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos!190 nomadic-labs/tezos!190 p2p
shell
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/ansible-tezos-source-role!19 Refactoring
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!98 Dexter 1.1 verification
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/data-encoding!39 Don't allow duplicate field names in an object bugfix
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!113 Replace String.string_dec by String.eqb in Dexter 2
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos!240 nomadic-labs/tezos!240
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/ringo!14 Failing test, waiting for a fix
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/sapling-verification!21 Split Tree module in the F* Spec FStar
IMTs
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/data-encoding!44 Add length field to Bytes and String layout schemas
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!137 FA1.2 verification v2 formalisation
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/data-encoding!50 Test: add separate test suite to demonstrate bugs bugfix
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/sapling-verification!23 F* Sapling Spec: Write a detailed README IMTs
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/data-encoding!51 Binary_write: tailrec-ify write_rec
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/json-data-encoding!20 Json_encoding: Refactor `construct` API
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos!358 nomadic-labs/tezos!358
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/monitoring-playbooks!14 major fix and changes.
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/data-encoding!59 Add encoding for Q (rationals as defined in Zarith) feature
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/data-encoding!60 Add bytes-as-string encoding feature
technical-debt
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/json-data-encoding!25 Add @runtest_js
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos!486 nomadic-labs/tezos!486
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!149 Kristina@ctez
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/umami-wallet/umami!678 open wert in browser
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/privacy-team!198 Lookups on continuous range
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!151 Fix #66 and #67 bug
test
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/umami-wallet/umami!767 Implement rescript compiler
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!152 [README] fix broken link to Michelson spec
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/umami-wallet/umami!785 Git mv desktop source files in a separate directory
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos!506 nomadic-labs/tezos!506
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/umami-wallet/umami-stack-orchestration!49 Configure SAST in `.gitlab-ci.yml`, creating this file if it does not already exist
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq!155 Adding support for 8.14
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/resto!34 Add query-param matching feature to ACL
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/lwt-exit!6 Add warning about binding global promises
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/umami-wallet/umami!809 Move taquito code to separate library
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!510 MR for saturation fuzzing proofs help
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!528 Added proof for substr_l_eq
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos!513 nomadic-labs/tezos!513
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/grafazos!20 Multinode dashboard
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/mezos!56 support for jakarta
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/data-encoding!88 `mu` now avoids the first unrolling
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/resto!39 v0.8 changes in CHANGES.md
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!548 More simulation cases for the interpreter michelson
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/json-data-encoding!33 Add optional object flag to custom encoding
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos!521 nomadic-labs/tezos!521 p2p
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos!522 nomadic-labs/tezos!522
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/grafazos!22 GitLab CI pipeline
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!563 Added simulation for dep_big_map_get_by_hash
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!568 Added proofs for index_opt_eq and substr_l_eq
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/coq-tezos-of-ocaml!569 Michelson : Add proof for dep_parse_instr_eq
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/umami-wallet/umami-stack-orchestration!51 Resolve "Indexer-multicore issue after block 1810000" Umami-stack::indexer
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/privacy-team!295 Plompiler: add Bounded module
|
Help add merge-team reviewers
|
onurb is a dispatcher |
nomadic-labs/tezos-lang-server!9 [WIP] Upgrade project to proto-010-PtGRANAD
|
Help add reviewers
|
onurb is a dispatcher |
nomadic-labs/privacy-team!266 Git: ignore more files
|
Help add reviewers
|
onurb is a dispatcher |
nomadic-labs/mi-cho-coq#61 Move big proofs in a separate repo
|
Solve issue
|
onurb 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
|
Close or reply to thread
|
onurb is the thread author |
nomadic-labs/albert!23 WIP Bruno@coverage Doing
priority::high
test
|
UnWIP
|
onurb is the original author |