Merge pull request #6 from trailofbits/dev/version-0.7.0

Update to version 0.7.0

.gitignore

@@ -1,2 +1,3 @@
+.vscode
 /target
 /examples

CHANGELOG.md

@@ -0,0 +1,33 @@
+# Release Notes
+
+
+## v0.7.0 (2022-11-29)
+
+
+### Features
+
+  - New analysis pass (`unconstrained-less-than`) that detects uses of the
+    Circomlib `LessThan` template where the input signals are not constrained
+    to be less than the bit size passed to `LessThan`.
+  - New analysis pass (`unconstrained-division`) that detects signal assignments
+    containing division, where the divisor is not constrained to be non-zero.
+  - New analysis pass (`bn128-specific-circuits`) that detects uses of Circomlib
+    templates with hard-coded BN128-specific constants together with a custom curve like BLS12-381 or Goldilocks.
+  - New analysis pass (`under-constrained-signal`) that detects intermediate
+    signals which do not occur in at least two separate constraints.
+  - Rule name is now included in Sarif output. (The rule name is now also
+    displayed by the VSCode Sarif extension.)
+  - Improved parsing error messages.
+
+
+### Bug Fixes
+
+  - Fixed an issue during value propagation where values would be propagated to
+    arrays by mistake.
+  - Fixed an issue in the `nonstrict-binary-conversion` analysis pass where
+    some instantiations of `Num2Bits` and `Bits2Num` would not be detected.
+  - Fixed an issue where the maximum degree of switch expressions were evaluated
+    incorrectly.
+  - Previous versions could take a very long time to complete value and degree
+    propagation. These analyses are now time boxed and will exit if the analysis
+    takes more than 10 seconds to complete.