Commits · 07002bc9f9a23978a2b475f1d2b7fccb89e3d24a · lvzhengyang / abc · GitLab

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 3 commits
- Renaming options of command &sat. · 95a6aa28
  Alan Mishchenko committed Dec 05, 2019
  
  95a6aa28 Browse Files
- Changes to several APIs. · 1e602492
  Alan Mishchenko committed Dec 05, 2019
  
  1e602492 Browse Files
- Small changes. · bb33b597
  Alan Mishchenko committed Dec 04, 2019
  
  bb33b597 Browse Files
04 Dec, 2019 1 commit
- Assert in &verify only holds when boxes are not removed. · 451f2b0c
  Alan Mishchenko committed Dec 04, 2019
  
  451f2b0c Browse Files
03 Dec, 2019 2 commits
- Accidentally losing flop info while rehashing AIG. · d5276971
  Alan Mishchenko committed Dec 03, 2019
  
  d5276971 Browse Files
- Updates to JSON parser. · d1462693
  Alan Mishchenko committed Dec 02, 2019
  
  d1462693 Browse Files
02 Dec, 2019 1 commit
- Updates to JSON parser. · 235176d8
  Alan Mishchenko committed Dec 02, 2019
  
  235176d8 Browse Files
25 Nov, 2019 1 commit
- Adding logfile dump to print_status. · 787e3e1d
  Alan Mishchenko committed Nov 25, 2019
  
  787e3e1d Browse Files
20 Nov, 2019 2 commits
- Data reading procedure. · 4deaaa85
  Alan Mishchenko committed Nov 20, 2019
  
  4deaaa85 Browse Files
- Bug fix in printing truth table in Verilog. · 30e2b727
  Alan Mishchenko committed Nov 20, 2019
  
  30e2b727 Browse Files
19 Nov, 2019 5 commits
- Dumping multiple counter-examples. · 3699f8be
  Alan Mishchenko committed Nov 19, 2019
  
  3699f8be Browse Files
- Dumping multiple counter-examples. · 4242cec3
  Alan Mishchenko committed Nov 19, 2019
  
  4242cec3 Browse Files
- Corner case bug fix in print_stats (warning). · 10dd41be
  Alan Mishchenko committed Nov 19, 2019
  
  10dd41be Browse Files
- Dumping multiple counter-examples. · 2eebfc2e
  Alan Mishchenko committed Nov 19, 2019
  
  2eebfc2e Browse Files
- Corner case bug fix in print_stats. · f2702aee
  Alan Mishchenko committed Nov 19, 2019
  
  f2702aee Browse Files