Clément Fournier c8f2a8db14 Use PSet<SymAnnot> instead of List ...

This is because iteration order is
not defined, also in some places we
have to merge annotations from a
declaration with another set of annots
and there may be duplicates.

2022-11-29 14:46:38 +01:00

..

etc/grammar

Fix pmd-java

2022-11-16 14:51:33 +01:00

src

Use PSet<SymAnnot> instead of List

2022-11-29 14:46:38 +01:00

.gitignore

…

pmd-java-checkstyle-suppressions.xml

…

pom.xml

Fix pom configuration

2022-11-29 02:25:45 -03:00