Skip to content

Support non optimized builds#20

Closed
fcremo wants to merge 0 commit intorevng:masterfrom
fcremo:feature/non-optimized-builds
Closed

Support non optimized builds#20
fcremo wants to merge 0 commit intorevng:masterfrom
fcremo:feature/non-optimized-builds

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
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

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants