Release notes

August 19, 2022 circom 2.0.7

Log operation receives as parameters a list of expressions and string. (Documentation is here.
New heuristics that improves the constraint simplification process is added by default. The old version of the simplification process can be still used using the option "--use_old_simplification_heuristics".
Initialization of every array position to 0 in both C and WASM witness generator.
New check of size vector when vector assignment:
+ If a vector is assigned in a smaller vector, then an error is produced.
+ If a vector is assigned in a larger vector, then a warning is produced. (The remaining positions will have their previous values, or 0
otherwise.
Improvement of the trace error message.