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: m-labs/nmigen
base: b50b47d9846e
Choose a base ref
...
head repository: m-labs/nmigen
compare: 3ed519383cad
Choose a head ref
  • 3 commits
  • 4 files changed
  • 1 contributor

Commits on Jan 19, 2019

  1. lib.fifo: formally verify FIFO contract.

    whitequark committed Jan 19, 2019
    Configuration menu
    Copy the full SHA
    97b9902 View commit details
    Browse the repository at this point in the history
  2. Configuration menu
    Copy the full SHA
    45088f7 View commit details
    Browse the repository at this point in the history
  3. Configuration menu
    Copy the full SHA
    3ed5193 View commit details
    Browse the repository at this point in the history