Skip to content

History

Revisions

  • Updated HW4 ‐ Advanced static analysis tools (markdown)

    @szdan97 szdan97 committed Nov 13, 2024
    8815896

  • Updated HW4 ‐ Advanced static analysis tools (markdown)

    @szdan97 szdan97 committed Oct 13, 2024
    bc49e95

  • Updated HW4 ‐ Advanced static analysis tools (markdown)

    @szdan97 szdan97 committed Oct 10, 2024
    1927357

  • Updated HW5 ‐ Software Model Checking (markdown)

    @csanadtelbisz csanadtelbisz committed Sep 24, 2024
    e4d3765

  • Updated HW5 ‐ Software Model Checking (markdown)

    @csanadtelbisz csanadtelbisz committed Sep 24, 2024
    7bba57b

  • Grading system for HW3

    @csanadtelbisz csanadtelbisz committed Sep 18, 2024
    8d5e87f

  • HW5 wiki update

    @csanadtelbisz csanadtelbisz committed Sep 13, 2024
    bc2d4d8

  • HW5 wiki

    @csanadtelbisz csanadtelbisz committed Sep 13, 2024
    c14e0db

  • New HW3 (SMT) wiki instructions

    @csanadtelbisz csanadtelbisz committed Sep 13, 2024
    e8bc2f1

  • Updated HW4 ‐ Advanced static analysis tools (markdown)

    @szdan97 szdan97 committed Sep 10, 2024
    9f7a319

  • Updated HW3 ‐ Model generation with SAT solvers (markdown)

    @szdan97 szdan97 committed Sep 10, 2024
    b520531

  • Updated HW3 ‐ Model generation with SAT solvers (markdown)

    @szdan97 szdan97 committed Sep 10, 2024
    37ce09d

  • Updated HW2 ‐ Test generation (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    6bb3667

  • Updated HW2 ‐ Test generation (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    403992b

  • Updated HW2 ‐ Test generation (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    0433597

  • Updated HW2 ‐ Test generation (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    69753da

  • Updated HW2 ‐ Test generation (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    f91598c

  • Updated HW2 ‐ Test generation (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    44b3650

  • Updated HW2 ‐ Test generation (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    defdb52

  • Updated HW2 ‐ Test generation (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    c5f245c

  • Updated HW2 ‐ Test generation (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    b518a79

  • Updated [2023] HW3 ‐ Model generation with SAT solvers (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    f034fe6

  • Updated HW3 ‐ Model generation with SAT solvers (markdown)

    @szdan97 szdan97 committed Sep 9, 2024
    c769468

  • Updated HW1 ‐ Advanced testing techniques (markdown)

    @szdan97 szdan97 committed Sep 8, 2024
    32e389f

  • Updated HW1 ‐ Advanced testing techniques (markdown)

    @szdan97 szdan97 committed Sep 8, 2024
    47b5352

  • Updated HW1 ‐ Advanced testing techniques (markdown)

    @szdan97 szdan97 committed Sep 8, 2024
    3259a48

  • Updated HW1 ‐ Advanced testing techniques (markdown)

    @szdan97 szdan97 committed Sep 8, 2024
    90fa2e0

  • Updated HW1 ‐ Advanced testing techniques (markdown)

    @szdan97 szdan97 committed Sep 8, 2024
    0bff628

  • Updated HW1 ‐ Advanced testing techniques (markdown)

    @szdan97 szdan97 committed Sep 8, 2024
    73e1b15

  • Updated HW1 ‐ Advanced testing techniques (markdown)

    @szdan97 szdan97 committed Sep 8, 2024
    e4e336e