Commits · b11406c566c72974d7bde310feca6792953d5802 · lvzhengyang / abc · GitLab

09 Sep, 2016 1 commit
- Merged alanmi/abc into default · b11406c5
  Mathias Soeken committed Sep 09, 2016
  
  b11406c5 Browse Files
05 Sep, 2016 2 commits
- Experimental code for polynomial construction. · ca937307
  Alan Mishchenko committed Sep 05, 2016
  
  ca937307 Browse Files
- Experimental code for polynomial construction. · 198fe994
  Alan Mishchenko committed Sep 05, 2016
  
  198fe994 Browse Files
03 Sep, 2016 1 commit
- Experimental code for polynomial construction. · 478066f7
  Alan Mishchenko committed Sep 03, 2016
  
  478066f7 Browse Files
29 Aug, 2016 2 commits
- Improvements to BMS. · a46af9de
  Mathias Soeken committed Aug 29, 2016
  
  a46af9de Browse Files
- Improvements to BMS. · 7e3032c0
  Mathias Soeken committed Aug 29, 2016
  
  7e3032c0 Browse Files
28 Aug, 2016 1 commit
- Symmetric variables in BMS. · 2d71abd5
  Mathias Soeken committed Aug 28, 2016
  
  2d71abd5 Browse Files
26 Aug, 2016 1 commit
- Improvements to BMS. · 610fcb27
  Mathias Soeken committed Aug 26, 2016
  
  610fcb27 Browse Files
25 Aug, 2016 1 commit
- BMS fixes and start gates parameter. · e5636522
  Mathias Soeken committed Aug 25, 2016
  
  e5636522 Browse Files
24 Aug, 2016 4 commits
- Fix errors in BMS. · 360e85fc
  Mathias Soeken committed Aug 24, 2016
  
  360e85fc Browse Files
- Improvements to BMS. · fcf33350
  Mathias Soeken committed Aug 24, 2016
  
  fcf33350 Browse Files
- Improvements to BMS. · ea3836ea
  Mathias Soeken committed Aug 24, 2016
  
  ea3836ea Browse Files
- Merged alanmi/abc into default · db1daf7b
  Mathias Soeken committed Aug 24, 2016
  
  db1daf7b Browse Files
22 Aug, 2016 1 commit
- BMS: Store I/O, better implications to stop search. · 30b3a7ab
  Mathias Soeken committed Aug 22, 2016
  
  30b3a7ab Browse Files
21 Aug, 2016 3 commits
- BMS: restart solver instead of re-allocating it. · 6e7fb2ea
  Mathias Soeken committed Aug 21, 2016
  
  6e7fb2ea Browse Files
- More logging in exact synthesis. · 8ec44da3
  Mathias Soeken committed Aug 21, 2016
  
  8ec44da3 Browse Files
- Merged alanmi/abc into default · 9bb5a2dd
  Mathias Soeken committed Aug 21, 2016
  
  9bb5a2dd Browse Files
19 Aug, 2016 1 commit
- Fix compile errors when using namespace with clang. · 9ac7b05e
  Mathias Soeken committed Aug 19, 2016
  
  9ac7b05e Browse Files
18 Aug, 2016 3 commits
- Merged in boschmitt/abc (pull request #39) · 6ec77b5d
```
Small bug fix in FXCH.
```
  Alan Mishchenko committed Aug 19, 2016
  6ec77b5d Browse Files
- Small bug fix in FXCH. · 621fbcbd
  Bruno Schmitt committed Aug 18, 2016
  
  621fbcbd Browse Files
- Merge with parent. · 792e7e66
  Mathias Soeken committed Aug 18, 2016
  
  792e7e66 Browse Files
17 Aug, 2016 1 commit
- Changes to report quantum cost in Exorcism. · 118eea84
  Alan Mishchenko committed Aug 17, 2016
  
  118eea84 Browse Files
16 Aug, 2016 7 commits
- Missing code for CLI integration. · 433b9fe7
  Mathias Soeken committed Aug 16, 2016
  
  433b9fe7 Browse Files
- Functions to compute T-count. · 85c751fb
  Mathias Soeken committed Aug 16, 2016
  
  85c751fb Browse Files
- Provide number of max cubes as parameter. · 2f149364
  Mathias Soeken committed Aug 16, 2016
  
  2f149364 Browse Files
- Don't output if not verbose. · 0d1786d8
  Mathias Soeken committed Aug 16, 2016
  
  0d1786d8 Browse Files
- Used wrong truth table function in exact synthesis. · 82102903
  Mathias Soeken committed Aug 16, 2016
  
  82102903 Browse Files
- Merged alanmi/abc into default · 077f8bdb
  Mathias Soeken committed Aug 16, 2016
  
  077f8bdb Browse Files
- Fix compiler problems by #including the header from FXCH package. · b83c6aaf
  Alan Mishchenko committed Aug 16, 2016
  
  b83c6aaf Browse Files
15 Aug, 2016 3 commits
- Fixes to exact synthesis. · baca7e47
  Mathias Soeken committed Aug 15, 2016
  
  baca7e47 Browse Files
- Merged alanmi/abc into default · 68f29c52
  Mathias Soeken committed Aug 15, 2016
  
  68f29c52 Browse Files
- Changes to report quantum cost in Exorcism. · 9dc2f488
  Alan Mishchenko committed Aug 15, 2016
  
  9dc2f488 Browse Files
10 Aug, 2016 1 commit
- Bug fix in 'edge -m'. · 21435aa6
  Alan Mishchenko committed Aug 10, 2016
  
  21435aa6 Browse Files
09 Aug, 2016 5 commits
- Exact synthesis (revert one change). · 24af6345
  Mathias Soeken committed Aug 09, 2016
  
  24af6345 Browse Files
- Merge with parent. · 4b2881bc
  Mathias Soeken committed Aug 09, 2016
  
  4b2881bc Browse Files
- Exact synthesis. · ca8256fb
  Mathias Soeken committed Aug 09, 2016
  
  ca8256fb Browse Files
- Merged alanmi/abc into default · 97d5d5d2
  Mathias Soeken committed Aug 09, 2016
  
  97d5d5d2 Browse Files
- Adding truth table occurrence counters for 'if -c'. · 693b587c
  Alan Mishchenko committed Aug 08, 2016
  
  693b587c Browse Files
08 Aug, 2016 2 commits
- Enabled progress bar in the 'if' mapper (warning). · 713976f2
  Alan Mishchenko committed Aug 08, 2016
  
  713976f2 Browse Files
- Enabled delay computation for the cut output using cut inputs. · a819e33c
  Alan Mishchenko committed Aug 08, 2016
  
  a819e33c Browse Files