Commits · 5e4e815d107de3b24de7804e31d4411f005ee995 · lvzhengyang / abc · GitLab

20 Oct, 2016 1 commit
- Fixing accidental change in the project file. · 5e4e815d
  Alan Mishchenko committed Oct 20, 2016
  
  5e4e815d Browse Files
16 Oct, 2016 1 commit
- Improving robustness of &b. · d22cb3f4
  Alan Mishchenko committed Oct 15, 2016
  
  d22cb3f4 Browse Files
12 Oct, 2016 1 commit
- Memory leak in scl package. · 710f5cd4
  Alan Mishchenko committed Oct 12, 2016
  
  710f5cd4 Browse Files
10 Oct, 2016 1 commit
- Updates to arithmetic verification. · 40375f8b
  Alan Mishchenko committed Oct 09, 2016
  
  40375f8b Browse Files
08 Oct, 2016 1 commit
- Adding switch &mfs -b to preserve white boxes during optimization. · 50e324ce
  Alan Mishchenko committed Oct 07, 2016
  
  50e324ce Browse Files
07 Oct, 2016 3 commits
- Small FXCH bug fix. · 659d2889
  Bruno Schmitt committed Oct 07, 2016
  
  659d2889 Browse Files
- Change Verilog reader to take a string rather than file name. · eb65c018
  Alan Mishchenko committed Oct 06, 2016
  
  eb65c018 Browse Files
- Long standing bug fix in &mfs. · 80327537
  Alan Mishchenko committed Oct 06, 2016
  
  80327537 Browse Files
02 Oct, 2016 2 commits
- Adding module name when reading SMT-LIB from stdin. · c01f5fc4
  Alan Mishchenko committed Oct 02, 2016
  
  c01f5fc4 Browse Files
- Bug fix in SMT parser. · 7f3842e1
  Alan Mishchenko committed Oct 02, 2016
  
  7f3842e1 Browse Files
01 Oct, 2016 1 commit
- Bug fix in the SMT parser to address multi-argument operators and large constants. · 44550a67
  Alan Mishchenko committed Sep 30, 2016
  
  44550a67 Browse Files
30 Sep, 2016 3 commits
- Compiler warnings. · 50da7c29
  Alan Mishchenko committed Sep 30, 2016
  
  50da7c29 Browse Files
- Merged alanmi/abc into default · f5be1575
  Mathias Soeken committed Sep 29, 2016
  
  f5be1575 Browse Files
- Supporting 'define-fun' with an expression rather than a constant. · 9a35f82d
  Alan Mishchenko committed Sep 29, 2016
  
  9a35f82d Browse Files
28 Sep, 2016 1 commit
- Adding flag 'pdr -e' to output only support variables in the invariant. · 4f0f2e09
  Alan Mishchenko committed Sep 28, 2016
  
  4f0f2e09 Browse Files
14 Sep, 2016 2 commits
- Some fixes in BMS. · e601df9d
  Mathias Soeken committed Sep 14, 2016
  
  e601df9d Browse Files
- New search strategy in BMS. · bb8e1808
  Mathias Soeken committed Sep 14, 2016
  
  bb8e1808 Browse Files
10 Sep, 2016 1 commit
- Updates to BMS. · 452303b7
  Mathias Soeken committed Sep 10, 2016
  
  452303b7 Browse Files
09 Sep, 2016 5 commits
- Fix in BMS. · b44c5196
  Mathias Soeken committed Sep 09, 2016
  
  b44c5196 Browse Files
- Fixes in BMS. · 2f2ed1bc
  Mathias Soeken committed Sep 09, 2016
  
  2f2ed1bc Browse Files
- Missing case in BMS. · 5b2472d4
  Mathias Soeken committed Sep 09, 2016
  
  5b2472d4 Browse Files
- Improvements to BMS. · 6d7f2c4d
  Mathias Soeken committed Sep 09, 2016
  
  6d7f2c4d Browse Files
- 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