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

Make the verifier faster #4748

Open
zrlk opened this issue Nov 12, 2020 · 0 comments
Open

Make the verifier faster #4748

zrlk opened this issue Nov 12, 2020 · 0 comments
Assignees
@zrlk
Labels
verifier Issues with the Kythe verifier

Comments

@zrlk
Copy link
Contributor

zrlk commented Nov 12, 2020

The verifier is insufficiently fast. It should be faster.
@zrlk zrlk added the verifier Issues with the Kythe verifier label Nov 12, 2020
@zrlk zrlk self-assigned this Nov 12, 2020
zrlk added a commit to zrlk/kythe that referenced this issue Nov 12, 2020
@zrlk
feat(verifier): add souffle/libffi
252c832 
This PR adds Bazel rules to pull down and build souffle
and its libffi dependency. souffle is a high-performance
datalog implementation that supports both AOT compilation
and running in interpreter mode. We intend to add it as
a new backend for the verifier.

In service of kythe#4748
@zrlk zrlk mentioned this issue Nov 12, 2020
Merged
zrlk added a commit to zrlk/kythe that referenced this issue Nov 13, 2020
@zrlk
feat(verifier): add souffle/libffi
d172ba4 
This PR adds Bazel rules to pull down and build souffle
and its libffi dependency. souffle is a high-performance
datalog implementation that supports both AOT compilation
and running in interpreter mode. We intend to add it as
a new backend for the verifier.

In service of kythe#4748
zrlk added a commit that referenced this issue Nov 13, 2020
@zrlk
feat(verifier): add souffle/libffi (#4749)
59a56e0 
* feat(verifier): add souffle/libffi

This PR adds Bazel rules to pull down and build souffle
and its libffi dependency. souffle is a high-performance
datalog implementation that supports both AOT compilation
and running in interpreter mode. We intend to add it as
a new backend for the verifier.

In service of #4748
This was referenced May 22, 2023
Merged
Merged
zrlk added a commit to zrlk/kythe that referenced this issue May 27, 2023
@zrlk
feat(verifier): begin supporting some forms
8cb8e38 
anchor() should probably be defined in terms of entry();
see the various TODOs for details.

In service of kythe#4748
@zrlk zrlk mentioned this issue May 27, 2023
Merged
zrlk added a commit that referenced this issue May 30, 2023
@zrlk
feat(verifier): begin supporting some forms (#5665)
91d7cd0 
* feat(verifier): begin supporting some forms

anchor() should probably be defined in terms of entry();
see the various TODOs for details.

In service of #4748
@zrlk zrlk mentioned this issue May 30, 2023
Merged
zrlk added a commit that referenced this issue May 30, 2023
@zrlk
feat(verifier): add a relation for anchors (#5667)
30b4039 
* feat(verifier): add a relation for anchors

In service of #4748
@zrlk zrlk mentioned this issue May 30, 2023
Merged
zrlk added a commit that referenced this issue May 30, 2023
@zrlk
chore(verifier): make currently-passing tests part of VerifierTest (#…
9f40243 
…5669)

* chore(verifier): make currently-passing tests part of VerifierTest

In service of #4748
zrlk added a commit to zrlk/kythe that referenced this issue May 31, 2023
@zrlk
feat(verifier): naive implementation of groups for new solver
b2e9cab 
In service of kythe#4748
@zrlk zrlk mentioned this issue May 31, 2023
Merged
zrlk added a commit that referenced this issue May 31, 2023
@zrlk
feat(verifier): naive implementation of groups for new solver (#5680)
7e3665d 
* feat(verifier): naive implementation of groups for new solver

In service of #4748
@zrlk zrlk mentioned this issue Jun 1, 2023
Merged
zrlk added a commit that referenced this issue Jun 1, 2023
@zrlk
chore(verifier): enable markedsource tests for new solver (#5682)
aed9b8c 
* chore(verifier): enable markedsource tests for new solver

In service of #4748
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@zrlk zrlk

Labels
verifier Issues with the Kythe verifier
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@zrlk