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

dts: removing autotest-relative shm from non-autotest build #22

Merged
merged 5 commits into from
Aug 29, 2024
Merged

dts: removing autotest-relative shm from non-autotest build #22

merged 5 commits into from
Aug 29, 2024

Commits on Aug 29, 2024

  1. dts: removing autotest-relative shm from non-autotest build

    @pthierry-ledger
    pthierry-ledger committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    3e548b2 View commit details
    Browse the repository at this point in the history

  2. proof: fixing config profile to debug mode instead of autotest

    @pthierry-ledger
    pthierry-ledger committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    b435d06 View commit details
    Browse the repository at this point in the history

  3. proof: 1 red alarm in systick traversal, to be fixed

    @pthierry-ledger
    pthierry-ledger committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    881ac2d View commit details
    Browse the repository at this point in the history

  4. framac: using autotest for scheduler stimuli

    @pthierry-ledger
    pthierry-ledger committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    968ec6d View commit details
    Browse the repository at this point in the history

  5. proof: systick now pass (in autotest mode) with no red alarms

    @pthierry-ledger
    pthierry-ledger committed Aug 29, 2024
    Configuration menu
    Copy the full SHA
    d2b6a0b View commit details
    Browse the repository at this point in the history