Commits · d4ce4cc982961775570ed0ef7cf14054b36f0fad · lvzhengyang / abc · GitLab

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 Directory
08 May, 2018 1 commit
- Bug fix in &sat -x. · cd159976
  Alan Mishchenko committed 6 years ago
  
  cd159976 Browse Directory
07 May, 2018 1 commit
- Adding &sat -x to save CEXes for multi-output combinational miters. · ccf52969
  Alan Mishchenko committed 6 years ago
  
  ccf52969 Browse Directory
19 Feb, 2018 1 commit
- Compilation problem with pow(). · 76b00a2d
  Alan Mishchenko committed 7 years ago
  
  76b00a2d Browse Directory
27 Jan, 2018 1 commit
- Experiments with circuit-based SAT. · 5158acb1
  Alan Mishchenko committed 7 years ago
  
  5158acb1 Browse Directory
25 Jan, 2018 1 commit
- Experiments with SAT-based simulation. · e4cd0d60
  Alan Mishchenko committed 7 years ago
  
  e4cd0d60 Browse Directory
24 Jan, 2018 1 commit
- Experiments with SAT-based simulation. · 066e8d1b
  Alan Mishchenko committed 7 years ago
  
  066e8d1b Browse Directory
07 Nov, 2017 1 commit
- Profiling quantification and other changes. · 5fd6dc0f
  Alan Mishchenko committed 7 years ago
  
  5fd6dc0f Browse Directory
18 Sep, 2017 2 commits
- Enabling Glucose in SAT sweeping: &fraig -g. · 5585ce8a
  Alan Mishchenko committed 7 years ago
  
  5585ce8a Browse Directory
- Enabling Glucose in SAT sweeping: &fraig -g. · 36858c53
  Alan Mishchenko committed 7 years ago
  
  36858c53 Browse Directory
29 Aug, 2017 1 commit
- Fixing bronken C++ build; Satoko internal header, solver.h, should not be used in other packages · ba8112ff
  Bruno Schmitt committed 7 years ago
  
  ba8112ff Browse Directory
12 Apr, 2017 2 commits
- Experiments with SAT sweeping. · b1eaf714
  Alan Mishchenko committed 7 years ago
  
  b1eaf714 Browse Directory
- Experiments with SAT sweeping. · 79584f5e
  Alan Mishchenko committed 7 years ago
  
  79584f5e Browse Directory
12 Mar, 2017 1 commit
- Integration of new SAT sweeper. · 876c2c35
  Alan Mishchenko committed 7 years ago
  
  876c2c35 Browse Directory
20 Feb, 2017 1 commit
- Experiments with SAT sweeping. · ac1eb60d
  Alan Mishchenko committed 8 years ago
  
  ac1eb60d Browse Directory
19 Feb, 2017 2 commits
- Experiments with SAT sweeping. · 99fe7dfe
  Alan Mishchenko committed 8 years ago
  
  99fe7dfe Browse Directory
- Experiments with SAT sweeping. · 27caed8d
  Alan Mishchenko committed 8 years ago
  
  27caed8d Browse Directory
18 Feb, 2017 1 commit
- Experiments with SAT sweeping. · 429f52ce
  Alan Mishchenko committed 8 years ago
  
  429f52ce Browse Directory
15 Feb, 2017 1 commit
- Experiments with simulation. · cb1ab703
  Alan Mishchenko committed 8 years ago
  
  cb1ab703 Browse Directory
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 Directory
21 Jan, 2017 1 commit
- Fix mismatch in output formatting. · cf539dcc
  Alan Mishchenko committed 8 years ago
  
  cf539dcc Browse Directory
21 Jul, 2016 1 commit
- Adding new command 'dump_equiv'. · bfe7333f
  Alan Mishchenko committed 8 years ago
  
  bfe7333f Browse Directory
11 Jul, 2015 1 commit
- Adding new Python API 'is_func_iso'. · b949436f
  Alan Mishchenko committed 9 years ago
  
  b949436f Browse Directory
08 Jul, 2015 1 commit
- C++ compiler typecast problem. · 609be7a1
  Alan Mishchenko committed 9 years ago
  
  609be7a1 Browse Directory
16 Mar, 2015 1 commit
- Several bug fixes and silencing requests. · 7fe11c51
  Alan Mishchenko committed 9 years ago
  
  7fe11c51 Browse Directory
15 Mar, 2015 1 commit
- Adding silent mode to &cec -m. · 3f2b1233
  Alan Mishchenko committed 9 years ago
  
  3f2b1233 Browse Directory
14 Mar, 2015 1 commit
- Adding silent mode to &splitprove. · e89fe16b
  Alan Mishchenko committed 9 years ago
  
  e89fe16b Browse Directory
13 Mar, 2015 1 commit
- Adding silent mode to &splitprove. · dc92f892
  Alan Mishchenko committed 9 years ago
  
  dc92f892 Browse Directory
22 Oct, 2014 1 commit
- Bug fix in seq synthesis due to resent code restructuring. · 51bf1210
  Alan Mishchenko committed 10 years ago
  
  51bf1210 Browse Directory
10 Oct, 2014 1 commit
- Naive (SAT-only) CEC option. · f6c1fc07
  Alan Mishchenko committed 10 years ago
  
  f6c1fc07 Browse Directory
05 Oct, 2014 1 commit
- Deriving cell mapping with &if -kz. · 24083998
  Alan Mishchenko committed 10 years ago
  
  24083998 Browse Directory
18 Sep, 2014 1 commit
- Concurrency for Boolean matching. · 043cfcd7
  Alan Mishchenko committed 10 years ago
  
  043cfcd7 Browse Directory
13 Aug, 2014 1 commit
- Enabling circuit solver in &fraig. · f9073474
  Alan Mishchenko committed 10 years ago
  
  f9073474 Browse Directory
12 Aug, 2014 1 commit
- Bug fix in &fraig -L <num>. · 99a917ca
  Alan Mishchenko committed 10 years ago
  
  99a917ca Browse Directory
21 Jun, 2014 1 commit
- Experiments with cofactoring variables. · e2411552
  Alan Mishchenko committed 10 years ago
  
  e2411552 Browse Directory
17 Jun, 2014 1 commit
- Bug fix in timeout of &splitprove. · df418d6c
  Alan Mishchenko committed 10 years ago
  
  df418d6c Browse Directory
16 Jun, 2014 1 commit
- Adding support of multi-output problems in &splitprove. · 2340d279
  Alan Mishchenko committed 10 years ago
  
  2340d279 Browse Directory
13 Jun, 2014 1 commit
- Various modifications. · fcdd9148
  Alan Mishchenko committed 10 years ago
  
  fcdd9148 Browse Directory
07 Jun, 2014 2 commits
- Adding print-out to &splitprove to see impact of cof variable on AIG size. · 3c6def29
  Alan Mishchenko committed 10 years ago
  
  3c6def29 Browse Directory
- Adding print-out to &splitprove to see impact of cof variable on AIG size. · 2d38fc16
  Alan Mishchenko committed 10 years ago
  
  2d38fc16 Browse Directory