Pinned repositories

  1. OpenJML

    This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…

    Java 49 15

  2. Specs

    Contains the specifications for the Java language used by OpenJML.

    Java 1 4

  • Contains the specifications for the Java language used by OpenJML.

    Java 1 4 Updated Oct 21, 2018
  • A collection of SMT solvers used by OpenJML

    Updated Oct 17, 2018
  • Java 2 Updated Oct 17, 2018
  • This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for OpenJML development is here and the wiki contains information relevant to development. Public documentation for users is at the project website:

    Java 49 15 Updated Oct 17, 2018
  • CSS 1 Updated Jul 14, 2018
  • Java 2 Updated Jul 1, 2018
  • Public facing website for OpenJML

    HTML 1 GPL-2.0 Updated Jun 1, 2018
  • Eclipse Feature that holds the Solvers plugin, which holds various SMT solvers

    Updated May 10, 2018
  • Java 1 GPL-2.0 Updated Mar 25, 2017
  • Verily-based web application that allows visitors to try out OpenJML from their web browser.

    Java 1 Updated Jan 18, 2017
  • Java 1 GPL-2.0 Updated Dec 1, 2015
  • 1 Updated Jun 15, 2015
  • Cross platform installer for OpenJML

    1 GPL-2.0 Updated May 7, 2015
  • Public facing website for the JML Language

    1 GPL-2.0 Updated May 7, 2015