Added README for the Dijstra protocol model in VDM-SL
Bump tycho to 0.19.0
Merge remote-tracking branch 'origin/pvj/main' into assistant-rewrite
Remove ABooleanPatternAssistantTC as it was an empty class. No methods inside.
Cleaning up assistant's methods.
Changing to non-static access of methods.
more non-static access of methods changes.
more non-static changes.
Also some commenting out of unused methods in assistants.
more non-static access changes.
Adding two new VDM-SL examples
more changing of static access.
clean up on assistants
non static access changes.
non-static access changing methods.
remove static identifier from method unresolve on PPatternAssistantTC.
Clean up, missed commented out methods.
remove more static access.
more non-static access changes.
new visitor NumericFinder
new visitor NumericBasisChecker(unfold Level 1)
NumericBasisChecker (level 2 unfold)
Pull example-packager out of this repository and make it depend on the
new separate examples-packager repo.
Update README.md