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

Update Verifier to Use Requires #548

Closed
DavePearce opened this issue Nov 18, 2015 · 1 comment
Closed

Update Verifier to Use Requires #548

DavePearce opened this issue Nov 18, 2015 · 1 comment
Assignees
@DavePearce
Labels
Feature
Milestone
ChangeList Pre v0...

Comments

@DavePearce
Copy link
Member

The Whiley Rewrite Language now supports the use of a special requires clause to help offload conditional information into the probe() function. To utilise this we need to update the verifier to make use of it.
@DavePearce DavePearce self-assigned this Nov 18, 2015
@DavePearce DavePearce added this to the ChangeList Pre v0.4.0 milestone Nov 18, 2015
@DavePearce
Copy link
Member Author

Done, and tested.

DavePearce added a commit that referenced this issue Nov 19, 2015
@DavePearce
WyCS: Update solver to use requires #548
6e43667 
WyRL now supports the requires clause which allows some conditions to be
placed into the "probe()" function.  This can improve performance as it
results in fewer unnecessary probes returning true.  In this commit,
I've been through the solver and updated the rewrite rules to use the
new requires clause where possible.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@DavePearce DavePearce

Labels
Feature
Projects
None yet
Milestone
ChangeList Pre v0.4.0
Development

No branches or pull requests
1 participant
@DavePearce