Commits · 867600b766cc37218d619bec0c3fbbc1f700d72e · lvzhengyang / abc · GitLab

23 May, 2018 1 commit
- Simple BDD package. · 3697bdbe
  Alan Mishchenko committed 6 years ago
  
  3697bdbe Browse File
16 Apr, 2018 1 commit
- Memory abstraction. · 09810301
  Alan Mishchenko committed 6 years ago
  
  09810301 Browse File
22 Mar, 2018 1 commit
- Adding switch 'scorr -f' to dump inductive invariant as an AIG. · 53e7d1f9
  Alan Mishchenko committed 6 years ago
  
  53e7d1f9 Browse File
01 Mar, 2018 1 commit
- Adding parameters and improvements to %blast. · 7e9f3f02
  Alan Mishchenko committed 7 years ago
  
  7e9f3f02 Browse File
29 Jan, 2018 1 commit
- Adding support of reading and writing designs using a new internal format. · 99ddb640
  Alan Mishchenko committed 7 years ago
  
  99ddb640 Browse File
27 Jan, 2018 1 commit
- Experiments with circuit-based SAT. · 99c4dda7
  Alan Mishchenko committed 7 years ago
  
  99c4dda7 Browse File
29 Dec, 2017 1 commit
- New exact synthesis command 'allexact'. · 7d7ce3ec
  Alan Mishchenko committed 7 years ago
  
  7d7ce3ec Browse File
26 Nov, 2017 1 commit
- Improvements to AIG-based quantification. · c681506b
  Alan Mishchenko committed 7 years ago
  
  c681506b Browse File
07 Nov, 2017 1 commit
- Profiling quantification and other changes. · 71696919
  Alan Mishchenko committed 7 years ago
  
  71696919 Browse File
22 Oct, 2017 1 commit
- Adding API to dump MiniAIG into a Verilog file and other small changes. · accf4825
  Alan Mishchenko committed 7 years ago
  
  accf4825 Browse File
19 Oct, 2017 1 commit
- Integrating old SAT solver into majexact and twoexact. · 8f690fe8
  Alan Mishchenko committed 7 years ago
  
  8f690fe8 Browse File
01 Oct, 2017 1 commit
- Exact synthesis of majority gates. · d3152aef
  Alan Mishchenko committed 7 years ago
  
  d3152aef Browse File
20 Sep, 2017 1 commit
- Uncommenting handling of initial values of the flops. · 1e0bbef1
  Alan Mishchenko committed 7 years ago
  
  1e0bbef1 Browse File
15 Sep, 2017 1 commit
- Experiment with mapping. · b63e3ee4
  Alan Mishchenko committed 7 years ago
  
  b63e3ee4 Browse File
07 Sep, 2017 1 commit
- Integrating Glucose into bmc3 -g. · 97dd6019
  Alan Mishchenko committed 7 years ago
  
  97dd6019 Browse File
06 Sep, 2017 1 commit
- Adding Glucose 3.0 as a separate package. · 9e46ebe3
  Alan Mishchenko committed 7 years ago
  
  9e46ebe3 Browse File
22 Jul, 2017 1 commit
- Experiments with BMC. · 55771ee0
  Alan Mishchenko committed 7 years ago
  
  55771ee0 Browse File
17 Jul, 2017 1 commit
- Accidental change. · c19d2289
  Alan Mishchenko committed 7 years ago
  
  c19d2289 Browse File
28 Apr, 2017 1 commit
- Experiments with support minimization. · 1faab72a
  Alan Mishchenko committed 7 years ago
  
  1faab72a Browse File
17 Apr, 2017 1 commit
- Logic restruturing after mapping. · fb12c23a
  Alan Mishchenko committed 7 years ago
  
  fb12c23a Browse File
09 Apr, 2017 1 commit
- Experiments with hashing. · fe3d3341
  Alan Mishchenko committed 7 years ago
  
  fe3d3341 Browse File
27 Mar, 2017 1 commit
- Experiments with don't-cares. · 036be3a5
  Alan Mishchenko committed 7 years ago
  
  036be3a5 Browse File
24 Mar, 2017 1 commit
- Experiments with don't-cares. · a34d8cbb
  Alan Mishchenko committed 7 years ago
  
  a34d8cbb Browse File
22 Mar, 2017 1 commit
- Experiments with don't-cares. · 1ac9d299
  Alan Mishchenko committed 7 years ago
  
  1ac9d299 Browse File
20 Mar, 2017 1 commit
- Experiments with new network data-structure. · 19ccaf21
  Alan Mishchenko committed 7 years ago
  
  19ccaf21 Browse File
19 Mar, 2017 1 commit
- %pdra: working on bmc3 · 87541198
  Yen-Sheng Ho committed 7 years ago
  
  87541198 Browse File
17 Mar, 2017 3 commits
- Synthesis for mesh of LUTs. · 60aa7baa
  Alan Mishchenko committed 7 years ago
  
  60aa7baa Browse File
- Synthesis for mesh of LUTs. · 9e668f1b
  Alan Mishchenko committed 7 years ago
  
  9e668f1b Browse File
- New word-level transformation. · d66ff2cf
  Alan Mishchenko committed 7 years ago
  
  d66ff2cf Browse File
10 Mar, 2017 2 commits
- Improvements to ternary simulation. · 5fbe218f
  Alan Mishchenko committed 7 years ago
  
  5fbe218f Browse File
- Improvements to ternary simulation. · d877074d
  Alan Mishchenko committed 7 years ago
  
  d877074d Browse File
03 Mar, 2017 2 commits
- Clone of the main SAT solver to eneable independent work. · 59348e22
  Alan Mishchenko committed 8 years ago
  
  59348e22 Browse File
- Moving global declarations into 'abcapi.h' and moving it into 'main' package. · b1907e90
  Alan Mishchenko committed 8 years ago
  
  b1907e90 Browse File
02 Mar, 2017 1 commit
- Adding experimental command. · 96a39956
  Alan Mishchenko committed 8 years ago
  
  96a39956 Browse File
22 Feb, 2017 1 commit
- Changes to Visual Studio project file to support 'pdra'. · 96ccd24e
  Alan Mishchenko committed 8 years ago
  
  96ccd24e 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
11 Feb, 2017 2 commits
- Movinng custom floating-point implementations, etc. · 45f4d6c7
  Alan Mishchenko committed 8 years ago
  
  45f4d6c7 Browse File
- Changes to compile on Windows. · d4b491d8
  Alan Mishchenko committed 8 years ago
  
  d4b491d8 Browse File
09 Feb, 2017 1 commit
- Word-level abstraction. · e20ef654
  Alan Mishchenko committed 8 years ago
  
  e20ef654 Browse File