Skip to content

History

Revisions

  • Updated Writing JPF tests (as unit tests) (markdown)

    @cyrille-artho cyrille-artho committed Mar 19, 2024
    629e82b

  • Updated Writing JPF tests (markdown)

    @cyrille-artho cyrille-artho committed Mar 19, 2024
    84aa1ca

  • Updated GSoC 2024 Project Ideas (markdown)

    @sohah sohah committed Feb 29, 2024
    92988c8

  • Updated Home (markdown)

    @yannicnoller yannicnoller committed Feb 26, 2024
    29c5b04

  • Updated Home (markdown)

    @yannicnoller yannicnoller committed Feb 26, 2024
    e16794f

  • Updated JPF Google Summer of Code 2024 (markdown)

    @yannicnoller yannicnoller committed Feb 26, 2024
    46639a7

  • Updated Home (markdown)

    @yannicnoller yannicnoller committed Feb 23, 2024
    77ded66

  • Updated Home (markdown)

    @yannicnoller yannicnoller committed Feb 23, 2024
    7603c59

  • Updating year from 2023 - 2024

    @sohah sohah committed Feb 6, 2024
    139cad5

  • Adding colors for classifying project's types

    @sohah sohah committed Feb 5, 2024
    cbedb78

  • Updated GSoC 2024 Project Ideas (markdown)

    @yannicnoller yannicnoller committed Feb 1, 2024
    ba6ac86

  • Updated GSoC 2024 Project Ideas (markdown)

    @cyrille-artho cyrille-artho committed Jan 29, 2024
    357a92c

  • Updated Home (markdown)

    @yannicnoller yannicnoller committed Jan 29, 2024
    519fc23

  • Created JPF Google Summer of Code 2024 (markdown)

    @yannicnoller yannicnoller committed Jan 29, 2024
    27a429b

  • Adding description of "Support the generation of violation Witness in GraphML format in SPF"

    @sohah sohah committed Jan 28, 2024
    b9e83c0

  • Created GSoC 2024 Project Ideas (markdown)

    @yannicnoller yannicnoller committed Jan 25, 2024
    d74abe6

  • Updated Writing JPF tests (markdown)

    @cyrille-artho cyrille-artho committed Sep 21, 2023
    72be78e

  • Update branch info and build instructions

    @quadhier quadhier committed Sep 11, 2023
    d2d175c

  • Remove old instructions for building from shell

    @quadhier quadhier committed Sep 11, 2023
    f9ae522

  • Update build instructions

    @quadhier quadhier committed Sep 11, 2023
    cdee31d

  • Updated _Footer (markdown)

    @cyrille-artho cyrille-artho committed Aug 25, 2023
    bf456c9

  • made a newline change in each subpage to trigger reindexing

    Alexander Kohan committed Feb 2, 2023
    9fc1dea

  • test if changes in a page triggers reindexing

    Alexander Kohan committed Feb 2, 2023
    a9dd10a

  • Updated link to NASA Ames Research Center and the link to JPF logo

    @Octarine-J Octarine-J committed Feb 2, 2023
    92885da

  • Updated Home (markdown)

    @cyrille-artho cyrille-artho committed Feb 1, 2023
    6de6b3a

  • Updated Home (markdown)

    @cyrille-artho cyrille-artho committed Feb 1, 2023
    a21d28c

  • Adding witness project, updating participation in String Project, and some cleaning up.

    @sohah sohah committed Jan 25, 2023
    585a7bd

  • Adding a possible project idea

    @sohah sohah committed Jan 20, 2023
    d10ce5d

  • changes related to GSoC 2023

    @pparizek pparizek committed Jan 4, 2023
    a393be7

  • updating the structure of wiki pages for GSoC 2023

    @pparizek pparizek committed Jan 4, 2023
    83765f7