Skip to content

History

Revisions

  • update sv-benchmarks link

    @maul-esel maul-esel committed Sep 18, 2024
    74d0209

  • Updated TestWebInterface (markdown)

    @Heizmann Heizmann committed Jun 9, 2024
    e295cf1

  • Updated TestWebInterface (markdown)

    @Heizmann Heizmann committed Jun 9, 2024
    16981cf

  • update O/G project

    @maul-esel maul-esel committed Apr 22, 2024
    6670176

  • Updated Troubleshooting (markdown)

    @Heizmann Heizmann committed Apr 1, 2024
    0c942a9

  • Updated Troubleshooting (markdown)

    @Heizmann Heizmann committed Apr 1, 2024
    8c112b0

  • cli usage

    @danieldietsch danieldietsch committed Dec 13, 2023
    d8618f6

  • rephrase first paragraph, fix various typos and grammar errors, fix markdown formatting

    @danieldietsch danieldietsch committed Dec 13, 2023
    5046e5e

  • Updated Usage (markdown)

    @maul-esel maul-esel committed Dec 13, 2023
    edbbe7b

  • Small additions to installation

    @schuessf schuessf committed Sep 29, 2023
    5152517

  • fix instructions to use new sv-benchmarks repo

    @maul-esel maul-esel committed Sep 4, 2023
    e3ae45a

  • Updated Available Project Topics (markdown)

    @maul-esel maul-esel committed Aug 24, 2023
    0f9b7e7

  • Updated Available Project Topics (markdown)

    @maul-esel maul-esel committed Aug 24, 2023
    1f96d67

  • Updated Available Project Topics (markdown)

    @maul-esel maul-esel committed Aug 24, 2023
    8743762

  • Updated Available Project Topics (markdown)

    @maul-esel maul-esel committed Aug 24, 2023
    6dffd44

  • add certification topic

    @maul-esel maul-esel committed Aug 17, 2023
    776ddf1

  • Add SIFA projects

    @schuessf schuessf committed Mar 21, 2023
    851753a

  • Update petri-net projects

    @schuessf schuessf committed Mar 21, 2023
    cb35710

  • update POR project ideas

    @maul-esel maul-esel committed Feb 27, 2023
    9b6c773

  • Updated Finished Project Topics (markdown)

    @Heizmann Heizmann committed Feb 26, 2023
    e9060fc

  • Updated Finished Project Topics (markdown)

    @Heizmann Heizmann committed Feb 24, 2023
    9bf050b

  • Updated Finished Project Topics (markdown)

    @Heizmann Heizmann committed Feb 24, 2023
    dd70f30

  • Updated Finished Project Topics (markdown)

    @Heizmann Heizmann committed Feb 24, 2023
    b7bb345

  • Destroyed Quantifier Elimination for div and mod (markdown)

    @Heizmann Heizmann committed Feb 24, 2023
    4649768

  • Created Quantifier Elimination for div and mod (markdown)

    @Heizmann Heizmann committed Feb 24, 2023
    85d2d78

  • Updated Dynamic POR for Verification of Concurrent Programs with Loops (markdown)

    @maul-esel maul-esel committed Feb 9, 2023
    5359c3d

  • Updated Dynamic POR for Verification of Concurrent Programs with Loops (markdown)

    @maul-esel maul-esel committed Feb 6, 2023
    d248c05

  • Updated Dynamic POR for Verification of Concurrent Programs with Loops (markdown)

    @maul-esel maul-esel committed Jan 24, 2023
    9b4a897

  • Updated Dynamic POR for Verification of Concurrent Programs with Loops (markdown)

    @maul-esel maul-esel committed Jan 13, 2023
    cadcbbf

  • Updated Dynamic POR for Verification of Concurrent Programs with Loops (markdown)

    @maul-esel maul-esel committed Dec 29, 2022
    44ae4fe