Commits · 8a341c200f15988ee37f283924342553029deea6 · lvzhengyang / abc · GitLab

04 Jun, 2014 1 commit
- Adding CEC command &splitprove. · 83d3cc88
  Alan Mishchenko committed 10 years ago
  
  83d3cc88 Browse File
20 Apr, 2014 2 commits
- Adding color to sizing stats. · 76f2adb5
  Alan Mishchenko committed 10 years ago
  
  76f2adb5 Browse File
- Adding color to mapping stats. · eb960a91
  Alan Mishchenko committed 10 years ago
  
  eb960a91 Browse File
19 Apr, 2014 1 commit
- Adding print-out of average level. · f8a990de
  Alan Mishchenko committed 10 years ago
  
  f8a990de Browse File
21 Mar, 2014 1 commit
- Experiments with recent ideas. · c86a13f0
  Alan Mishchenko committed 10 years ago
  
  c86a13f0 Browse File
20 Mar, 2014 2 commits
- Experiments with recent ideas. · 86d3c72b
  Alan Mishchenko committed 10 years ago
  
  86d3c72b Browse File
- Experiments with recent ideas. · e34d41b3
  Alan Mishchenko committed 10 years ago
  
  e34d41b3 Browse File
10 Mar, 2014 1 commit
- Passing file name for stats print-out in &ps. · b5bde05a
  Alan Mishchenko committed 10 years ago
  
  b5bde05a Browse File
26 Dec, 2013 1 commit
- Improving switching activity computation. · 15a356fa
  Alan Mishchenko committed 11 years ago
  
  15a356fa Browse File
28 Oct, 2013 1 commit
- New BMC engine. · d65d8528
  Alan Mishchenko committed 11 years ago
  
  d65d8528 Browse File
23 Oct, 2013 1 commit
- Multi-output property solver. · 47afd0f4
  Alan Mishchenko committed 11 years ago
  
  47afd0f4 Browse File
06 Oct, 2013 1 commit
- Towards better Boolean matching. · a4a1053d
  Alan Mishchenko committed 11 years ago
  
  a4a1053d Browse File
30 Sep, 2013 1 commit
- New logic sharing extraction. · 62439be8
  Alan Mishchenko committed 11 years ago
  
  62439be8 Browse File
29 Sep, 2013 1 commit
- New logic sharing extraction. · 61ee156b
  Alan Mishchenko committed 11 years ago
  
  61ee156b Browse File
27 Sep, 2013 1 commit
- Changed printf to Abc_Print in giaMan.c · c8a022f7
  Niklas Een committed 11 years ago
  
  c8a022f7 Browse File
08 Sep, 2013 1 commit
- Improvements to the &ps. · 00bc4398
  Alan Mishchenko committed 11 years ago
  
  00bc4398 Browse File
07 Sep, 2013 1 commit
- Improvements to the new technology mapper. · 137a7662
  Alan Mishchenko committed 11 years ago
  
  137a7662 Browse File
06 Sep, 2013 1 commit
- Unifying parameters for the &ps command. · 23879f92
  Alan Mishchenko committed 11 years ago
  
  23879f92 Browse File
05 Sep, 2013 1 commit
- Updates for the new BMC engine. · e9d04664
  Alan Mishchenko committed 11 years ago
  
  e9d04664 Browse File
26 Jun, 2013 1 commit
- Unifying representation of mapping in GIA. · a66dc0af
  Alan Mishchenko committed 11 years ago
  
  a66dc0af Browse File
22 May, 2013 1 commit
- Counter-example depth minimization. · 28e065b0
  Alan Mishchenko committed 11 years ago
  
  28e065b0 Browse File
18 May, 2013 1 commit
- Adding support of XOR/MUX in GIA. · 2afef15a
  Alan Mishchenko committed 11 years ago
  
  2afef15a Browse File
17 May, 2013 1 commit
- Undoing commit from Nov 12, 2012: Extending GIA to represent pintypes and pins. · e04ded56
  Alan Mishchenko committed 11 years ago
  
  e04ded56 Browse File
05 May, 2013 1 commit
- C++ compiler errors. · 79f782c0
  Alan Mishchenko committed 11 years ago
  
  79f782c0 Browse File
25 Apr, 2013 1 commit
- SAT sweeping under constraints. · 486eacc5
  Alan Mishchenko committed 11 years ago
  
  486eacc5 Browse File
24 Feb, 2013 1 commit
- Integrating sweeping information. · 7802db98
  Alan Mishchenko committed 12 years ago
  
  7802db98 Browse File
19 Feb, 2013 1 commit
- Integrating sweeping information. · cda61cb2
  Alan Mishchenko committed 12 years ago
  
  cda61cb2 Browse File
18 Feb, 2013 1 commit
- Integrating packing information. · d415a1ad
  Alan Mishchenko committed 12 years ago
  
  d415a1ad Browse File
10 Dec, 2012 1 commit
- Unifification of custom extensions. · 2575a5d6
  Alan Mishchenko committed 12 years ago
  
  2575a5d6 Browse File
12 Nov, 2012 2 commits
- Made print-out of frontier cut an option ('-c') in '&ps'. · 30b8c3d4
  Alan Mishchenko committed 12 years ago
  
  30b8c3d4 Browse File
- Extending GIA to represent pintypes and pins. · 566c7d71
  Alan Mishchenko committed 12 years ago
  
  566c7d71 Browse File
25 Oct, 2012 1 commit
- Integrating GIA with LUT mapping. · 6b96d9a8
  Alan Mishchenko committed 12 years ago
  
  6b96d9a8 Browse File
24 Oct, 2012 2 commits
- Creating dedicated choice representation for GIA. · 5cd1396b
  Alan Mishchenko committed 12 years ago
  
  5cd1396b Browse File
- Adding frontier comptuation based on reversed CO order in &ps. · bc21cb41
  Alan Mishchenko committed 12 years ago
  
  bc21cb41 Browse File
03 Oct, 2012 1 commit
- Renamed reference counting APIs in GIA package. · aa705a9a
  Alan Mishchenko committed 12 years ago
  
  aa705a9a Browse File
02 Oct, 2012 1 commit
- Structural reparametrization. · 60ad1765
  Alan Mishchenko committed 12 years ago
  
  60ad1765 Browse File
16 Sep, 2012 1 commit
- Created new abstraction package from the code that was all over the place. · 69bbfa98
  Alan Mishchenko committed 12 years ago
  
  69bbfa98 Browse File
04 Sep, 2012 1 commit
- Enabled recording the name of the file GIA is coming from. · 05f51cbb
  Alan Mishchenko committed 12 years ago
  
  05f51cbb Browse File
08 Aug, 2012 1 commit
- Added generation of values of internal nodes for GIA manager. · a8e59b2c
  Alan Mishchenko committed 12 years ago
  
  a8e59b2c Browse File
29 Jul, 2012 1 commit
- Scalable gate-level abstraction. · 5838789e
  Alan Mishchenko committed 12 years ago
  
  5838789e Browse File