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

Move Souffle bindings to souffle.js #120

Merged
merged 22 commits into from
Sep 2, 2024
Merged

Move Souffle bindings to souffle.js #120

merged 22 commits into from
Sep 2, 2024

Commits on Aug 31, 2024

  1. feat(souffle): Rewrite the Souffle module 

    Towards #3

Closes #75
    @jubnzv
    jubnzv committed Aug 31, 2024
    Configuration menu
    Copy the full SHA
    15f73c1 View commit details
    Browse the repository at this point in the history

Commits on Sep 1, 2024

  1. feat(detectors): Update detectors to use new Souffle

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    b658500 View commit details
    Browse the repository at this point in the history

  2. chore(souffle): More comments in syntax tree

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    ce2f9c6 View commit details
    Browse the repository at this point in the history

  3. feat(souffle): Better formatting in pp

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    e94fc77 View commit details
    Browse the repository at this point in the history

  4. feat(cli): Add --souffle-verbose option

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    b81166a View commit details
    Browse the repository at this point in the history

  5. feat(souffle): Default Souffle directory used by misti

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    3a2395e View commit details
    Browse the repository at this point in the history

  6. chore(souffle): Rename executors for consistency

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    821acb2 View commit details
    Browse the repository at this point in the history

  7. feat(souffle): Allow raw Soufflé output in the result

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    4c79246 View commit details
    Browse the repository at this point in the history

  8. feat(souffle): Add example

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    9b3c30a View commit details
    Browse the repository at this point in the history

  9. feat(souffle): Add README

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    d72490b View commit details
    Browse the repository at this point in the history

  10. chore: Update README

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    229db8d View commit details
    Browse the repository at this point in the history

  11. fix: typos

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    b44ff23 View commit details
    Browse the repository at this point in the history

  12. feat(souffle): Add library tests

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    5ee5865 View commit details
    Browse the repository at this point in the history

  13. feat(souffle): Add logger

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    3a70502 View commit details
    Browse the repository at this point in the history

  14. feat(souffle): Add custom errors

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    bc6e947 View commit details
    Browse the repository at this point in the history

  15. fix(cspell): unmarshal

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    8c0b61e View commit details
    Browse the repository at this point in the history

  16. fix: Add missing file

    @jubnzv
    jubnzv committed Sep 1, 2024
    Configuration menu
    Copy the full SHA
    cab80cb View commit details
    Browse the repository at this point in the history

Commits on Sep 2, 2024

  1. feat: Move souffle bindings to https://github.com/nowarp/souffle.js

    @jubnzv
    jubnzv committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    773188a View commit details
    Browse the repository at this point in the history

  2. chore: Update changelog

    @jubnzv
    jubnzv committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    abca181 View commit details
    Browse the repository at this point in the history

  3. fix: Formatting

    @jubnzv
    jubnzv committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    60bedd1 View commit details
    Browse the repository at this point in the history

  4. fix: typo

    @jubnzv
    jubnzv committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    2be8aae View commit details
    Browse the repository at this point in the history

  5. chore: bump souffle

    @jubnzv
    jubnzv committed Sep 2, 2024
    Configuration menu
    Copy the full SHA
    a15d4a9 View commit details
    Browse the repository at this point in the history