Commits · a693af9f62a4cb9f4e6c7238fb6d52edce2c6b70 · lvzhengyang / abc · GitLab

24 Feb, 2020 2 commits
- travis-ci: macOS changes: · a693af9f
```
(1) updated to a newer macOS image
(2) switch to use the Homebrew addon instead of command line
```
  Baruch Sterin committed Feb 24, 2020
  a693af9f Browse Files
- Adding commands to generate data for experiments. · f4339310
  Alan Mishchenko committed Feb 23, 2020
  
  f4339310 Browse Files
22 Feb, 2020 2 commits
- Adding commands to generate data for experiments. · c8894603
  Alan Mishchenko committed Feb 22, 2020
  
  c8894603 Browse Files
- Adding commands to generate data for experiments. · d1f10f32
  Alan Mishchenko committed Feb 22, 2020
  
  d1f10f32 Browse Files
21 Feb, 2020 1 commit
- Adding commands to generate data for experiments. · 3c586f88
  Alan Mishchenko committed Feb 21, 2020
  
  3c586f88 Browse Files
20 Feb, 2020 1 commit
- Assertion failure in reading NDR. · b1802e4f
  Alan Mishchenko committed Feb 20, 2020
  
  b1802e4f Browse Files
19 Feb, 2020 1 commit
- Adding min-level merging of equivalence classes of AIG nodes. · c086edaa
  Alan Mishchenko committed Feb 19, 2020
  
  c086edaa Browse Files
06 Feb, 2020 2 commits
- Experimental simulation based code. · 081afc3f
  Alan Mishchenko committed Feb 06, 2020
  
  081afc3f Browse Files
- Temporary commenting out of the assertion. · 53f22380
  Alan Mishchenko committed Feb 06, 2020
  
  53f22380 Browse Files
27 Jan, 2020 2 commits
- Cleaning up code and fixing for several typos. · 951afa27
  Alan Mishchenko committed Jan 27, 2020
  
  951afa27 Browse Files
- Adding several new utilities. · 8c8f39ad
  Alan Mishchenko committed Jan 27, 2020
  
  8c8f39ad Browse Files
24 Jan, 2020 2 commits
- Adding a warning in retiming when no node delays are given. · 8eb6aed5
  Alan Mishchenko committed Jan 23, 2020
  
  8eb6aed5 Browse Files
- Adding a warning in retiming when no node delays are given. · 62c4c8b2
  Alan Mishchenko committed Jan 23, 2020
  
  62c4c8b2 Browse Files
22 Jan, 2020 1 commit
- Experiments with resubstitution. · afebb180
  Alan Mishchenko committed Jan 21, 2020
  
  afebb180 Browse Files
21 Jan, 2020 1 commit
- Experiments with simulation patterns. · 07002bc9
  Alan Mishchenko committed Jan 20, 2020
  
  07002bc9 Browse Files
20 Jan, 2020 2 commits
- Experiments with MUX restructuring. · 0e05d148
  Alan Mishchenko committed Jan 20, 2020
  
  0e05d148 Browse Files
- Experiments with MUX restructuring. · 632c7a7d
  Alan Mishchenko committed Jan 19, 2020
  
  632c7a7d Browse Files
19 Jan, 2020 2 commits
- Adding new command to generate specialized miter. · f1a3cffe
  Alan Mishchenko committed Jan 19, 2020
  
  f1a3cffe Browse Files
- Adding CNF variable mapping rules. · 19b8d9bf
  Alan Mishchenko committed Jan 18, 2020
  
  19b8d9bf Browse Files
17 Jan, 2020 2 commits
- Adding AIG stats logging (using JSON format). · 4853ae9c
  Alan Mishchenko committed Jan 16, 2020
  
  4853ae9c Browse Files
- Adding AIG stats logging. · a7c9f6d1
  Alan Mishchenko committed Jan 16, 2020
  
  a7c9f6d1 Browse Files
14 Jan, 2020 1 commit
- Adding switch -g to use global rather than local BDDs in 'muxes'. · c32a2ece
  Alan Mishchenko committed Jan 14, 2020
  
  c32a2ece Browse Files
11 Jan, 2020 3 commits
- Preventing 'mfs' from using fanins of fixed objects as divisors. · 71f2b403
  Alan Mishchenko committed Jan 11, 2020
  
  71f2b403 Browse Files
- Suggested fix to not collect leaves of black boxes. · 9e0fa47c
  Alan Mishchenko committed Jan 11, 2020
  
  9e0fa47c Browse Files
- Adding dynamic memory alloc for the buffer in Liberty file reader. · dccd3992
  Alan Mishchenko committed Jan 11, 2020
  
  dccd3992 Browse Files
10 Jan, 2020 1 commit
- Improving performance of 'lutpack'. · 1bb50384
  Alan Mishchenko committed Jan 10, 2020
  
  1bb50384 Browse Files
07 Jan, 2020 1 commit
- Preserving additional AIG manager when dandling nodes are present. · 144c5be8
  Alan Mishchenko committed Jan 08, 2020
  
  144c5be8 Browse Files
06 Jan, 2020 1 commit
- Allowing nodes and boxes to have more than 6 inputs in mfs2 and &mfs. · 1485e63a
  Alan Mishchenko committed Jan 07, 2020
  
  1485e63a Browse Files
04 Jan, 2020 1 commit
- Adding commands 'save' and 'load' for mapped networks. · e1997b03
  Alan Mishchenko committed Jan 03, 2020
  
  e1997b03 Browse Files
02 Jan, 2020 1 commit
- Making sure arrival time of constant node is -infinity. · f6dc4a58
  Alan Mishchenko committed Jan 02, 2020
  
  f6dc4a58 Browse Files
18 Dec, 2019 1 commit
- Forgot to update module make when adding giaDeep.c · c4b12fae
  Alan Mishchenko committed Dec 18, 2019
  
  c4b12fae Browse Files
17 Dec, 2019 1 commit
- Bug fix in collapsing with boxes. · 02393a2a
  Alan Mishchenko committed Dec 17, 2019
  
  02393a2a Browse Files
15 Dec, 2019 3 commits
- Adding experimental command. · 7a9311ee
  Alan Mishchenko committed Dec 14, 2019
  
  7a9311ee Browse Files
- Adding experimental command. · 53d4d651
  Alan Mishchenko committed Dec 14, 2019
  
  53d4d651 Browse Files
- Commenting out assertion. · e73fca37
  Alan Mishchenko committed Dec 14, 2019
  
  e73fca37 Browse Files
12 Dec, 2019 3 commits
- Bug fix in recently modified code. · 8b6207e1
  Alan Mishchenko committed Dec 11, 2019
  
  8b6207e1 Browse Files
- Making &gla iterate over property outputs. · 6fb8b17c
  Alan Mishchenko committed Dec 11, 2019
  
  6fb8b17c Browse Files
- Bug fix in recently modified code. · 4f4b207f
  Alan Mishchenko committed Dec 11, 2019
  
  4f4b207f Browse Files
06 Dec, 2019 1 commit
- Special case in Verilog parser. · 24d9ce6b
  Alan Mishchenko committed Dec 06, 2019
  
  24d9ce6b Browse Files
05 Dec, 2019 1 commit
- Renaming options of command &sat. · 95a6aa28
  Alan Mishchenko committed Dec 05, 2019
  
  95a6aa28 Browse Files