Add support for v0.8.0

- Update Antlr grammar
- Add token properties to inputs and outputs
- Remove 'OutputX' in favour of 'LockingBytecodeX'
- Remove 'Compilation' functionality due to ESM incompatibilties
- Small fixes (highlight '*' and '0x' in code)
- Update examples

Author: rkalis

.gitignore

@@ -3,4 +3,5 @@ node_modules
 client/server
 .vscode-test
 *.vsix
-examples/*.json
+examples/*.json
+**/.antlr

README.md

@@ -14,7 +14,6 @@ A special thank you to [vscode-solidity](https://github.com/juanfranblanco/vscod
 - Auto-Completion
 - Snippets
 - Linting
-- Contract Compilation
 
 ## Development Instructions
 
@@ -23,19 +22,19 @@ Press **F5** or click the "**Compile Contract**" button in the top right. A json
 Clone the project
 
 ```
-git clone https://github.com/nathanielCherian/vscode-cashscript 
+git clone https://github.com/nathanielCherian/vscode-cashscript
 ```
 
 Install Dependencies
 
 ```
-cd vscode-cashscript && npm i 
+cd vscode-cashscript && npm i
 ```
 
 Open the project in vscode.
 
 ```
-code . 
+code .
 ```
 
 Press F5 anywhere to start the test window, open the examples folder to test out any '.cash' file. All relevent files are located within the /src directory.

examples/anyhedge.cash

@@ -0,0 +1,26 @@
+pragma cashscript ^0.7.0;
+
+contract P2PKH() {
+    function spend() {
+        bytes2 left, bytes2 right = 0x123456.split(2);
+        int constant c = 5;
+        require(left == right);
+        require(c * 2 == 2);
+
+        require(this.activeBytecode == 0x);
+        require(this.activeInputIndex == 0);
+        require(tx.version == 2);
+        require(tx.locktime == 1);
+        require(tx.inputs.length == 1);
+        require(tx.inputs[i].value == 1);
+        require(tx.inputs[i].lockingBytecode == 0x);
+        require(tx.inputs[i].unlockingBytecode == 0x);
+        require(tx.inputs[i].outpointTransactionHash == 0x);
+        require(tx.inputs[i].outpointIndex == 1);
+        require(tx.inputs[i].sequenceNumber == 1);
+
+        require(tx.outputs[i].value == 1);
+        require(tx.outputs.length == 1);
+        require(tx.outputs[i].lockingBytecode == 0x);
+    }
+}

examples/anyhedge_min.cash

@@ -0,0 +1,15 @@
+pragma cashscript ^0.7.0;
+
+contract P2PKH() {
+    function spend() {
+        require(tx.inputs[0].tokenCategory == bytes32(0));
+        require(tx.inputs[0].nftCommitment == bytes32(0));
+        require(tx.inputs[0].tokenAmount == 0);
+
+        require(tx.outputs[0].tokenCategory == bytes32(0));
+        require(tx.outputs[0].nftCommitment == bytes32(0));
+        require(tx.outputs[0].tokenAmount == 0);
+
+        require(tx.outputs[0].lockingBytecode == new LockingBytecodeP2SH32(bytes32(0)));
+    }
+}

examples/locktime.cash

@@ -0,0 +1,34 @@
+pragma cashscript ^0.8.0;
+
+/* This is an unofficial CashScript port of Licho's Mecenas contract. It is
+ * not compatible with Licho's EC plugin, but rather meant as a demonstration
+ * of covenants in CashScript.
+ * The time checking has been removed so it can be tested without time requirements.
+ */
+contract Mecenas(bytes20 recipient, bytes20 funder, int pledge/*, int period */) {
+    function receive() {
+        // require(tx.age >= period);
+
+        // Check that the first output sends to the recipient
+        require(tx.outputs[0].lockingBytecode == new LockingBytecodeP2PKH(recipient));
+
+        int minerFee = 1000;
+        int currentValue = tx.inputs[this.activeInputIndex].value;
+        int changeValue = currentValue - pledge - minerFee;
+
+        // If there is not enough left for *another* pledge after this one, we send the remainder to the recipient
+        // Otherwise we send the remainder to the recipient and the change back to the contract
+        if (changeValue <= pledge + minerFee) {
+            require(tx.outputs[0].value == currentValue - minerFee);
+        } else {
+            require(tx.outputs[0].value == pledge);
+            require(tx.outputs[1].lockingBytecode == tx.inputs[this.activeInputIndex].lockingBytecode);
+            require(tx.outputs[1].value == changeValue);
+        }
+    }
+
+    function reclaim(pubkey pk, sig s) {
+        require(hash160(pk) == funder);
+        require(checkSig(s, pk));
+    }
+}

examples/may-2022.cash

@@ -2,9 +2,9 @@ pragma cashscript ^0.6.0;
 
 contract P2PKH(bytes20 pkh) {
     function spend(pubkey pk, sig s) {
-        byte m  = 0x01;
+        byte m = 0x01;
         require(checkSig(s, pk));
         require(hash160(pk) == pkh);
         require(int(m) == 2);
     }
-}
+}