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

Minor fixes and suggestions for Intro to SPARK course #581

Merged
merged 8 commits into from
Oct 15, 2021
Merged

Minor fixes and suggestions for Intro to SPARK course #581

merged 8 commits into from
Oct 15, 2021

Commits on Oct 15, 2021

  1. Minor fix in 02_Flow_analysis.rst

    @filip-gajowniczek-adacore @gusthoff
    filip-gajowniczek-adacore authored and gusthoff committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    c989353 View commit details
    Browse the repository at this point in the history

  2. Addressing minor issues in 03_Proof_of_Program_Integrity.rst

    @gusthoff
    gusthoff committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    74e0884 View commit details
    Browse the repository at this point in the history

  3. 04_State_Abstraction.rst review

    @filip-gajowniczek-adacore @gusthoff
    filip-gajowniczek-adacore authored and gusthoff committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    09f5114 View commit details
    Browse the repository at this point in the history

  4. Comments/fixes for 05_Proof_of_Functional_Correctness.rst

    @filip-gajowniczek-adacore @gusthoff
    filip-gajowniczek-adacore authored and gusthoff committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    ab4838a View commit details
    Browse the repository at this point in the history

  5. Update 04_State_Abstraction.rst 

    Fix formatting of TODOs
    @filip-gajowniczek-adacore @gusthoff
    filip-gajowniczek-adacore authored and gusthoff committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    4ec2dbf View commit details
    Browse the repository at this point in the history

  6. Update 05_Proof_Of_Functional_Correctness.rst 

    Fixed TODO formatting
    @filip-gajowniczek-adacore @gusthoff
    filip-gajowniczek-adacore authored and gusthoff committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    57544df View commit details
    Browse the repository at this point in the history

  7. Update content/courses/intro-to-spark/chapters/05_Proof_Of_Functional… 

    …_Correctness.rst

Co-authored-by: Gustavo A. Hoffmann <gusthoff@users.noreply.github.com>
    @filip-gajowniczek-adacore @gusthoff
    filip-gajowniczek-adacore and gusthoff committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    d9bcc7f View commit details
    Browse the repository at this point in the history

  8. Reverting change

    @gusthoff
    gusthoff committed Oct 15, 2021
    Configuration menu
    Copy the full SHA
    3415f79 View commit details
    Browse the repository at this point in the history