Commits · 0bd265072d59622d731598c3691edf986d0339b2 · lvzhengyang / abc · GitLab

25 Jul, 2019 2 commits
- Adding license file for Glucose 3.0 · 0bd26507
  Alan Mishchenko committed Jul 25, 2019
  
  0bd26507 Browse Files
- Fixing some update gcc. · a318e7ea
  Alan Mishchenko committed Jul 25, 2019
  
  a318e7ea Browse Files
24 Jul, 2019 1 commit
- Fixing some update gcc. · ee1bd8f0
  Alan Mishchenko committed Jul 24, 2019
  
  ee1bd8f0 Browse Files
18 Jul, 2019 2 commits
- Adding handling of objects without fanout in %retime. · 0ca7e355
  Alan Mishchenko committed Jul 18, 2019
  
  0ca7e355 Browse Files
- Representing formula used in &fftest as a BLIF file. · 2de35735
  Alan Mishchenko committed Jul 18, 2019
  
  2de35735 Browse Files
16 Jul, 2019 1 commit
- Adding switch '-F <filename>' to &fftest. · 6b9ed7a0
  Alan Mishchenko committed Jul 16, 2019
  
  6b9ed7a0 Browse Files
02 Jul, 2019 2 commits
- Printing formula used in &fftest. · 544d50c5
  Alan Mishchenko committed Jul 03, 2019
  
  544d50c5 Browse Files
- Adding command &permute. · fdf0fb27
  Alan Mishchenko committed Jul 02, 2019
  
  fdf0fb27 Browse Files
30 Jun, 2019 1 commit
- Cleanup of SAT sweeping code. · 9f6e1feb
  Alan Mishchenko committed Jun 30, 2019
  
  9f6e1feb Browse Files
28 Jun, 2019 1 commit
- Assering valid fanins during MiniLUT construction. · 9acc242e
  Alan Mishchenko committed Jun 28, 2019
  
  9acc242e Browse Files
26 Jun, 2019 1 commit
- Making 'dsec' return correct return value (undoing this change, made by mistake). · 0e787224
  Alan Mishchenko committed Jun 26, 2019
  
  0e787224 Browse Files
24 Jun, 2019 1 commit
- Making 'dsec' return correct return value. · 05322e04
  Alan Mishchenko committed Jun 24, 2019
  
  05322e04 Browse Files
21 Jun, 2019 1 commit
- Making 'dsec' return verification status. · 26ac9ef9
  Alan Mishchenko committed Jun 21, 2019
  
  26ac9ef9 Browse Files
20 Jun, 2019 2 commits
- Adding synonym of 'read_dsd'. · 7e8fc63d
  Alan Mishchenko committed Jun 20, 2019
  
  7e8fc63d Browse Files
- Adding verbosity flag to command 'symfun'. · 1dcf6c87
  Alan Mishchenko committed Jun 20, 2019
  
  1dcf6c87 Browse Files
08 Jun, 2019 1 commit
- Improving command 'symfun' to generate symmetric functions and their NPN classes. · 35280f30
  Alan Mishchenko committed Jun 08, 2019
  
  35280f30 Browse Files
31 May, 2019 1 commit
- Updating command 'symfun' to generate symmetric functions and their NPN classes. · 38e2f416
  Alan Mishchenko committed May 30, 2019
  
  38e2f416 Browse Files
29 May, 2019 1 commit
- Adding support for user-specified wire delays in &if. · 62487de9
  Alan Mishchenko committed May 29, 2019
  
  62487de9 Browse Files
26 May, 2019 2 commits
- Adding command 'symfun' to generate truth table of a symmetric function. · 712f46ca
  Alan Mishchenko committed May 25, 2019
  
  712f46ca Browse Files
- Adding command &print_truth to print truth tables for primary outputs. · 890ff42c
  Alan Mishchenko committed May 25, 2019
  
  890ff42c Browse Files
24 May, 2019 1 commit
- Corner case bug fix in reducing equivalences. · 91b54281
  Alan Mishchenko committed May 24, 2019
  
  91b54281 Browse Files
23 May, 2019 1 commit
- Experiments with counting care bits. · afdaebe1
  Alan Mishchenko committed May 23, 2019
  
  afdaebe1 Browse Files
22 May, 2019 1 commit
- Changes to the interface of &cfs. · 78af793b
  Alan Mishchenko committed May 21, 2019
  
  78af793b Browse Files
15 May, 2019 1 commit
- Changes to the interface of &cfs. · caa120c8
  Alan Mishchenko committed May 15, 2019
  
  caa120c8 Browse Files
11 May, 2019 2 commits
- Merge branch 'master' of https://github.com/berkeley-abc/abc · a103358a
  Alan Mishchenko committed May 11, 2019
  
  a103358a Browse Files
- Fixing recent change to 'print_stats'. · e354dc40
  Alan Mishchenko committed May 11, 2019
  
  e354dc40 Browse Files
10 May, 2019 1 commit
- Merge pull request #37 from jamesjer/master · 04e0ef1b
```
Fix a memset that doesn't zero enough bytes.
```
  alanminko committed May 10, 2019
  04e0ef1b Browse Files
09 May, 2019 1 commit
- Fix a memset that doesn't zero enough bytes. · e195bf2f
  Jerry James committed May 08, 2019
  
  e195bf2f Browse Files
06 May, 2019 1 commit
- Modifying 'write_truth' to dump truth table in hex. · 7ccb25bf
  Alan Mishchenko committed May 07, 2019
  
  7ccb25bf Browse Files
01 May, 2019 1 commit
- Experiment with frontier cut computation. · eb2764b5
  Alan Mishchenko committed May 01, 2019
  
  eb2764b5 Browse Files
22 Apr, 2019 3 commits
- Adding the possibility to specify file name in 'pdr'. · d07608c0
  Alan Mishchenko committed Apr 22, 2019
  
  d07608c0 Browse Files
- Adding switch &st -s for MUX restructring. · fa871615
  Alan Mishchenko committed Apr 21, 2019
  
  fa871615 Browse Files
- Adding switch &st -s for MUX restructring. · 14a1ea84
  Alan Mishchenko committed Apr 21, 2019
  
  14a1ea84 Browse Files
19 Apr, 2019 3 commits
- Improvements to the retiming algorithm. · cd0102f6
  Alan Mishchenko committed Apr 18, 2019
  
  cd0102f6 Browse Files
- Improvements to the retiming algorithm. · 6fdfefaa
  Alan Mishchenko committed Apr 18, 2019
  
  6fdfefaa Browse Files
- Improvements to the retiming algorithm. · f070d350
  Alan Mishchenko committed Apr 18, 2019
  
  f070d350 Browse Files
18 Apr, 2019 4 commits
- Enabling dumping of the library of minimum circuits (compiler warnings). · a3620fe6
  Alan Mishchenko committed Apr 18, 2019
  
  a3620fe6 Browse Files
- Enabling dumping of the library of minimum circuits (file support). · dbaa6a58
  Alan Mishchenko committed Apr 18, 2019
  
  dbaa6a58 Browse Files
- Adding switch &dch -e to reduce equivalences. · 3709744c
  Alan Mishchenko committed Apr 17, 2019
  
  3709744c Browse Files
- Enabling dumping of the library of minimum circuits. · be3a8c39
  Alan Mishchenko committed Apr 17, 2019
  
  be3a8c39 Browse Files