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

Huge update of native code handling #218

Merged
merged 18 commits into from
Feb 28, 2024
Merged

Huge update of native code handling #218

merged 18 commits into from
Feb 28, 2024

Commits on Nov 27, 2023

  1. Added Pardinus source code back into Alloy. Required to cleanup the n… 

    …ative code.
    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    dfcd12e View commit details
    Browse the repository at this point in the history

  2. Update to the pardinus core for the SATFactory usage as identifier

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    682f09a View commit details
    Browse the repository at this point in the history

  3. Added native code project

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    a2c2a5e View commit details
    Browse the repository at this point in the history

  4. Update to the native code handling

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    e2ab319 View commit details
    Browse the repository at this point in the history

  5. Just removed some files to test that were used as examples

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    c95d56f View commit details
    Browse the repository at this point in the history

  6. Adaptions to the new native code handling

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    654384f View commit details
    Browse the repository at this point in the history

  7. Needed for eclipse

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    c076fc7 View commit details
    Browse the repository at this point in the history

  8. First batch of natives

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    523aa19 View commit details
    Browse the repository at this point in the history

  9. Added native code build

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    51e80fe View commit details
    Browse the repository at this point in the history

  10. Divide native builds in triggers and subflow

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    4ac4661 View commit details
    Browse the repository at this point in the history

  11. Divide native builds in triggers and subflow

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    0bf8f8c View commit details
    Browse the repository at this point in the history

  12. Divide native builds in triggers and subflow

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    9cfbe04 View commit details
    Browse the repository at this point in the history

  13. Divide native builds in triggers and subflow

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    849381b View commit details
    Browse the repository at this point in the history

  14. Divide native builds in triggers and subflow

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    10bf73a View commit details
    Browse the repository at this point in the history

  15. Divide native builds in triggers and subflow

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    c4e9b7a View commit details
    Browse the repository at this point in the history

  16. Divide native builds in triggers and subflow

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    28316b7 View commit details
    Browse the repository at this point in the history

  17. Divide native builds in triggers and subflow

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    bc91a9b View commit details
    Browse the repository at this point in the history

  18. Divide native builds in triggers and subflow

    @pkriens
    pkriens committed Nov 27, 2023
    Configuration menu
    Copy the full SHA
    b7ecf5c View commit details
    Browse the repository at this point in the history