Updated on 2022-06-10 10:15:35 UTC
refreshed every 30 minutes
refreshed every 30 minutes
Julien's actions
on nomadic-labs/albert
(29)
| Resource | Action | Why |
|---|---|---|
| nomadic-labs/albert!25 [build|test] adding counter-examples and their related error logs | Reply to thread | julien.t is the original author |
| Reply to thread | julien.t is the original author | |
| Fix CI | julien.t is the original author and triggered last pipeline | |
| Add a merge-team reviewer | julien.t is the original author | |
| nomadic-labs/albert#6 nomadic-labs/albert#6 compiler Doing enhancement | Solve issue | julien.t is assigned |
| nomadic-labs/albert#13 Having __loc__ mechanism in coq for debbuging purpose compiler Doing | Solve issue | julien.t is assigned |
| nomadic-labs/albert#18 Implement Intrinsics (i.e. mapping of Albert constructions to a given Michelson construction) compiler specification | Complete task | julien.t opened issue and no one is assigned |
| nomadic-labs/albert#3 Add meta info to the AST compiler Doing priority::high specification | Solve issue | julien.t opened issue and no one is assigned |
| nomadic-labs/albert#4 Improve constructors' type-annotations compiler enhancement priority::mid specification | Solve issue | julien.t opened issue and no one is assigned |
| nomadic-labs/albert#5 Using annotations to track variables into produced michelson compiler enhancement | Solve issue | julien.t opened issue and no one is assigned |
| nomadic-labs/albert#14 Explicit dependencies between ott files specification suggestion To Do | Solve issue | julien.t opened issue and no one is assigned |
| nomadic-labs/albert#25 Tez.of_Z should fail on numbers greater than 2^64 bug | Solve issue | julien.t opened issue and no one is assigned |
| nomadic-labs/albert!6 WIP: AST and intermediate step printer | Reply to thread | julien.t is the original author |
| Reply to thread | julien.t is the original author | |
| UnWIP | julien.t is the original author | |
| nomadic-labs/albert!7 WIP: Adding protocol specific operations | Reply to thread | julien.t is the original author |
| Fix CI | julien.t is the original author and triggered last pipeline | |
| UnWIP | julien.t is the original author | |
| nomadic-labs/albert!30 WIP: [ott|parser] fix mutez litteral parsing bug | Reply to thread | julien.t is the original author |
| Fix CI | julien.t is the original author and triggered last pipeline | |
| UnWIP | julien.t is the original author | |
| nomadic-labs/albert!10 WIP: Synthesis of entrypoints dispatcher compiler enhancement specification | Fix CI | julien.t is the original author and triggered last pipeline |
| UnWIP | julien.t is the original author | |
| nomadic-labs/albert!24 WIP: preprocessor to handle file location in messages | Fix CI | julien.t is the original author and triggered last pipeline |
| UnWIP | julien.t is the original author | |
| nomadic-labs/albert!27 WIP: project dunification | Fix CI | julien.t is the original author and triggered last pipeline |
| UnWIP | julien.t is the original author | |
| nomadic-labs/albert#15 CI improvements meta-issue | Meta issue task | julien.t opened issue and no one is assigned |
| nomadic-labs/albert#10 Designing a decompiler meta-issue | Meta issue | julien.t opened issue and no one is assigned |
Repositories
|
