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-13 16:54:01 -08:00
parent 94b72b2c73
commit 693727330d
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 eec7dfe6dee0c0380f6e21f604ee84cf1553ec84
Subproject commit a9abc9e3fa3df65c63a037867ed3e913b8fc1b99