Commit 0453dbdd authored by Tizian Schulz's avatar Tizian Schulz
Browse files

Update CHANGELOG.md

parent a5fd148f
......@@ -2,8 +2,8 @@
* v0.1.0 (04-27-2020)
- Pure quorum checks have been made faster now by two changes: Before a matrix
is iterated over to check fulfillment of quorum *m*, the maximum color id
*c* being present in that matrix is queried. If already $`c <= m`$ holds,
is iterated over to check fulfillment of quorum $`m`$, the maximum color id
$`c`$ being present in that matrix is queried. If already $`c <= m`$,
the check is aborted.
Additionally, missing colors are now counted next to present ones as well
which allows to terminate checks also if too many colors have been missed
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment