GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-23 16:35:02 +03:00
Code Issues Projects Releases Wiki Activity

Update the semmc submodule with more semantics

Browse Source
This commit is contained in:
Tristan Ravitch 2017-11-28 23:10:58 -08:00
parent c4675b47e4
commit 5347f7b079
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 22385804a58acfc5832465554d9961113b958275
Subproject commit 9acda78487dd6af918235610d7d1449ce27f6f30