Skip to content

Commit

Permalink
Update argo submodule.
Browse files Browse the repository at this point in the history
  • Loading branch information
Brian Huffman committed Feb 14, 2021
1 parent b772c8f commit 85cc8ca
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion deps/argo
Submodule argo updated 50 files
+4 −5 .github/workflows/ci.yml
+1 −1 README.rst
+0 −1 cabal.project
+0 −21 docs/CryptolPython.rst
+0 −3 docs/SAWPython.rst
+0 −43 dreams/salsa20.py
+0 −99 dreams/salsa20_comp.py
+0 −46 dreams/swap.py
+0 −182 examples/Salsa20.cry
+ − examples/salsa20.bc
+0 −191 examples/salsa20.c
+0 −72 examples/salsa20.h
+0 −187 examples/salsa20.py
+ − examples/swap.bc
+0 −13 examples/swap.c
+0 −39 examples/swap.py
+0 −14 file-echo-api/file-echo-api.cabal
+5 −0 python/CHANGELOG.md
+11 −0 python/LICENSE
+3 −0 python/README.md
+0 −34 python/argo-python.cabal
+0 −0 python/argo_client/__init__.py
+0 −0 python/argo_client/connection.py
+1 −1 python/argo_client/interaction.py
+0 −0 python/argo_client/netstring.py
+0 −0 python/argo_client/py.typed
+0 −457 python/cryptol/__init__.py
+0 −478 python/cryptol/bitvector.py
+0 −505 python/cryptol/cryptoltypes.py
+0 −29 python/cryptol/solver.py
+0 −2 python/cryptol/test/__init__.py
+0 −447 python/cryptol/test/test_bitvector.py
+0 −42 python/hs-test/Main.hs
+0 −6 python/hs/Argo/PythonBindings.hs
+1 −12 python/mypy.ini
+6 −0 python/pyproject.toml
+0 −2 python/requirements.txt
+0 −365 python/saw/__init__.py
+0 −84 python/saw/commands.py
+0 −82 python/saw/connection.py
+0 −243 python/saw/dashboard.py
+0 −99 python/saw/exceptions.py
+0 −384 python/saw/llvm.py
+0 −60 python/saw/llvm_types.py
+0 −93 python/saw/proofscript.py
+0 −0 python/saw/py.typed
+42 −7 python/setup.py
+0 −0 python/tests/__init__.py
+0 −0 python/tests/test-data/hello.txt
+117 −59 python/tests/test_file_echo_api.py

0 comments on commit 85cc8ca

Please sign in to comment.