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
• Auto-rendered via Github Actions to https://github.com/utwente-fmt/vercors-web-build
• Viewable at https://vercors.ewi.utwente.nl/
• Redirect at https://utwente.nl/vercors (Maintained by M&C UTwente)
• Deployed at https://webservice.utwente.nl:8443 (Ask Pieter Bos for credentials)
  • Auto-pulled from https://github.com/utwente-fmt/vercors-web-build
  • Webhook setup at https://github.com/utwente-fmt/vercors-web-build/settings/hooks
  • Separate credentials for FTPS access (Ask Pieter Bos)

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

• Data at https://gitlab.utwente.nl/fmt/vercors/vercors-back-up
• Note the page will return a 404 without correct permissions
• Contact Ömer Șakar for credentials

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