Skip to content
Permalink

Comparing changes

Choose two branches to see what’s changed or to start a new pull request. If you need to, you can also or learn more about diff comparisons.

Open a pull request

Create a new pull request by comparing changes across two branches. If you need to, you can also . Learn more about diff comparisons here.
base repository: GaloisInc/macaw
Failed to load repositories. Confirm that selected base ref is valid, then try again.
Loading
base: 2a56e404bdaad4f6488bcf5c820d7754db6d4264
Choose a base ref
...
head repository: GaloisInc/macaw
Failed to load repositories. Confirm that selected head ref is valid, then try again.
Loading
compare: 7761a6f6e1348e6479b2ad272ad47e59fb5a8fd7
Choose a head ref
  • 4 commits
  • 47 files changed
  • 1 contributor

Commits on Dec 2, 2020

  1. Switch from ansi-wl-pprint to the prettyprinter package.

    This patch relies on the following submodule updates:
    - GaloisInc/what4#77
    - GaloisInc/elf-edit#20
    - GaloisInc/crucible#586
    - GaloisInc/asl-translator#28
    
    This patch updates the following packages:
    - macaw-base
    - macaw-symbolic
    - macaw-x86
    - macaw-x86-symbolic
    - macaw-aarch32
    - macaw-ppc
    - macaw-semmc
    - macaw-refinement
    Brian Huffman committed Dec 2, 2020
    Copy the full SHA
    2a620d4 View commit details
  2. Copy the full SHA
    1550533 View commit details

Commits on Dec 3, 2020

  1. Use OverloadedStrings for the prettyprinter Doc type.

    Brian Huffman committed Dec 3, 2020
    Copy the full SHA
    b3af7d6 View commit details
  2. Merge pull request #178 from GaloisInc/prettyprinter

    Switch from `ansi-wl-pprint` to the `prettyprinter` package.
    brianhuffman authored Dec 3, 2020
    Copy the full SHA
    7761a6f View commit details
Loading