Permalink
Commits on Feb 13, 2018
Commits on Dec 27, 2017
  1. README.

    msoeken committed Dec 27, 2017
Commits on Dec 24, 2017
  1. Credits.

    msoeken committed Dec 24, 2017
Commits on Dec 23, 2017
  1. Kitty dependency.

    msoeken committed Dec 23, 2017
  2. Synthesis notebook.

    msoeken committed Dec 23, 2017
  3. Ignore files.

    msoeken committed Dec 23, 2017
Commits on Dec 21, 2017
  1. XMG exact decomposition.

    msoeken committed Dec 21, 2017
  2. Updated dependencies.

    msoeken committed Dec 21, 2017
  3. RevKit: write_qsharp.

    msoeken committed Dec 21, 2017
  4. Compile for 64-bit UNIX.

    msoeken committed Dec 21, 2017
Commits on Dec 20, 2017
  1. XMG exact decomposition.

    msoeken committed Dec 20, 2017
  2. Exact XMG decomposition.

    msoeken committed Dec 20, 2017
  3. XMG exact decomposition.

    msoeken committed Dec 20, 2017
Commits on Dec 19, 2017
  1. Exact decomposition.

    msoeken committed Dec 19, 2017
Commits on Dec 16, 2017
  1. Port to kitty.

    msoeken committed Dec 16, 2017
  2. Z3 dependency.

    msoeken committed Dec 16, 2017
  3. Z3 dependency.

    msoeken committed Dec 16, 2017
  4. Z3 dependency.

    msoeken committed Dec 16, 2017
Commits on Dec 14, 2017
  1. Remove dependencies.

    msoeken committed Dec 14, 2017
  2. Ignore files.

    msoeken committed Dec 14, 2017
  3. Port to kitty.

    msoeken committed Dec 14, 2017
Commits on Dec 13, 2017
  1. Port to kitty.

    msoeken committed Dec 13, 2017
  2. Port to kitty.

    msoeken committed Dec 13, 2017
Commits on Dec 12, 2017
  1. Moving dependencies.

    msoeken committed Dec 12, 2017
  2. Moving dependencies.

    msoeken committed Dec 12, 2017
  3. MiniSAT dependency.

    msoeken committed Dec 12, 2017
  4. MiniSAT dependency.

    msoeken committed Dec 12, 2017
  5. Fixed MiniSAT dependencies.

    msoeken committed Dec 12, 2017
Commits on Dec 9, 2017
  1. Remove some code.

    msoeken committed Dec 9, 2017
  2. Boost.Format -> fmt/format.

    msoeken committed Dec 9, 2017
  3. External libraries.

    msoeken committed Dec 9, 2017
Commits on Dec 4, 2017
  1. CUDD dependency.

    msoeken committed Dec 4, 2017
  2. CUDD dependency.

    msoeken committed Dec 4, 2017