Updated on 2022-06-10 10:15:35 UTC
refreshed every 30 minutes
@julien.tjulien.t (29)@rafoo_rafoo_ (10)@arvidnlarvidnl (5)@onurbonurb (5)@MBourgoinMBourgoin (2)@OanaLPOanaLP (2)@SamREyeSamREye (2)@davdumasdavdumas (2)@jgonlabsjgonlabs (2)@klakplokklakplok (2)@nguyencharles.nlabsnguyencharles.nlabs (2)@pirbopirbo (2)@raphael-proustraphael-proust (2)@romain.nlromain.nl (2)@vbotbolvbotbol (2)

Everybody's actions on nomadic-labs/albert (48)

Resource Action Who and why
nomadic-labs/albert!25
[build|test] adding counter-examples and their related error logs 		Reply to thread @julien.tjulien.t is the original author
Reply to thread @julien.tjulien.t is the original author
Fix CI @julien.tjulien.t is the original author and triggered last pipeline
Add a merge-team reviewer @julien.tjulien.t is the original author
Help add merge-team reviewers @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol is a dispatcher
nomadic-labs/albert!29
Increase coverage
Doing priority::high test 		Fix CI @rafoo_rafoo_ is the original author and triggered last pipeline
Add a merge-team reviewer @rafoo_rafoo_ is the original author
Help add merge-team reviewers @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol is a dispatcher
nomadic-labs/albert#21
Add tests for opcodes
Doing priority::high test 		Complete task @onurbonurb is assigned
nomadic-labs/albert#7
nomadic-labs/albert#7
meta-theory 		Complete task @rafoo_rafoo_ is assigned
nomadic-labs/albert#24
Simplify CI's use of opam install
ci priority::low To Do 		Complete task @rafoo_rafoo_ is assigned
nomadic-labs/albert#2
AST printer and intermediate step printing options
enhancement 		Solve issue @rafoo_rafoo_ is assigned
nomadic-labs/albert#6
nomadic-labs/albert#6
compiler Doing enhancement 		Solve issue @julien.tjulien.t is assigned
nomadic-labs/albert#9
Improve error messages
compiler enhancement ui 		Solve issue @arvidnlarvidnl is assigned
nomadic-labs/albert#12
Use Michocoq certified optimizer
compiler 		Solve issue @rafoo_rafoo_ is assigned
nomadic-labs/albert#13
Having __loc__ mechanism in coq for debbuging purpose
compiler Doing 		Solve issue @julien.tjulien.t is assigned
nomadic-labs/albert#16
Extend test suite
test 		Solve issue @arvidnlarvidnl @onurbonurb is assigned
nomadic-labs/albert#22
CI reminder to mirror opam file in `coq-opam-archive`
ci packaging 		Solve issue @arvidnlarvidnl is assigned
nomadic-labs/albert#23
Exclude non-Albert ML files from coverage report
packaging test 		Solve issue @arvidnlarvidnl is assigned
nomadic-labs/albert#26
Track and publish coverage
test 		Solve issue @arvidnlarvidnl is assigned
nomadic-labs/albert#18
Implement Intrinsics (i.e. mapping of Albert constructions to a given Michelson construction)
compiler specification 		Complete task @julien.tjulien.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.tjulien.t opened issue and no one is assigned
nomadic-labs/albert#4
Improve constructors' type-annotations
compiler enhancement priority::mid specification 		Solve issue @julien.tjulien.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.tjulien.t opened issue and no one is assigned
nomadic-labs/albert#14
Explicit dependencies between ott files
specification suggestion To Do 		Solve issue @julien.tjulien.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.tjulien.t opened issue and no one is assigned
nomadic-labs/albert#27
nomadic-labs/albert#27
documentation 		Solve issue @rafoo_rafoo_ opened issue and no one is assigned
nomadic-labs/albert!6
WIP: AST and intermediate step printer 		Reply to thread @julien.tjulien.t is the original author
Reply to thread @julien.tjulien.t is the original author
UnWIP @julien.tjulien.t is the original author
nomadic-labs/albert!7
WIP: Adding protocol specific operations 		Close or reply to thread @rafoo_rafoo_ is the thread author
Reply to thread @julien.tjulien.t is the original author
Fix CI @julien.tjulien.t is the original author and triggered last pipeline
UnWIP @julien.tjulien.t is the original author
nomadic-labs/albert!30
WIP: [ott|parser] fix mutez litteral parsing
bug 		Reply to thread @julien.tjulien.t is the original author
Fix CI @julien.tjulien.t is the original author and triggered last pipeline
UnWIP @julien.tjulien.t is the original author
nomadic-labs/albert!14
WIP: Subject reduction for the base + toplevel fragment
meta-theory 		Fix CI @rafoo_rafoo_ is the original author and triggered last pipeline
UnWIP @rafoo_rafoo_ is the original author
nomadic-labs/albert!10
WIP: Synthesis of entrypoints dispatcher
compiler enhancement specification 		Fix CI @julien.tjulien.t is the original author and triggered last pipeline
UnWIP @julien.tjulien.t is the original author
nomadic-labs/albert!24
WIP: preprocessor to handle file location in messages 		Fix CI @julien.tjulien.t is the original author and triggered last pipeline
UnWIP @julien.tjulien.t is the original author
nomadic-labs/albert!27
WIP: project dunification 		Fix CI @julien.tjulien.t is the original author and triggered last pipeline
UnWIP @julien.tjulien.t is the original author
nomadic-labs/albert!23
WIP Bruno@coverage
Doing priority::high test 		UnWIP @onurbonurb is the original author
nomadic-labs/albert#15
CI improvements
meta-issue 		Meta issue task @julien.tjulien.t opened issue and no one is assigned
nomadic-labs/albert#10
Designing a decompiler
meta-issue 		Meta issue @julien.tjulien.t opened issue and no one is assigned

Repositories

nomadic-labs/albertnomadic-labs/albert

Dispatchers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (from project owners)
Merge‑teamers:   @davdumasdavdumas @jgonlabsjgonlabs @klakplokklakplok @MBourgoinMBourgoin @nguyencharles.nlabsnguyencharles.nlabs @OanaLPOanaLP @onurbonurb @pirbopirbo @raphael-proustraphael-proust @romain.nlromain.nl @SamREyeSamREye @vbotbolvbotbol (copied from dispatchers)
Issue watchers:  No one (no one)
Labels:  bug ci compiler confirmed critical discussion documentation Doing emacs-mode enhancement meta-issue meta-theory packaging priority::high priority::low priority::mid Release Management Crew specification state::blocked state::in-progress state::in-review state::ready-to-merge state::to-do suggestion support test To Do ui