Implement a syntax for no_sync_with scopes. (closes #67 on github)

changed title from [WIP] Implement a syntax for no_sync_with_scopes. (closes #67 (closed) on github) to [WIP] Implement a syntax for no_sync_with scopes. (closes #67 (closed) on github)

unmarked as a Work In Progress

Looks great. Needs doc updates, though--since insn options actually are documented.

added 20 commits

• a834aeef...7b1bb740 - 19 commits from branch master
• 02e0c2c7 - Merge branch 'master' into 'nosync-scope-syntax'

Compare with previous version

There's a semantic issue I came across with nosync_query. It uses the same query backend as dep_query. dep_query makes sure there are no self-dependencies so it excludes the querying instruction from the output of the query. I don't think this makes as sense for nosync_query, since instructions can have memory dependencies with themselves. So should we change nosync_query to allow for self references?

^ Hmm, there's something I ignored in my analysis above. We currently ignore all memory dependencies where source=target. This feels like a bug (#21).

added 9 commits

• 02e0c2c7...f5059b81 - 6 commits from branch master
• e4941c4a - Merge branch 'master' into nosync-scope-syntax
• 83274407 - Add missing substring to test result.
• 12a10b0b - Document nosync changes.

Compare with previous version

Finally got around to documentation. I still think #21 is an issue, but despite it we can go ahead with these changes.

added 1 commit

• ab6ba209 - Small grammar tweaks.

Compare with previous version

added 1 commit

• d51b2616 - for -> due to

Compare with previous version

added 1 commit

• 5c9715c5 - Revert "for -> due to" (I changed my mind)

Compare with previous version

merged

mentioned in commit 83aef009

LGTM, thx!