Skip to content

History

Revisions

  • Updated Polymorphic types in KeY (markdown)

    @mattulbrich mattulbrich committed Jun 21, 2024
    8e1ce74

  • Updated Polymorphic types in KeY (markdown)

    @mattulbrich mattulbrich committed Jun 21, 2024
    2bac303

  • Created Polymorphic types in KeY (markdown)

    @mattulbrich mattulbrich committed Jun 21, 2024
    5db4f02

  • Updated Hackeython Working Group: SMT Translation without Type Embedding (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    965b4ba

  • Updated Hackeython Working Group: SMT Translation without Type Embedding (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    2293f64

  • Updated 2nd Hackeython (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    0db1843

  • Created Hackeython Working Group: SMT Translation without Type Embedding (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    dd9d969

  • Updated 2nd Hackeython (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    31b8b67

  • Updated HacKeYthon Hints (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    b22429a

  • Updated HacKeYthon Hints (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    c0fd630

  • Updated HacKeYthon Hints (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    05a1394

  • Updated HacKeYthon Hints (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    a904d5c

  • Created HacKeYthon Hints (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    3804b2a

  • Updated 2nd Hackeython (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    bd891bf

  • Updated 2nd Hackeython (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    0abb946

  • Updated Home (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    86e4a6e

  • Updated Home (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    4b70045

  • Updated Hackeython Working Group: JML Invariant Dialog (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 20, 2024
    39f5a8f

  • Updated Hackeython Working Group: JML Invariant Dialog (markdown)

    @unp1 unp1 committed Feb 20, 2024
    f7849fb

  • Created Hackeython Working Group: JML Invariant Dialog (markdown)

    @unp1 unp1 committed Feb 20, 2024
    cd4906c

  • Updated 2nd Hackeython (markdown)

    @unp1 unp1 committed Feb 20, 2024
    5480777

  • Updated 2nd Hackeython (markdown)

    @mattulbrich mattulbrich committed Feb 19, 2024
    611b0e6

  • Created Hackeython Working Group: ADT Observers (markdown)

    @mattulbrich mattulbrich committed Feb 19, 2024
    f8f8e6b

  • Updated 2nd Hackeython (markdown)

    @mattulbrich mattulbrich committed Feb 19, 2024
    f7c7e8f

  • Created Hackeython Working Group: Error Reporting (markdown)

    @mattulbrich mattulbrich committed Feb 19, 2024
    9370bf1

  • Updated 2nd Hackeython (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 19, 2024
    6ee053b

  • Updated 2nd Hackeython (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 19, 2024
    11a2981

  • Updated 2nd Hackeython (markdown)

    @WolframPfeifer WolframPfeifer committed Feb 19, 2024
    d3861dc

  • Updated 2nd Hackeython (markdown)

    @Drodt Drodt committed Feb 19, 2024
    bd8fb3f

  • Created Hackeython Working Group: Project Management (markdown)

    @Drodt Drodt committed Feb 19, 2024
    9a830b6