Commits · bb33b5978ab3928bd8335e7e72cdc5e7077435eb · lvzhengyang / abc · GitLab

03 Nov, 2019 1 commit
- Changes to several APIs. · ec1dc442
  Alan Mishchenko committed 5 years ago
  
  ec1dc442 Browse File
27 Oct, 2019 1 commit
- Experiments with simulation. · 5a118446
  Alan Mishchenko committed 5 years ago
  
  5a118446 Browse File
15 Apr, 2019 1 commit
- Adding miter construction with one bit-level output for each pair of word-level outputs. · 81282155
  Alan Mishchenko committed 5 years ago
  
  81282155 Browse File
06 Mar, 2019 1 commit
- Fixing several other type conversion warnings. · f657d9a7
  Alan Mishchenko committed 6 years ago
  
  f657d9a7 Browse File
05 Mar, 2019 1 commit
- Fixing some warnings with -Wconversion. · b632c849
  Alan Mishchenko committed 6 years ago
  
  b632c849 Browse File
13 Feb, 2019 1 commit
- Adding switch -x to &ps to disable color printout. · 7143ad4d
  Alan Mishchenko committed 6 years ago
  
  7143ad4d Browse File
21 Jan, 2019 1 commit
- Exploring other ways of CEX writing. · b3d81b5f
  Alan Mishchenko committed 6 years ago
  
  b3d81b5f Browse File
12 Jan, 2019 1 commit
- Adding one API of GIA manager. · 12a51a2b
  Alan Mishchenko committed 6 years ago
  
  12a51a2b Browse File
21 Nov, 2018 1 commit
- Adding switch &w -n to modify the comment section of the AIGER file written. · 5aa3025c
  Alan Mishchenko committed 6 years ago
  
  5aa3025c Browse File
25 Apr, 2018 1 commit
- Adding switch &w -p to dump AIG in a Verilog file. · fa00219d
  Alan Mishchenko committed 6 years ago
  
  fa00219d Browse File
10 Feb, 2018 1 commit
- Experiments with LUT mapping. · f716948c
  Alan Mishchenko committed 7 years ago
  
  f716948c Browse File
25 Jan, 2018 1 commit
- Experiments with SAT-based simulation. · e4cd0d60
  Alan Mishchenko committed 7 years ago
  
  e4cd0d60 Browse File
24 Jan, 2018 1 commit
- Experiments with SAT-based simulation. · 066e8d1b
  Alan Mishchenko committed 7 years ago
  
  066e8d1b Browse File
05 Dec, 2017 1 commit
- Experiments with AIG-based simulation. · e5d83352
  Alan Mishchenko committed 7 years ago
  
  e5d83352 Browse File
03 Dec, 2017 1 commit
- Portability changes for gcc-6 suggested by Clifford. · 3cc4080c
  Alan Mishchenko committed 7 years ago
  
  3cc4080c Browse File
26 Nov, 2017 1 commit
- Improvements to AIG-based quantification. · c681506b
  Alan Mishchenko committed 7 years ago
  
  c681506b Browse File
14 Nov, 2017 2 commits
- Extracting CSAT interface and several cleanups. · 203629fd
  Alan Mishchenko committed 7 years ago
  
  203629fd Browse File
- Changes to make GIA structural hashing use a dedicated array instead of pObj->Value. · d85bc1dd
  Alan Mishchenko committed 7 years ago
  
  d85bc1dd Browse File
13 Nov, 2017 1 commit
- Improvements to quantification. · 71d9a167
  Alan Mishchenko committed 7 years ago
  
  71d9a167 Browse File
07 Nov, 2017 2 commits
- Profiling quantification and other changes. · 5fd6dc0f
  Alan Mishchenko committed 7 years ago
  
  5fd6dc0f Browse File
- Profiling quantification and other changes. · 71696919
  Alan Mishchenko committed 7 years ago
  
  71696919 Browse File
29 Oct, 2017 1 commit
- Improvements to quantification. · e21052df
  Alan Mishchenko committed 7 years ago
  
  e21052df Browse File
06 Oct, 2017 1 commit
- Improvements to SAT based SOP computation. · f97b8d28
  Alan Mishchenko committed 7 years ago
  
  f97b8d28 Browse File
02 Oct, 2017 1 commit
- Adding printout of slack distribution for mapped networks. · 05ca7dbf
  Alan Mishchenko committed 7 years ago
  
  05ca7dbf Browse File
06 Sep, 2017 1 commit
- Several small changes. · 5a9fded5
  Alan Mishchenko committed 7 years ago
  
  5a9fded5 Browse File
12 Jul, 2017 1 commit
- Supporting CO attributes in GIA. · ff89090d
  Alan Mishchenko committed 7 years ago
  
  ff89090d Browse File
07 Jul, 2017 1 commit
- Adding new command line options for &verify and &synch2. · 1676df19
  Alan Mishchenko committed 7 years ago
  
  1676df19 Browse File
04 Jul, 2017 1 commit
- Synchronizing various data-structures. · 859e769f
  Alan Mishchenko committed 7 years ago
  
  859e769f Browse File
29 Apr, 2017 1 commit
- Experiments with support minimization. · 30d1f192
  Alan Mishchenko committed 7 years ago
  
  30d1f192 Browse File
28 Apr, 2017 1 commit
- Experiments with support minimization. · 1faab72a
  Alan Mishchenko committed 7 years ago
  
  1faab72a Browse File
22 Feb, 2017 1 commit
- Removing unused procedure. · dd8cc7e9
  Alan Mishchenko committed 8 years ago
  
  dd8cc7e9 Browse File
18 Feb, 2017 1 commit
- Experiments with SAT sweeping. · 429f52ce
  Alan Mishchenko committed 8 years ago
  
  429f52ce 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
- Standardizing the use of new CNF generator. Adding CNF variable connectivity information. · d335ee09
  Alan Mishchenko committed 8 years ago
  
  d335ee09 Browse File
15 Jan, 2017 1 commit
- Updates to arithmetic verification. · 153b71c1
  Alan Mishchenko committed 8 years ago
  
  153b71c1 Browse File
14 Jan, 2017 1 commit
- Updates to arithmetic verification. · 79701f8b
  Alan Mishchenko committed 8 years ago
  
  79701f8b Browse File
13 Jan, 2017 1 commit
- Adding print-out of critical path for mapped AIGs to &show. · 1a39fb39
  Alan Mishchenko committed 8 years ago
  
  1a39fb39 Browse File
12 Jan, 2017 1 commit
- Updates to arithmetic verification. · d52dafa6
  Alan Mishchenko committed 8 years ago
  
  d52dafa6 Browse File
31 Dec, 2016 1 commit
- Updates to delay optimization project. · 01924ca1
  Alan Mishchenko committed 8 years ago
  
  01924ca1 Browse File
22 Dec, 2016 1 commit
- Several changes in arithmetic circuit manipulation. · b56a5326
  Alan Mishchenko committed 8 years ago
  
  b56a5326 Browse File