Commits · c3699a2043e94107dd963d5c49789807c135927c · lvzhengyang / abc

19 Nov, 2020 1 commit

Makefile: support ccache for compiling ABC. · c3699a20

Surround $(CC), $(CXX) with double quotes when calling depends.sh, to allow space-delimited compilation tools to be used.

committed Nov 19, 2020

c3699a20 Browse Files

16 Nov, 2020 6 commits
- Improvements to the SAT sweeper. · 36817328
  Alan Mishchenko committed Nov 16, 2020
  
  36817328 Browse Files
- Extending sweeper to handle XORs. · 230b759d
  Alan Mishchenko committed Nov 16, 2020
  
  230b759d Browse Files
- Experiments with MFFC computation. · d350b1a8
  Alan Mishchenko committed Nov 16, 2020
  
  d350b1a8 Browse Files
- Experiments with MFFC computation (bug fix). · ecafca53
  Alan Mishchenko committed Nov 15, 2020
  
  ecafca53 Browse Files
- Experiments with MFFC computation. · b28c4b5c
  Alan Mishchenko committed Nov 15, 2020
  
  b28c4b5c Browse Files
- Extending sweeper to handle XORs. · dd07ec57
  Alan Mishchenko committed Nov 15, 2020
  
  dd07ec57 Browse Files
15 Nov, 2020 6 commits
- Improvements to the SAT sweeper (bug fix). · 28ea3ade
  Alan Mishchenko committed Nov 15, 2020
  
  28ea3ade Browse Files
- Sweeping up to a given level (bug fix). · 36e8567e
  Alan Mishchenko committed Nov 15, 2020
  
  36e8567e Browse Files
- Sweeping up to a given level. · 4c78f37a
  Alan Mishchenko committed Nov 14, 2020
  
  4c78f37a Browse Files
- Improvements to the SAT solver. · 581f2e59
  Alan Mishchenko committed Nov 14, 2020
  
  581f2e59 Browse Files
- Improvements to the SAT sweeper (bug fix). · f95476b4
  Alan Mishchenko committed Nov 14, 2020
  
  f95476b4 Browse Files
- Improvements to the SAT sweeper. · fef0c368
  Alan Mishchenko committed Nov 14, 2020
  
  fef0c368 Browse Files
14 Nov, 2020 2 commits
- Upgrading the SAT solvers. · bab4c1dd
  Alan Mishchenko committed Nov 14, 2020
  
  bab4c1dd Browse Files
- Improvements to the SAT sweeper. · cc840d8b
  Alan Mishchenko committed Nov 13, 2020
  
  cc840d8b Browse Files
13 Nov, 2020 6 commits
- Adding and integrating new SAT solver APIs. · 22388f90
  Alan Mishchenko committed Nov 13, 2020
  
  22388f90 Browse Files
- Duplicating Glucose package. · 38d72c43
  Alan Mishchenko committed Nov 13, 2020
  
  38d72c43 Browse Files
- Duplicating Glucose package. · 2f65566d
  Alan Mishchenko committed Nov 13, 2020
  
  2f65566d Browse Files
- Duplicating Glucose package. · 5415fe52
  Alan Mishchenko committed Nov 13, 2020
  
  5415fe52 Browse Files
- Duplicating Glucose package. · fd41920a
  Alan Mishchenko committed Nov 13, 2020
  
  fd41920a Browse Files
- Duplicating Glucose package. · b3d3f7dd
  Alan Mishchenko committed Nov 12, 2020
  
  b3d3f7dd Browse Files
12 Nov, 2020 2 commits
- Adding Glucose API to return a CEX. · 890aa684
  Alan Mishchenko committed Nov 12, 2020
  
  890aa684 Browse Files
- Experiments with SAT sweeping. · 83519c32
  Alan Mishchenko committed Nov 11, 2020
  
  83519c32 Browse Files
11 Nov, 2020 1 commit
- Experiments with SAT sweeping. · c0bb4bb0
  Alan Mishchenko committed Nov 10, 2020
  
  c0bb4bb0 Browse Files
09 Nov, 2020 2 commits
- Setting default conflict limit in &fraig to be high. · 3da87edb
  Alan Mishchenko committed Nov 09, 2020
  
  3da87edb Browse Files
- Experiments with SAT sweeping. · 40bfe2fb
  Alan Mishchenko committed Nov 09, 2020
  
  40bfe2fb Browse Files
07 Nov, 2020 1 commit
- Removing local file 'stdint.h' which was included by mistake, not even a header file. · 0b89fd38
  Alan Mishchenko committed Nov 06, 2020
  
  0b89fd38 Browse Files
04 Nov, 2020 1 commit
- Improving resub window computation by always including the TFI of the pivot node. · 6e6cc08b
  Alan Mishchenko committed Nov 03, 2020
  
  6e6cc08b Browse Files
01 Nov, 2020 2 commits
- Trying to explicitly compute don't-cares during optimization. · ce95366e
  Alan Mishchenko committed Nov 01, 2020
  
  ce95366e Browse Files
- Experimental cost function in technology mapping. · 3a7b3d27
  Alan Mishchenko committed Nov 01, 2020
  
  3a7b3d27 Browse Files
31 Oct, 2020 2 commits
- Adding an option to write Verilog with LUT instances (compiler warnings). · 2325cd77
  Alan Mishchenko committed Oct 31, 2020
  
  2325cd77 Browse Files
- Adding an option to write Verilog with LUT instances. · f9af41ba
  Alan Mishchenko committed Oct 31, 2020
  
  f9af41ba Browse Files
30 Oct, 2020 1 commit
- Rare bug fix in mapping with choices. · 73f8b598
  Alan Mishchenko committed Oct 29, 2020
  
  73f8b598 Browse Files
10 Oct, 2020 1 commit
- Fixing a clang error related to 'unlink'. · b2aa245e
  Alan Mishchenko committed Oct 09, 2020
  
  b2aa245e Browse Files
02 Oct, 2020 1 commit
- New command 'read_sf'. · ada07311
  Alan Mishchenko committed Oct 01, 2020
  
  ada07311 Browse Files
30 Sep, 2020 1 commit
- Bug fix in window output computation. · f1eb9339
  Alan Mishchenko committed Sep 30, 2020
  
  f1eb9339 Browse Files
29 Sep, 2020 1 commit
- Memory leaks. · 947eeb95
  Alan Mishchenko committed Sep 28, 2020
  
  947eeb95 Browse Files
26 Sep, 2020 1 commit
- Memory leaks. · 41c937e4
  Alan Mishchenko committed Sep 25, 2020
  
  41c937e4 Browse Files
25 Sep, 2020 1 commit
- Changing SAT sweepers (ifraig and &fraig) to be stronger by default. · f21bafeb
  Alan Mishchenko committed Sep 24, 2020
  
  f21bafeb Browse Files
21 Sep, 2020 1 commit
- Improvement to reconv-driven windowing. · 55a67a11
  Alan Mishchenko committed Sep 21, 2020
  
  55a67a11 Browse Files