Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • 3.8.0
  • 3.7.0
  • 3.6.0
  • 3.5.0
  • 3.4.0
  • 3.3.0
  • 3.2.1
  • 3.2.0
9 results

rodin_eventb_ast

  • Clone with SSH
  • Clone with HTTPS
    • user avatar
    Update to Gradle 8.3
    dgelessus authored
    38cd8582
    History
    user avatar 38cd8582
    History
    Name Last commit Last update
    .settings
    META-INF
    gradle/wrapper
    src/org/eventb
    tom
    tools
    .classpath
    .gitignore
    .gitlab-ci.yml
    .project
    README.md
    build-gen.xml
    build.gradle
    build.properties
    customBuildCallbacks.xml
    epl-v10.html
    gradle.properties.enc
    gradlew
    gradlew.bat
    notice.html
    plugin.properties
    pubring.gpg.enc
    secring.gpg.enc
    settings.gradle
    README.md

    Rodin B AST

    This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.

    No original file is changed, but we added:

    • .gitlab-ci.yml
    • README.md
    • build.gradle
    • gradle
    • gradlew
    • gradlew.bat
    • gradle.properties.enc
    • pubring.gpg.enc
    • secring.gpg.enc
    • settings.gradle

    Note to future Jens: After updating the sources the gradle patch task must be run. This modifies the sources. Do not run the task multiple times!