Skip to content

Navigation Menu

Explore
By company size
By use case
By industry
View all solutions
Topics
- AI
- DevOps
- Security
- Software Development
- View all
Explore
- GitHub Sponsors
  Fund open source developers
- The ReadME Project
  GitHub community articles
Repositories
- Enterprise platform
  AI-powered developer platform
Available add-ons
Pricing

Search code, repositories, users, issues, pull requests...

Search

Clear

Search syntax tips

Provide feedback

We read every piece of feedback, and take your input very seriously.

Include my email address so I can be contacted

Saved searches

Use saved searches to filter your results more quickly

Name

Query

To see all available qualifiers, see our documentation.

You signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session.

Dismiss alert

boogie-org / corral Public

Notifications You must be signed in to change notification settings
Fork 29
Star 60

Code
Issues 37
Pull requests 3
Actions
Projects
Wiki
Security
Insights

Additional navigation options

Code
Issues
Pull requests
Actions
Projects
Wiki
Security
Insights

History

Revisions

Updated AV Property (AVP) Language (markdown)

shuvendu-lahiri committed Aug 23, 2018

cd85197
Updated AV Property (AVP) Language (markdown)

shuvendu-lahiri committed Aug 21, 2018

c22383a
Updated AV Property (AVP) Language (markdown)

shuvendu-lahiri committed Aug 21, 2018

fd5e22b
Updated AV Property (AVP) Language (markdown)

shuvendu-lahiri committed Aug 21, 2018

c133089
Updated AV Property (AVP) Language (markdown)

shuvendu-lahiri committed Aug 21, 2018

3216120
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 21, 2018

38524fc
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 21, 2018

a48c594
Updated AV Property (AVP) Language (markdown)

shuvendu-lahiri committed Aug 21, 2018

897e4b5
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 21, 2018

a141ead
Created AV Property (AVP) Language (markdown)

shuvendu-lahiri committed Aug 21, 2018

bc6f49b
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 18, 2018

45e88ea
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 18, 2018

21f175e
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 18, 2018

4424de4
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 18, 2018

690ccd0
Updated Home (markdown)

shuvendu-lahiri committed Aug 18, 2018

61412d6
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 18, 2018

9be390d
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 18, 2018

cd0a36d
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 18, 2018

b2b1ae8
Updated Angelic Verifier (markdown)

shuvendu-lahiri committed Aug 18, 2018

56a2e06
AV wiki

shuvendu-lahiri committed Aug 18, 2018

a286057
Initial Home page

shuvendu-lahiri committed Aug 18, 2018

f09619f

Footer

© 2025 GitHub, Inc.

Footer navigation

Terms
Privacy
Security
Status
Docs
Contact

You can’t perform that action at this time.