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: mirage/mirage
base: c733e5c8476c
Choose a base ref
...
head repository: mirage/mirage
compare: b3742dba489f
Choose a head ref
  • 2 commits
  • 12 files changed
  • 1 contributor

Commits on Nov 15, 2016

  1. separate mirage-runtime into own opam package 

    move mirage-types code to mirage-runtime
pass dontlink unix str num threads to kernels
    @hannesm
    hannesm committed Nov 15, 2016
    Copy the full SHA
    461ba10 View commit details
    Browse the repository at this point in the history

Commits on Nov 17, 2016

  1. Merge pull request #681 from hannesm/runtime 

    mirage-runtime is now a custom opam package
    @hannesm
    hannesm committed Nov 17, 2016
    Copy the full SHA
    b3742db View commit details
    Browse the repository at this point in the history