failure of formal verification [software.imdea.org] (Was: The issue with free speech)

Hi,
Not only are the fucking PIPs behind a
login wall that doesn't work:
Dictionaries in Prolog
https://gitlab.software.imdea.org/prolog-lang/pip-0102
I cannot read gitlab.software.imdea.org,
since it redirects to some internal server
during login.
Also formal verification doesn't have the
same track record as fuzzying. Take the SWI-Prolog
red-black trees. Are they really red-black trees?
I used fuzzy testing to find the test case.
Exhaustive enumeration of permutation seemed to
be out of reach computationally.
So I used these random permutations to find a
discrepancy in resulting tree depth:
fuzzer(R) :-
    numlist(1, 16, L),
    between(1, 1000, _),
    random_permutation(L, R).
Maybe the same technique can use to find smaller
discrepancies, and then use the smaller examples to
pin down difference in implemented balance
rules or implement rebalancing strategy.
Bye
Mild Shock schrieb:

@herme wrote:
 Just a quick comment: note that you can make
and discuss the PIP proposals directly on
the PIPs discourse.
 Here my response:
 I will probably never go there since somebody
tried censoring my comments and said I don’t
work towards the Prolog cause. The good thing
about SWI-Prolog discourse, it has become
 quite calm cocerning attempts to censor people,
possibly because some particular people left.
Which is in my opinion the best thing that
could happen to this forum. There is no
 guarantee in other forums to really have free speech.