Tickets + JS CLI

.envrc

@@ -1 +1,4 @@
 use_flake
+
+# Work-around for an issue where Ligo can't find SSL certificates
+export NIX_SSL_CERT_FILE="/etc/ssl/certs/ca-bundle.crt" 

.github/workflows/build.yml

@@ -16,7 +16,22 @@ jobs:
             system-features = nixos-test benchmark big-parallel kvm
             extra-substituters = https://anmonteiro.nix-cache.workers.dev
             extra-trusted-public-keys = ocaml.nix-cache.com-1:/xI2h2+56rwFfKyyFVbkJSeGqSIYMC/Je+7XXqGKDIY=
-
+      - name: Cache nix store
+        id: cache-native
+        uses: actions/cache@v3
+        with:
+          path: cache
+          key: ${{ runner.os }}-devshell-${{ hashFiles('flake.lock') }}
+      # We don't check the signature because we're the one that created the cache
+      - name: Restore cache
+        if: steps.cache-native.outputs.cache-hit == 'true'
+        run: |
+          for narinfo in ./cache/*.narinfo; do
+            path=$(head -n 1 "$narinfo" | awk '{print $2}')
+            nix copy --no-check-sigs --from "file://$(pwd)/cache" "$path"
+          done
+      - name: Check formatting
+        run: nix fmt -- --fail-on-change
       - name: Build default
         run: nix --log-format raw -L build '.#deku'
       - name: Build static
@@ -37,6 +52,13 @@ jobs:
         run: |
           echo "::set-output name=date::$(date +%Y-%m-%d)"
           echo "::set-output name=sha_short::$(git rev-parse --short HEAD)"
+      - name: "Copy store to cache"
+        run: |
+          mkdir -p ./cache
+          nix copy --to "file://$(pwd)/cache" .#devShells.x86_64-linux.default
+          nix copy --to "file://$(pwd)/cache" .#deku
+          nix copy --to "file://$(pwd)/cache" .#deku-static
+          nix copy --to "file://$(pwd)/cache" .#formatter.x86_64-linux
       - name: "Build docker image"
         run: nix build .#docker
       - name: "Load docker image"

.gitignore

@@ -8,3 +8,5 @@ chain*.json
 *-node-*-deku_state_*.tar.gz
 tezos_js_bridge.bundle.js
 flextesa_chain/data
+*.js
+*.sw?

README.md

@@ -26,6 +26,7 @@ To develop DApps and client-side applications for Deku networks, see [the client
 To get started developing your own Deku network, you can fork the [Deku template](https://github.com/marigold-dev/deku-template).
 
 ## Development
+
 ### Building from Source
 
 We currently support building from source on Linux x86_64 and MacOS M1 systems.
@@ -34,13 +35,15 @@ Deku is packaged with Nix. See the [Nix docs](https://nixos.org/download.html) f
 Additionally, ensure [Nix flakes are enabled](https://nixos.wiki/wiki/Flakes#Enable_flakes).
 
 Once Nix is installed, the dev environment can build built with:
+
 ```
 nix develop .
 ```
 
 ### Tests and Benchmarks
 
 Tests and benchmarks can be run with the respective commands:
+
 ```
 nix develop -c dune build @runtest
 nix run .#benchmark
@@ -52,20 +55,22 @@ Our sandbox network uses [Flextesa](https://tezos.gitlab.io/flextesa/) to run a
 via `docker compose`. Additionally, our compose file includes a local instance of https://better-call.dev
 that can be used to inspect and interact with any contracts you deploy to the Tezos sandbox network.
 
-
 First, start the Flextesa sandbox. You'll need to login it the Github container registery
 which you can do by following [these instructions](https://docs.github.com/en/packages/working-with-a-github-packages-registry/working-with-the-container-registry).
+
 ```
 docker compose up -d
 ```
 
 Deku chains are CPU-intensive, so depending on your available resources you may
 want to lower the default block size (default is 10000 operations/block):
+
 ```
 export DEKU_DEFAULT_BLOCK_SIZE=100
 ```
 
 You can start the chain with:
+
 ```
 ./start.sh
 ```

decookies/typescript-vm/specs/addCookie.specs.ts

@@ -1,106 +1,101 @@
-import * as fc from 'fast-check';
-import { cookieBakerArbitrary } from './generators'
-import {
-    addCookie
-} from '../src/state'
+import * as fc from "fast-check";
+import { cookieBakerArbitrary } from "./generators";
+import { addCookie } from "../src/state";
 
-describe('cookieBaker.addCookie successful', () => {
-    test('add cookie only mint one cookie', () => {
-        fc.assert(
-            fc.property(
-                cookieBakerArbitrary(),
-                cookieBaker => {
-                    const cookiesBefore = cookieBaker.cookies;
-                    const cursorsBefore = cookieBaker.cursors;
-                    const grandmasBefore = cookieBaker.grandmas;
-                    const farmsBefore = cookieBaker.farms;
-                    const minesBefore = cookieBaker.mines;
-                    const factoriesBefore = cookieBaker.factories;
-                    const banksBefore = cookieBaker.banks;
-                    const templesBefore = cookieBaker.temples;
-                    const wizardsBefore = cookieBaker.wizards;
-                    const shipmentsBefore = cookieBaker.shipments;
-                    const alchemiesBefore = cookieBaker.alchemies;
-                    const portalsBefore = cookieBaker.portals;
-                    const timemachinesBefore = cookieBaker.timeMachines;
-                    const antimattersBefore = cookieBaker.antimatters;
-                    const prismsBefore = cookieBaker.prisms;
-                    const chancemakersBefore = cookieBaker.chanceMakers;
-                    const fractalsBefore = cookieBaker.fractals;
-                    const javascriptsBefore = cookieBaker.javaScripts;
-                    const idleversesBefore = cookieBaker.idleverses;
-                    const cordexsBefore = cookieBaker.cordexs;
+describe("cookieBaker.addCookie successful", () => {
+  test("add cookie only mint one cookie", () => {
+    fc.assert(
+      fc.property(cookieBakerArbitrary(), (cookieBaker) => {
+        const cookiesBefore = cookieBaker.cookies;
+        const cursorsBefore = cookieBaker.cursors;
+        const grandmasBefore = cookieBaker.grandmas;
+        const farmsBefore = cookieBaker.farms;
+        const minesBefore = cookieBaker.mines;
+        const factoriesBefore = cookieBaker.factories;
+        const banksBefore = cookieBaker.banks;
+        const templesBefore = cookieBaker.temples;
+        const wizardsBefore = cookieBaker.wizards;
+        const shipmentsBefore = cookieBaker.shipments;
+        const alchemiesBefore = cookieBaker.alchemies;
+        const portalsBefore = cookieBaker.portals;
+        const timemachinesBefore = cookieBaker.timeMachines;
+        const antimattersBefore = cookieBaker.antimatters;
+        const prismsBefore = cookieBaker.prisms;
+        const chancemakersBefore = cookieBaker.chanceMakers;
+        const fractalsBefore = cookieBaker.fractals;
+        const javascriptsBefore = cookieBaker.javaScripts;
+        const idleversesBefore = cookieBaker.idleverses;
+        const cordexsBefore = cookieBaker.cordexs;
 
-                    const cursorCostBefore = cookieBaker.cursorCost;
-                    const grandmaCostBefore = cookieBaker.grandmaCost;
-                    const farmCostBefore = cookieBaker.farmCost;
-                    const mineCostBefore = cookieBaker.mineCost;
-                    const factoryCostBefore = cookieBaker.factoryCost;
-                    const bankCostBefore = cookieBaker.bankCost;
-                    const templeCostBefore = cookieBaker.templeCost;
-                    const wizardCostBefore = cookieBaker.wizardCost;
-                    const shipmentCostBefore = cookieBaker.shipmentCost;
-                    const alchemyCostBefore = cookieBaker.alchemyCost;
-                    const portalCostBefore = cookieBaker.portalCost;
-                    const timeMachineCostBefore = cookieBaker.timeMachineCost;
-                    const antimatterCostBefore = cookieBaker.antimatterCost;
-                    const prismCostBefore = cookieBaker.prismCost;
-                    const chanceMakerCostBefore = cookieBaker.chanceMakerCost;
-                    const fractalCostBefore = cookieBaker.fractalCost;
-                    const javaScriptCostBefore = cookieBaker.javaScriptCost;
-                    const idleverseCostBefore = cookieBaker.idleverseCost;
-                    const cordexCostBefore = cookieBaker.cordexCost;
+        const cursorCostBefore = cookieBaker.cursorCost;
+        const grandmaCostBefore = cookieBaker.grandmaCost;
+        const farmCostBefore = cookieBaker.farmCost;
+        const mineCostBefore = cookieBaker.mineCost;
+        const factoryCostBefore = cookieBaker.factoryCost;
+        const bankCostBefore = cookieBaker.bankCost;
+        const templeCostBefore = cookieBaker.templeCost;
+        const wizardCostBefore = cookieBaker.wizardCost;
+        const shipmentCostBefore = cookieBaker.shipmentCost;
+        const alchemyCostBefore = cookieBaker.alchemyCost;
+        const portalCostBefore = cookieBaker.portalCost;
+        const timeMachineCostBefore = cookieBaker.timeMachineCost;
+        const antimatterCostBefore = cookieBaker.antimatterCost;
+        const prismCostBefore = cookieBaker.prismCost;
+        const chanceMakerCostBefore = cookieBaker.chanceMakerCost;
+        const fractalCostBefore = cookieBaker.fractalCost;
+        const javaScriptCostBefore = cookieBaker.javaScriptCost;
+        const idleverseCostBefore = cookieBaker.idleverseCost;
+        const cordexCostBefore = cookieBaker.cordexCost;
 
-                    const passiveCPSBefore = cookieBaker.passiveCPS;
+        const passiveCPSBefore = cookieBaker.passiveCPS;
 
-                    const eatenCookiesBefore = cookieBaker.eatenCookies;
+        const eatenCookiesBefore = cookieBaker.eatenCookies;
 
-                    const cookie_Baker = addCookie(cookieBaker, 1n);
-                    return (cookie_Baker.cookies === cookiesBefore + 1n
-                        && cookie_Baker.cursors === cursorsBefore
-                        && cookie_Baker.grandmas === grandmasBefore
-                        && cookie_Baker.farms === farmsBefore
-                        && cookie_Baker.mines === minesBefore
-                        && cookie_Baker.factories === factoriesBefore
-                        && cookie_Baker.banks === banksBefore
-                        && cookie_Baker.temples === templesBefore
-                        && cookie_Baker.wizards === wizardsBefore
-                        && cookie_Baker.shipments === shipmentsBefore
-                        && cookie_Baker.alchemies === alchemiesBefore
-                        && cookie_Baker.portals === portalsBefore
-                        && cookie_Baker.timeMachines === timemachinesBefore
-                        && cookie_Baker.antimatters === antimattersBefore
-                        && cookie_Baker.prisms === prismsBefore
-                        && cookie_Baker.chanceMakers === chancemakersBefore
-                        && cookie_Baker.fractals === fractalsBefore
-                        && cookie_Baker.javaScripts === javascriptsBefore
-                        && cookie_Baker.idleverses === idleversesBefore
-                        && cookie_Baker.cordexs === cordexsBefore
-
-                        && cookie_Baker.cursorCost === cursorCostBefore
-                        && cookie_Baker.grandmaCost === grandmaCostBefore
-                        && cookie_Baker.farmCost === farmCostBefore
-                        && cookie_Baker.mineCost === mineCostBefore
-                        && cookie_Baker.factoryCost === factoryCostBefore
-                        && cookie_Baker.bankCost === bankCostBefore
-                        && cookie_Baker.templeCost === templeCostBefore
-                        && cookie_Baker.wizardCost === wizardCostBefore
-                        && cookie_Baker.shipmentCost === shipmentCostBefore
-                        && cookie_Baker.alchemyCost === alchemyCostBefore
-                        && cookie_Baker.portalCost === portalCostBefore
-                        && cookie_Baker.timeMachineCost === timeMachineCostBefore
-                        && cookie_Baker.antimatterCost === antimatterCostBefore
-                        && cookie_Baker.prismCost === prismCostBefore
-                        && cookie_Baker.chanceMakerCost === chanceMakerCostBefore
-                        && cookie_Baker.fractalCost === fractalCostBefore
-                        && cookie_Baker.javaScriptCost === javaScriptCostBefore
-                        && cookie_Baker.idleverseCost === idleverseCostBefore
-                        && cookie_Baker.cordexCost === cordexCostBefore
-
-                        && cookie_Baker.passiveCPS === passiveCPSBefore
-
-                        && cookie_Baker.eatenCookies === eatenCookiesBefore
-                    )
-                }));
-    });
+        const cookie_Baker = addCookie(cookieBaker, 1n);
+        return (
+          cookie_Baker.cookies === cookiesBefore + 1n &&
+          cookie_Baker.cursors === cursorsBefore &&
+          cookie_Baker.grandmas === grandmasBefore &&
+          cookie_Baker.farms === farmsBefore &&
+          cookie_Baker.mines === minesBefore &&
+          cookie_Baker.factories === factoriesBefore &&
+          cookie_Baker.banks === banksBefore &&
+          cookie_Baker.temples === templesBefore &&
+          cookie_Baker.wizards === wizardsBefore &&
+          cookie_Baker.shipments === shipmentsBefore &&
+          cookie_Baker.alchemies === alchemiesBefore &&
+          cookie_Baker.portals === portalsBefore &&
+          cookie_Baker.timeMachines === timemachinesBefore &&
+          cookie_Baker.antimatters === antimattersBefore &&
+          cookie_Baker.prisms === prismsBefore &&
+          cookie_Baker.chanceMakers === chancemakersBefore &&
+          cookie_Baker.fractals === fractalsBefore &&
+          cookie_Baker.javaScripts === javascriptsBefore &&
+          cookie_Baker.idleverses === idleversesBefore &&
+          cookie_Baker.cordexs === cordexsBefore &&
+          cookie_Baker.cursorCost === cursorCostBefore &&
+          cookie_Baker.grandmaCost === grandmaCostBefore &&
+          cookie_Baker.farmCost === farmCostBefore &&
+          cookie_Baker.mineCost === mineCostBefore &&
+          cookie_Baker.factoryCost === factoryCostBefore &&
+          cookie_Baker.bankCost === bankCostBefore &&
+          cookie_Baker.templeCost === templeCostBefore &&
+          cookie_Baker.wizardCost === wizardCostBefore &&
+          cookie_Baker.shipmentCost === shipmentCostBefore &&
+          cookie_Baker.alchemyCost === alchemyCostBefore &&
+          cookie_Baker.portalCost === portalCostBefore &&
+          cookie_Baker.timeMachineCost === timeMachineCostBefore &&
+          cookie_Baker.antimatterCost === antimatterCostBefore &&
+          cookie_Baker.prismCost === prismCostBefore &&
+          cookie_Baker.chanceMakerCost === chanceMakerCostBefore &&
+          cookie_Baker.fractalCost === fractalCostBefore &&
+          cookie_Baker.javaScriptCost === javaScriptCostBefore &&
+          cookie_Baker.idleverseCost === idleverseCostBefore &&
+          cookie_Baker.cordexCost === cordexCostBefore &&
+          cookie_Baker.passiveCPS === passiveCPSBefore &&
+          cookie_Baker.eatenCookies === eatenCookiesBefore
+        );
+      })
+    );
+  });
 });