Links and resource adjustments

Signed-off-by: Fabiano <[email protected]>

Cargo.toml

@@ -131,6 +131,7 @@ cli = [
 aleo-cli = [ "snarkvm-synthesizer/aleo-cli" ]
 async = [ "snarkvm-ledger/async", "snarkvm-synthesizer/async" ]
 cuda = [ "snarkvm-algorithms/cuda" ]
+history = [ "snarkvm-synthesizer/history" ]
 parameters_no_std_out = [ "snarkvm-parameters/no_std_out" ]
 noconfig = [ ]
 rocks = [ "snarkvm-ledger/rocks", "snarkvm-synthesizer/rocks" ]

README.md

@@ -71,10 +71,11 @@ Alternatively, you can install `snarkvm` by building from the source code as fol
 
 ```bash
 # Download the source code
-git clone https://github.com/AleoNet/snarkvm && cd snarkvm
-
+git clone --branch mainnet --single-branch https://github.com/AleoNet/snarkVM.git 
+cd snarkVM
+git checkout tags/testnet-beta
 # Install snarkVM
-$ cargo install --path .
+cargo install --path .
 ```
 
 Now to use `snarkvm`, in your terminal, run:

algorithms/src/r1cs/test_constraint_system.rs

@@ -306,7 +306,7 @@ impl<F: Field> TestConstraintSystem<F> {
                 ns_idx
             }
             Entry::Occupied(e) => {
-                let interned_segments = e.remove_entry().0;
+                let interned_segments = e.swap_remove_entry().0;
                 panic!("tried to create object at existing path: {}", self.unintern_path(interned_segments));
             }
         }