Skip to content
This repository has been archived by the owner on Jul 31, 2018. It is now read-only.

End-user warnings for jsref code without a connected jscert proof #4

Open
IgnoredAmbience opened this issue Jan 8, 2015 · 1 comment
Open

End-user warnings for jsref code without a connected jscert proof #4

IgnoredAmbience opened this issue Jan 8, 2015 · 1 comment
Labels
enhancement jsref v8-libs

Comments

@IgnoredAmbience
Copy link
Member

No description provided.

@IgnoredAmbience
Copy link
Member Author

Coq plugin tooling on targetjs branch may assist with this task.
Once proof symbol output is complete, the handler for the ocaml instrumentation could add the proof check?
...
No, this is a long way around.
Best to explicitly mark as allowable extension in proof and require an alert is produced?

@IgnoredAmbience IgnoredAmbience mentioned this issue May 11, 2015
Closed
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
enhancement jsref v8-libs
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@IgnoredAmbience