Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Readme #75

Open
wants to merge 7 commits into
base: master
Choose a base branch
from
Open

Readme #75

wants to merge 7 commits into from

Commits on Jun 22, 2022

  1. Updated readme to be more friendly to new devs and Windows users.

    @phunky-tech
    phunky-tech committed Jun 22, 2022
    Configuration menu
    Copy the full SHA
    53be5a1 View commit details
    Browse the repository at this point in the history

  2. Merge pull request SymbolicPathFinder#2 from phillipbruce1/readme-update 

    Updated readme to be more friendly to new devs and Windows users.
    @phunky-tech
    phunky-tech authored Jun 22, 2022
    Configuration menu
    Copy the full SHA
    a69355c View commit details
    Browse the repository at this point in the history

Commits on Jul 13, 2022

  1. add simple example

    @franck-van-breugel
    franck-van-breugel committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    3c60ba5 View commit details
    Browse the repository at this point in the history

  2. add simple example

    @franck-van-breugel
    franck-van-breugel committed Jul 13, 2022
    Configuration menu
    Copy the full SHA
    1f5e462 View commit details
    Browse the repository at this point in the history

Commits on Jul 15, 2022

  1. Merge branch 'master' of https://github.com/phillipbruce1/jpf-symbc i… 

    …nto readme
    @franck-van-breugel
    franck-van-breugel committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    62d93ae View commit details
    Browse the repository at this point in the history

  2. delete Readme file - duplicate of README.md

    @franck-van-breugel
    franck-van-breugel committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    eeb2318 View commit details
    Browse the repository at this point in the history

  3. add extra info

    @franck-van-breugel
    franck-van-breugel committed Jul 15, 2022
    Configuration menu
    Copy the full SHA
    c8fc924 View commit details
    Browse the repository at this point in the history