[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[lsd0003] branch master updated: Fixed some more
From: |
gnunet |
Subject: |
[lsd0003] branch master updated: Fixed some more |
Date: |
Tue, 15 Jun 2021 10:35:41 +0200 |
This is an automated email from the git hooks/post-receive script.
elias-summermatter pushed a commit to branch master
in repository lsd0003.
The following commit(s) were added to refs/heads/master by this push:
new ec5663e Fixed some more
ec5663e is described below
commit ec5663ea14762c53bbad474b93858be9e4f00f24
Author: Elias Summermatter <elias.summermatter@seccom.ch>
AuthorDate: Tue Jun 15 10:32:54 2021 +0200
Fixed some more
---
draft-summermatter-set-union.xml | 16 ++++++++--------
1 file changed, 8 insertions(+), 8 deletions(-)
diff --git a/draft-summermatter-set-union.xml b/draft-summermatter-set-union.xml
index a344788..c9c1141 100644
--- a/draft-summermatter-set-union.xml
+++ b/draft-summermatter-set-union.xml
@@ -2318,7 +2318,7 @@ FUNCTION unpack_counter(ibf, offset, count, cbl, pd)
RETURN
END IF
- IF (store_bits + bit_to_pack_left) >= cbl
+ IF store_bits + bit_to_pack_left >= cbl
bit_use = cbl - store_bits
IF store_bits > 0
@@ -2461,13 +2461,13 @@ END FUNCTION
# Output:
# returns TRUE if parameters in byzantine bounds otherwise returns FALSE
FUNCTION check_byzantine_bounds (rec,rsd,lec,lsd)
- IF (rec + rsd > UPPER_BOUND)
+ IF rec + rsd > UPPER_BOUND
RETURN FALSE
IF END
- IF (lec + lsd > UPPER_BOUND)
+ IF lec + lsd > UPPER_BOUND
RETURN FALSE
IF END
- IF (rec < LOWER_BOUND)
+ IF rec < LOWER_BOUND
RETURN FALSE
IF END
RETURN TRUE
@@ -2758,16 +2758,16 @@ FUNCTION full_sync_plausibility_check
(state,rs,lis,rd,rf)
# Make sure that no element is received double when
# all elements already are transmitted to the oder side.
- IF ( (FULL_SENDING == state) && (rd > 0) )
+ IF FULL_SENDING == state AND rd > 0
RETURN FALSE
END IF
# Probabilistic algorithm to check for plausible
# element distribution
- IF (FULL_RECEIVING == state)
+ IF FULL_RECEIVING == state
# Prevent division by 0
- IF (0 <= rs)
+ IF 0 <= rs
rs = 1
END IF
@@ -2775,7 +2775,7 @@ FUNCTION full_sync_plausibility_check (state,rs,lis,rd,rf)
base = 1 - (rs / (lis + rs))
exponent = rd - rf * lis / rs
value = exponent * (LOG2(base)/LOG2(2))
- IF ((value < security_level_lb) || (value > SECURITY_LEVEL)
+ IF value < security_level_lb OR value > SECURITY_LEVEL
RETURN FALSE
END IF
END IF
--
To stop receiving notification emails like this one, please contact
gnunet@gnunet.org.
- [lsd0003] branch master updated: Fixed some more,
gnunet <=