-
Draft: test new changelog format 0 of 17 checklist items completed!2571
-
Laucans/fix doc dry run 0 of 17 checklist items completed!2633
-
git add Pretty.ml to replace CRLF to LF 1 of 17 checklist items completed!2617
-
Fix base URL to use marigold ghostnet which is always available 2 of 17 checklist items completed!2522
-
[WIP] eof try 1 of 17 checklist items completed!2626
-
Ported from transpilation the heuristics of comment-preservation of JsLIGO pretty-printing. 1 of 17 checklist items completed!2517
-
Draft: #1735 restructure docs 2 of 17 checklist items completed!2580
-
Adds macos security flags for all exes in the sandbox 2 of 17 checklist items completed!2558
-
-
Draft: [#1532] Implement delayed variables evaluation 4 of 17 checklist items completed!2474
-
!2034
-
Draft: Contracts: contracts-cameligo-parser 0 of 12 checklist items completed!2349
-
stop executing after first error in test 1 of 17 checklist items completed!2385
-
Draft: Contracts: CameLIGO parser changes + abstractors 0 of 12 checklist items completed!2354
-
Refactoring of CameLIGO 0 of 12 checklist items completed
-
Add open and include directive 3 of 5 checklist items completed!2149
-
Improve transpilation : implement deep pattern matching for jsligo and solve some bug with set 0 of 1 checklist item completed
-
Draft: [POC] Type checker in coq 5 of 20 checklist items completed!2118
-
-
Draft: troubleshooting update haskell img 0 of 17 checklist items completed!2513