Skip to content

Popular repositories Loading

  1. overture overture Public

    The Overture Tool

    Java 48 25

  2. vdm-vscode vdm-vscode Public

    Visual Studio Code extension for VDM language support

    TeX 21 6

  3. vdm2c vdm2c Public

    Working repository for the development of a VDM to C code generator

    C 8

  4. overture-fmu overture-fmu Public

    Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface

    Java 5 3

  5. documentation documentation Public

    Documentation and examples

    4 4

  6. overturetool.github.io overturetool.github.io Public

    The Overture Tool Website

    JavaScript 3 6

Repositories

Showing 10 of 24 repositories
  • overturetool.github.io Public

    The Overture Tool Website

    overturetool/overturetool.github.io’s past year of commit activity
    JavaScript 3 6 6 0 Updated Nov 22, 2024
  • vdm-vscode Public

    Visual Studio Code extension for VDM language support

    overturetool/vdm-vscode’s past year of commit activity
    TeX 21 GPL-3.0 6 36 0 Updated Nov 20, 2024
  • overture Public

    The Overture Tool

    overturetool/overture’s past year of commit activity
    Java 48 GPL-3.0 25 64 24 Updated Oct 3, 2024
  • overture-fmu Public

    Extension to Overture which enable Overture with VDM-RT to be used with the FMI interface

    overturetool/overture-fmu’s past year of commit activity
    Java 5 GPL-3.0 3 16 4 Updated Oct 3, 2024
  • shm-fmi Public

    Shared Memory bridge for FMI

    overturetool/shm-fmi’s past year of commit activity
    C 3 GPL-3.0 0 2 3 Updated Oct 3, 2024
  • documentation Public

    Documentation and examples

    overturetool/documentation’s past year of commit activity
    4 4 4 1 Updated Dec 15, 2023
  • vdm2c Public

    Working repository for the development of a VDM to C code generator

    overturetool/vdm2c’s past year of commit activity
    C 8 0 7 2 Updated Oct 13, 2020
  • externaltests Public

    External tests for the Overture tool

    overturetool/externaltests’s past year of commit activity
    0 0 0 0 Updated Oct 4, 2020
  • overture-release-scripts Public

    Scripts used for releasing Overture

    overturetool/overture-release-scripts’s past year of commit activity
    Shell 1 2 0 0 Updated Nov 30, 2018
  • intocps-tracability-driver Public

    Prototype of a traceability driver for overture git and INTO-CPS

    overturetool/intocps-tracability-driver’s past year of commit activity
    Java 0 0 0 0 Updated Dec 4, 2017