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

Pact step signatures #565

Merged
merged 33 commits into from Jul 9, 2019
Merged
Changes from 1 commit
Commits
Show all changes
33 commits
Select commit Hold shift + click to select a range
956859f
Add meta signatures to pact steps (WIP).
joelburget Jun 21, 2019
c7b613c
Fix tests -- rebase to previous.
joelburget Jun 25, 2019
822b9b3
Remove test helpers from call stack.
joelburget Jun 25, 2019
3e63370
Freeze another call stack -- rebase.
joelburget Jun 25, 2019
8c77d74
WIP pact step checking.
joelburget Jun 26, 2019
bc84509
Refactor `moduleFunCheck` to only check one function.
joelburget Jun 26, 2019
1f97451
A bit more refactoring.
joelburget Jun 26, 2019
d0b7a04
Checkpoint: four failing tests.
joelburget Jun 28, 2019
f8faa71
Properly bind environment for pact steps.
joelburget Jun 28, 2019
063dc53
Show correct operator name in error message.
joelburget Jun 28, 2019
6b64286
Steps close over their pact's arguments.
joelburget Jul 1, 2019
a7f9dfa
Update prop parsing notes.
joelburget Jul 1, 2019
42fc3c0
Remove unused `Default` import.
joelburget Jul 1, 2019
d2d9ebb
Fix pact payment test contract.
joelburget Jul 1, 2019
037571d
Remove empty lines I introduced.
joelburget Jul 1, 2019
29a1776
Document step scope questions.
joelburget Jul 1, 2019
ba2c00f
Show vars when analyzing a step.
joelburget Jul 2, 2019
574ae7a
Clean up `stepCheck`.
joelburget Jul 2, 2019
3b80017
Create a `FunctionEnvironment` structure.
joelburget Jul 2, 2019
bc7ab47
Further clean up of `verifyModule`.
joelburget Jul 2, 2019
dc479e7
Break up giant `verifyModule` function.
joelburget Jul 2, 2019
0a9fe81
Formatting / notes update.
joelburget Jul 2, 2019
f0a97eb
Pact check cleanups.
joelburget Jul 3, 2019
474257c
Regularize the types of ...
joelburget Jul 3, 2019
f22faba
More docs / check refactoring.
joelburget Jul 3, 2019
535751e
Use correct `CheckableType` for fun checks.
joelburget Jul 4, 2019
b6659de
Fix Var Id generation.
joelburget Jul 8, 2019
73567f6
Check for typechecking failures in analysis.
joelburget Jul 8, 2019
dfca44d
Resolve `envVidStart` / `vids` question.
joelburget Jul 8, 2019
7db358e
Resolve remaining TODOs.
joelburget Jul 8, 2019
9fcf91d
Remove broken haddock comments.
joelburget Jul 8, 2019
040c354
Merge remote-tracking branch 'origin/master' into pact-step-signatures
bts Jul 9, 2019
d216e3f
Expect module-level TC failures
bts Jul 9, 2019
File filter...
Filter file types
Jump to…
Jump to file or symbol
Failed to load files and symbols.

Always

Just for now

Pact check cleanups.

  • Loading branch information
joelburget committed Jul 3, 2019
commit f0a97ebf06f82709857c118e220f30e0e67feb14
ProTip! Use n and p to navigate between commits in a pull request.
You can’t perform that action at this time.