GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-27 12:52:52 +03:00
Code Issues Projects Releases Wiki Activity

ppc: Add some more semantics for the cr logical operations

Browse Source
This commit is contained in:
Tristan Ravitch 2017-11-28 22:36:08 -08:00
parent b033f3788c
commit c4675b47e4
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
submodules/semmc

@ -1 +1 @@
Subproject commit fc4cc3a0ba50ce6a2c5a6a14a3c8bbec60c3a971
Subproject commit 22385804a58acfc5832465554d9961113b958275