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

Support non optimized builds #20

Closed
wants to merge 0 commits into from
Closed

Support non optimized builds #20

wants to merge 0 commits into from

Conversation

fcremo
Copy link
Collaborator

@fcremo fcremo commented Feb 8, 2021

This PR supports revng/orchestra#12

  • changes the default dependency type to "any of"
  • supports replacing #if asan-like preprocessor statements
  • adds JSON output option to orc components
  • supports multiple components in several commands (e.g. orc install revng revng-c)

Additional minor changes:

  • add a label to the graph edges created by the same-component-ordering rule, aids in debugging

@fcremo fcremo mentioned this pull request Feb 8, 2021
Draft
4 tasks
@fcremo fcremo force-pushed the feature/non-optimized-builds branch from 00793df to 72b7430 Compare February 17, 2021 17:16
@fcremo fcremo force-pushed the feature/non-optimized-builds branch from 72b7430 to 217e500 Compare March 15, 2021 13:06
@fcremo fcremo marked this pull request as draft March 15, 2021 13:19
@fcremo fcremo force-pushed the feature/non-optimized-builds branch 2 times, most recently from 7301fc2 to b979908 Compare March 25, 2021 16:38
@fcremo fcremo force-pushed the feature/non-optimized-builds branch 2 times, most recently from 54be3be to 3234318 Compare April 22, 2021 14:10
@fcremo fcremo force-pushed the feature/non-optimized-builds branch from 3234318 to 48df2a9 Compare May 6, 2021 10:05
@aleclearmind aleclearmind marked this pull request as ready for review May 31, 2021 09:36
@fcremo fcremo force-pushed the feature/non-optimized-builds branch from 48df2a9 to bb8df85 Compare June 3, 2021 09:10
@fcremo fcremo closed this Jun 4, 2021
@fcremo fcremo force-pushed the feature/non-optimized-builds branch from bb8df85 to fa0d46e Compare June 4, 2021 12:13
@fcremo fcremo deleted the feature/non-optimized-builds branch June 11, 2021 08:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@fcremo @aleclearmind