updating to nightlies

Author: signorecello

.devcontainer/Dockerfile

@@ -1,4 +1,4 @@
-FROM --platform=linux/amd64 node:lts-bookworm-slim
+FROM ubuntu:24.04
 SHELL ["/bin/bash", "-c"]
 RUN apt update && apt install -y curl bash git tar gzip libc++-dev unzip jq
 RUN curl -fsSL https://bun.sh/install | bash
@@ -8,5 +8,5 @@ RUN echo "PATH=$PATH:/home/codespace/.nargo/bin:$PATH" >> ~/.zshrc
 RUN echo "PATH=$PATH:/home/codespace/.bb:$PATH" >> ~/.zshrc
 RUN . ~/.zshrc
 RUN . ~/.bashrc
-RUN /root/.nargo/bin/noirup
-RUN /root/.bb/bbup -v 0.72.1
+RUN /root/.nargo/bin/noirup -n
+RUN /root/.bb/bbup -v 0.80.0

.devcontainer/devcontainer.json

@@ -15,7 +15,5 @@
 			"extensions": ["noir-lang.vscode-noir"]
 		}
 	},
-	"features": {
-		"ghcr.io/devcontainers/features/docker-in-docker:2": {}
-	}
+	"features": {}
 }

test/Nargo.toml

@@ -0,0 +1,6 @@
+[package]
+name = "test"
+type = "bin"
+authors = [""]
+
+[dependencies]

test/Prover.toml

@@ -0,0 +1,2 @@
+x = 1
+y = 2

test/src/main.nr

@@ -0,0 +1,11 @@
+fn main(x: Field, y: pub Field) {
+    assert(x != y);
+}
+
+#[test]
+fn test_main() {
+    main(1, 2);
+
+    // Uncomment to make test fail
+    // main(1, 1);
+}

test/target/test.gz

@@ -0,0 +1 @@
+{"noir_version":"1.0.0-beta.3+cae4216d70dbe04358eac4b29ea9719fff715bef","hash":"5392680307372705508","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"public"}],"return_type":null,"error_types":{}},"bytecode":"H4sIAAAAAAAA/7VSWw4CIQzkoVG/Ze/R8ljKn1eRyN7/CMYICWH7t+wkZAhthpmCFH+oun64VJZij9bzqgzHgL2Wg9X7Em1Bh2+wKVMAH/JKSBgofCw5V8hTTDlFSOhdwS0kt1UxOc8XSCbzKeHV5AGozvhMXe5TSOZsrD0GXrq6njjLpm/O0Ycbk3Hp9mbIyb0DHETT05WvYg811FrvffAn5/vD0Ytm7mp4VjbdWZvnF3hgTpCVBAAA","debug_symbols":"lY1LCsMwDETvorUXDSQbX6WU4I8cBMY2sl0oJnevEhrItju9edJogEfbt5VSyBX0c0DMzjTKSWjA44xqMemg2gw30POiAJMHvUy7gkARZZz3l4Lpn3UByxQjbev9p8Rvw2RsxB+GntzNtk+5zHVfODv0nfFoOp3UfwE=","file_map":{"54":{"source":"fn main(x: Field, y: pub Field) {\n    assert(x != y);\n}\n\n#[test]\nfn test_main() {\n    main(1, 2);\n\n    // Uncomment to make test fail\n    // main(1, 1);\n}\n","path":"/workspaces/tiny-noir-codespace/test/src/main.nr"}},"names":["main"],"brillig_names":["directive_invert"]}