Meta

This page lists the software, deployments, credentials and documentation in the orbit of the VerCors project.

Primary projects:

• VerCors, the tool
• VerCors Website
• VerCors Server
• The Wiki
• GitLab Mirror

Secondary maintained tooling:

• tool-server
• ANTLR4 fork
• Docker Hub

VerCors (the tool)

• Code at https://github.com/utwente-fmt/vercors

VerCors Website

• Code at https://github.com/utwente-fmt/vercors-web
• Viewable at https://vercors.ewi.utwente.nl/
• Redirect at https://utwente.nl/vercors (Maintained by M&C UTwente)
• Backoffice at https://vercors.ewi.utwente.nl/backoffice (Ask Raul Monti for credentials)
• Deployed at https://webservice.utwente.nl:8443 (Ask Pieter Bos for credentials)
  • Separate credentials for FTPS access (Ask Pieter Bos)
  • Also deploys database (Ask Pieter Bos for credentials)

VerCors Server (online tool runner)

This simply makes the tool available to run on the internet.

• Code at https://github.com/utwente-fmt/vercors-server
• WebSocket access at wss://vercors-server.apps.utwente.nl/
• Deployed at https://rancher.utsp.utwente.nl/ (Ask Tom van Dijk)

GitLab Mirror

TODO

tool-server

Minimal piece of software that makes a command line tool available to stream over a websocket. Not meant to be deployed directly.

• Code at https://github.com/utwente-fmt/tool-server
• In use by https://github.com/utwente-fmt/vercors-server

ANTLR4 Fork

• Code at https://github.com/niomaster/antlr4/

The Wiki

• Viewable and code at https://github.com/utwente-fmt/vercors/wiki
• Mirrored to https://vercors.ewi.utwente.nl/wiki

Docker Hub

• Viewable at https://hub.docker.com/u/utwentefmt
• Contact Tom van Dijk for credentials