User Activity

  • Modified ticket #42 on RODIN

    Atomicity Decomposition Plug-in Install failed

  • Posted a comment on ticket #42 on RODIN

    One of the developers of the plug-in confirmed that it is unmaintained and does not work with recent Rodin releases.

  • Created ticket #406 on RODIN

    User-defined keyboard mappings

  • Modified ticket #830 on RODIN

    atelierb installation fails

  • Posted a comment on ticket #830 on RODIN

    Here is a different, probably simpler, procedure to run the Intel version of Rodin (which can use AtelierB provers) on macs with Apple Silicon processors: 1. download https://github.com/adoptium/temurin17-binaries/releases/download/jdk-17.0.11%2B9/OpenJDK17U-jre_x64_mac_hotspot_17.0.11_9.pkg (it's a Java 17 runtime for Intel) 2. install it by double-clicking it; the Java runtime is installed in /Library/Java/JavaVirtualMachines/temurin-17.jre 3. find the downloaded Rodin.app and modify Rodin.app/Contents/Eclipse/rodin.ini:...

  • Created ticket #405 on RODIN

    Keep information about basic constructors

  • Created ticket #831 on RODIN

    Issues with DatatypeHelper.computeId

  • Committed [9b87fe] on RodinCore

    Add missing @ProverRule annotation for DEF_EXPN_STEP

View All

Personal Data

Username:
gverdier
Joined:
2020-09-02 09:03:32

Projects

This is a list of open source software projects that Guillaume Verdier is associated with:

  • Project Logo RODIN   Last Updated:

Personal Tools