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

Update libseff to latest version, and minor updates #61

Open
wants to merge 8 commits into
base: main
Choose a base branch
from
Open

Update libseff to latest version, and minor updates #61

wants to merge 8 commits into from

Commits on Aug 30, 2024

  1. Fix libseff names

    @teofr
    teofr committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    f3d17f3 View commit details
    Browse the repository at this point in the history

  2. Fixed makefile

    @teofr
    teofr committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    405ff5b View commit details
    Browse the repository at this point in the history

  3. updated Koka lang

    @teofr
    teofr committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    496c480 View commit details
    Browse the repository at this point in the history

  4. Updated libseff

    @teofr
    teofr committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    c0bfee1 View commit details
    Browse the repository at this point in the history

  5. Added json results

    @teofr
    teofr committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    bc7662f View commit details
    Browse the repository at this point in the history

  6. Export json

    @teofr
    teofr committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    9ead199 View commit details
    Browse the repository at this point in the history

  7. updated make and docker files

    @teofr
    teofr committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    4fe0acd View commit details
    Browse the repository at this point in the history

  8. Add extra Docker args

    @teofr
    teofr committed Aug 30, 2024
    Configuration menu
    Copy the full SHA
    61fe4b2 View commit details
    Browse the repository at this point in the history