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.

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

Add content to README.md #9

Merged
merged 3 commits into from
Apr 30, 2021
Merged

Add content to README.md #9

merged 3 commits into from
Apr 30, 2021

Conversation

aggarw13
Copy link
Contributor

Update README.md to be public facing

README.md Outdated Show resolved Hide resolved
@aggarw13 aggarw13 merged commit ec80f3a into main Apr 30, 2021
@aggarw13 aggarw13 deleted the update-readme branch April 30, 2021 22:51
@aggarw13 aggarw13 restored the update-readme branch May 4, 2021 01:09
aggarw13 added a commit that referenced this pull request May 4, 2021
@aggarw13 aggarw13 deleted the update-readme branch May 4, 2021 01:14
aggarw13 added a commit that referenced this pull request May 4, 2021
gshvang added a commit that referenced this pull request May 4, 2021
* Set up litani infra for coreSNTP

* Add content to README.md (#9)

* Add Sntp_Init API for higher-layer of coreSNTP (#8)

Start development of the higher-layer part of the coreSNTP library that represents a "managed client" functionality by adding the Sntp_Init API to initialize an Sntp context.

* ci.yml reverted

* Test with excluding .git from formatting check

* Test with excluding .git from formatting check

* ci.yml link verifier cahnges

Co-authored-by: Archit Aggarwal <[email protected]>
gshvang added a commit that referenced this pull request May 6, 2021
* Set up litani infra for coreSNTP

* Add content to README.md (#9)

* Add Sntp_Init API for higher-layer of coreSNTP (#8)

Start development of the higher-layer part of the coreSNTP library that represents a "managed client" functionality by adding the Sntp_Init API to initialize an Sntp context.

* Revert "Set up litani infra for coreSNTP"

This reverts commit 6f2017e.

* Sntp_SerializeRequest CBMC Proof

* Updating run-cbmc-proofs.py file permissions

Co-authored-by: Archit Aggarwal <[email protected]>
gshvang added a commit that referenced this pull request May 7, 2021
* Set up litani infra for coreSNTP

* Add content to README.md (#9)

* Add Sntp_Init API for higher-layer of coreSNTP (#8)

Start development of the higher-layer part of the coreSNTP library that represents a "managed client" functionality by adding the Sntp_Init API to initialize an Sntp context.

* Revert "Set up litani infra for coreSNTP"

This reverts commit 6f2017e.

* Sntp_SerializeRequest CBMC Proof

* Sntp_CalculatePollInterval Proof

* formatting harness file

* Status changes

* formatting harness file

* Address comments

Co-authored-by: Archit Aggarwal <[email protected]>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants