GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2025-01-07 16:29:42 +03:00
Code Issues Projects Releases Wiki Activity

Update what4 submodules.

Browse Source
This commit is contained in:
Kevin Quick 2020-05-12 09:44:53 -07:00
parent 107b709cbd
commit e914ceff01
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
dependencies/what4 vendored

@ -1 +1 @@
Subproject commit 0a6a227f64a41a8a7fce37040dea8ac0d87dd618
Subproject commit 3a12e48f9e066ce99d7c29c16f067235abbfec31