GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-26 09:22:20 +03:00
Code Issues Projects Releases Wiki Activity

No-op change to re-trigger Travis.

Browse Source 
The previous commits were valid, but github requires Travis builds to
complete successfully before allowing a merge to master.  The Travis
builds did complete, but somehow the communication between Travis and
Github failed, so Github still is waiting for the Travis build.
Pushing this minor change to re-trigger Travis builds so that this
branch can be merged to master.
This commit is contained in:
Kevin Quick 2019-07-18 10:56:19 -07:00
parent 6f76e4bef2
commit 5926df6b7a
No known key found for this signature in database
GPG Key ID: E6D7733599CC0A21
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
README.md
View File

@ -44,8 +44,7 @@ The libraries that make up Macaw are released under the BSD license.
These Macaw core libraries depend on a number of different supporting libraries, including:
* elf-edit -- loading and parsing of ELF binary files
* galois-dwarf -- retrieval of Dwarf debugging information from binary
files
* galois-dwarf -- retrieval of Dwarf debugging information from binary files
* flexdis86 -- disassembly and semantics for x86 architectures
* dismantle -- disassembly for ARM and PPC architectures
* semmc -- semantics definitions for ARM and PPC architectures