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

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

Resource	Action	Who and why
nomadic-labs/albert#6 nomadic-labs/albert#6 compiler Doing enhancement	Solve issue	julien.t is assigned
nomadic-labs/albert#9 Improve error messages compiler enhancement ui	Solve issue	arvidnl is assigned
nomadic-labs/albert#12 Use Michocoq certified optimizer compiler	Solve issue	rafoo_ 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!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