Candidate branch for release 0.2.0. Adds trace visualisation and navi… #3
Conversation
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
- Adding additional parameters for elpi command run in settings - Using the paths from settings to resolve binaries
Should one want to use dune exec, provide '--' in the settings.
…ersion on click on an elided rule text. The navigation stack can now be cleared without recomputing the trace. Some experiments on piping processes on Windows and retrieving system temporary locations.
Includes formatting of rules, a tooltip facility, disbled right now for LHS card titles. Because of performance issues on large traces.
Filetering the intersection of target ids by exclusions need the card index as an argument, not the corresponding step id. My very bad.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
…gation.