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

🧠 Use our own axone/prolog fork in logic module #703

Merged
merged 9 commits into from
Jul 25, 2024
Merged

🧠 Use our own axone/prolog fork in logic module #703

merged 9 commits into from
Jul 25, 2024

Commits on Jul 25, 2024

  1. fix(logic): use ordered predicate register

    @bdeneux
    bdeneux committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    0c99e9c View commit details
    Browse the repository at this point in the history

  2. refactor(logic)!: change interpreter by our fork axone-protocol/prolog

    @bdeneux
    bdeneux committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    c1b3035 View commit details
    Browse the repository at this point in the history

  3. fix: use new method for instantiate interpreter

    @bdeneux
    bdeneux committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    e08560d View commit details
    Browse the repository at this point in the history

  4. feat(logic)!: add max_variables limits params

    @bdeneux
    bdeneux committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    94e54e0 View commit details
    Browse the repository at this point in the history

  5. test: update test with new params

    @bdeneux
    bdeneux committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    e84c67c View commit details
    Browse the repository at this point in the history

  6. feat: handle MaxVariables error limit exceeded

    @bdeneux
    bdeneux committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    040a765 View commit details
    Browse the repository at this point in the history

  7. test(logic): add test for max variables

    @bdeneux
    bdeneux committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    2e3f121 View commit details
    Browse the repository at this point in the history

  8. test(logic): update test with gas and docs

    @bdeneux
    bdeneux committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    b3eac0d View commit details
    Browse the repository at this point in the history

  9. chore: make linter gofumpt

    @bdeneux
    bdeneux committed Jul 25, 2024
    Configuration menu
    Copy the full SHA
    87271fb View commit details
    Browse the repository at this point in the history