Commits · a49dfbcf91d2271fc18b9581309f7362b6272ede · lvzhengyang / abc · GitLab

17 Apr, 2017 1 commit
- %pdra: added an option for disabling incremental solving · 38e5c8c9
  Yen-Sheng Ho committed 7 years ago
  
  38e5c8c9 Browse File
31 Mar, 2017 1 commit
- %pdra: added an option -t for disabling trace reuse · 1531dd8e
  Yen-Sheng Ho committed 7 years ago
  
  1531dd8e Browse File
28 Mar, 2017 1 commit
- %pdra: added an option -s · 2fea987e
  Yen-Sheng Ho committed 7 years ago
  
  2fea987e Browse File
18 Mar, 2017 1 commit
- %pdra: working on bmc3 · 0d054904
  Yen-Sheng Ho committed 7 years ago
  
  0d054904 Browse File
10 Mar, 2017 1 commit
- %pdra: added an option -i for weaker proof-based refinement · 70511b00
  Yen-Sheng Ho committed 7 years ago
  
  70511b00 Browse File
09 Mar, 2017 1 commit
- %pdra, %abs: added option -d for apple-to-apple comparison · 3ae83d37
  Yen-Sheng Ho committed 7 years ago
  
  3ae83d37 Browse File
01 Mar, 2017 2 commits
- %pdra: added an option -u for checking comb. unsat · 18b47dfb
  Yen-Sheng Ho committed 8 years ago
  
  18b47dfb Browse File
- added an option -r to %pdra: proof-based refinement only · 902a78ee
  Yen-Sheng Ho committed 8 years ago
  
  902a78ee Browse File
27 Feb, 2017 1 commit
- %pdra -L: now applies to all types · 9195192f
  Yen-Sheng Ho committed 8 years ago
  
  9195192f Browse File
26 Feb, 2017 2 commits
- added an option -L to %pdra for limiting the number of muxes · 86b3cb3d
  Yen-Sheng Ho committed 8 years ago
  
  86b3cb3d Browse File
- added an option -b to %pdra · a8f6e5c6
  Yen-Sheng Ho committed 8 years ago
  
  a8f6e5c6 Browse File
23 Feb, 2017 1 commit
- added %pdra -a: run with pdr -nct · d5bbf918
  Yen-Sheng Ho committed 8 years ago
  
  d5bbf918 Browse File
22 Feb, 2017 2 commits
- added an option -m for %pdra · 2f90e5e1
  Yen-Sheng Ho committed 8 years ago
  
  2f90e5e1 Browse File
- clean up · 01e6beea
  Yen-Sheng Ho committed 8 years ago
  
  01e6beea Browse File
16 Feb, 2017 1 commit
- Word-level abstraction engine. · ab387953
  Alan Mishchenko committed 8 years ago
  
  ab387953 Browse File
10 Feb, 2017 1 commit
- Word-level abstraction. · 7a2984bb
  Alan Mishchenko committed 8 years ago
  
  7a2984bb Browse File
09 Feb, 2017 1 commit
- Word-level abstraction. · e20ef654
  Alan Mishchenko committed 8 years ago
  
  e20ef654 Browse File
27 Jan, 2017 2 commits
- Adding visualization of word-level networks Wlc_Ntk_t. · c2b805dc
  Alan Mishchenko committed 8 years ago
  
  c2b805dc Browse File
- Adding visualization of word-level networks Wlc_Ntk_t. · 64d7119d
  Alan Mishchenko committed 8 years ago
  
  64d7119d Browse File
26 Jan, 2017 2 commits
- Adding visualization of word-level networks Wlc_Ntk_t. · 7d82819d
  Alan Mishchenko committed 8 years ago
  
  7d82819d Browse File
- Improvements to SMT-LIB parser. · 3c8c807a
  Alan Mishchenko committed 8 years ago
  
  3c8c807a Browse File
27 Nov, 2016 1 commit
- New command to profile arithmetic logic cones. · de71ef44
  Alan Mishchenko committed 8 years ago
  
  de71ef44 Browse File
23 May, 2016 1 commit
- Improving SMT-LIB parser. · c688d1b1
  Alan Mishchenko committed 8 years ago
  
  c688d1b1 Browse File
22 May, 2016 1 commit
- Improving SMT-LIB parser. · 0f29f0ae
  Alan Mishchenko committed 8 years ago
  
  0f29f0ae Browse File
21 May, 2016 1 commit
- Improving SMT-LIB parser. · 34c5ac88
  Alan Mishchenko committed 8 years ago
  
  34c5ac88 Browse File
08 May, 2016 1 commit
- Experiments with CEC for arithmetic circuits. · 236d4122
  Alan Mishchenko committed 8 years ago
  
  236d4122 Browse File
05 Apr, 2016 1 commit
- Supporting negative and reverse ranges of word-level variables in Wlc. · ee17cbbf
  Alan Mishchenko committed 8 years ago
  
  ee17cbbf Browse File
19 Mar, 2016 1 commit
- Typo in operator in Wlc_Ntk_t. · a4d6e2f8
  Alan Mishchenko committed 8 years ago
  
  a4d6e2f8 Browse File
18 Mar, 2016 1 commit
- Supporting bit-wise XNOR operator in Wlc_Ntk_t. · 65ee47c5
  Alan Mishchenko committed 8 years ago
  
  65ee47c5 Browse File
10 Mar, 2016 1 commit
- Supporting complemented reduction operators. · 74328f52
  Alan Mishchenko committed 8 years ago
  
  74328f52 Browse File
12 Feb, 2016 1 commit
- Adding support for a different bit-blasting of a multiplier and squarer. · e0616441
  Alan Mishchenko committed 9 years ago
  
  e0616441 Browse File
02 Feb, 2016 1 commit
- Supporting X-valued constants in Wlc_Ntk_t. · c81b6cb5
  Alan Mishchenko committed 9 years ago
  
  c81b6cb5 Browse File
25 Aug, 2015 1 commit
- Changes to be able to compile ABC without CUDD. · 77d64787
  Alan Mishchenko committed 9 years ago
  
  77d64787 Browse File
17 Jul, 2015 1 commit
- Improving Wlc_Ntk_t data-structure by extending bit-ranges up to 4B enabling… · d332e670
```
Improving Wlc_Ntk_t data-structure by extending bit-ranges up to 4B enabling printout of AND2 in '%ps -d'.
```
  Alan Mishchenko committed 9 years ago
  d332e670 Browse File
15 Jul, 2015 1 commit
- Improved bit-blasting of various operators in Wlc_Ntk_t; added SQRT operator (@). · e37bd1fb
  Alan Mishchenko committed 9 years ago
  
  e37bd1fb Browse File
07 Jul, 2015 1 commit
- Bug fixing in %blast when blasting mod operator (handling zero divisor). · 8efc9cb7
  Alan Mishchenko committed 9 years ago
  
  8efc9cb7 Browse File
20 Jun, 2015 1 commit
- Adding new debugging feature to Wlc_Ntk_t. · 4b7dd692
  Alan Mishchenko committed 9 years ago
  
  4b7dd692 Browse File
05 Jun, 2015 1 commit
- Sequential word-level simulator for Wlc_Ntk_t. · 0489deb6
  Alan Mishchenko committed 9 years ago
  
  0489deb6 Browse File
25 Apr, 2015 1 commit
- Fix inconsistency between operators and symbols in Wlc_Ntk_t. · 3be417ae
  Alan Mishchenko committed 9 years ago
  
  3be417ae Browse File
19 Feb, 2015 1 commit
- Modifications to read SMTLIB file from stdin. · 6b0accd2
  Alan Mishchenko committed 10 years ago
  
  6b0accd2 Browse File