Commits · d32e51409ffb7b06589b12b04520ca57bf4eda86 · lvzhengyang / abc · GitLab

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
27 Jul, 2012 1 commit
- Minor updates to the BMC engines. · 7e486af8
  Alan Mishchenko committed 12 years ago
  
  7e486af8 Browse File
21 Jul, 2012 1 commit
- Updated code for lazy man's synthesis (memory optimization). · 6df122bd
  Alan Mishchenko committed 12 years ago
  
  6df122bd Browse File
20 Jul, 2012 1 commit
- Updated code for lazy man's synthesis. · 6c9b59bf
  Alan Mishchenko committed 12 years ago
  
  6c9b59bf Browse File
19 Jul, 2012 1 commit
- Making GIA use independent truth table number storage when computing truth tables. · a8f4d4e6
  Alan Mishchenko committed 12 years ago
  
  a8f4d4e6 Browse File
10 Jul, 2012 1 commit
- Replacing Mb/Gb to be MB/GB. · 908d5e69
  Alan Mishchenko committed 12 years ago
  
  908d5e69 Browse File
08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse File
07 Jul, 2012 2 commits
- Procedure to compute truth tables for POs of GIA. · 5fb7c676
  Alan Mishchenko committed 12 years ago
  
  5fb7c676 Browse File
- Making 'pdr', &gla, &vta print correctly in batch mode. · 8b881d23
  Alan Mishchenko committed 12 years ago
  
  8b881d23 Browse File
05 Jul, 2012 1 commit
- Other improvements to &vta and &gla. · 3c43fbba
  Alan Mishchenko committed 12 years ago
  
  3c43fbba Browse File
04 Jul, 2012 1 commit
- Added static fanout to GIA package. · c9210580
  Alan Mishchenko committed 12 years ago
  
  c9210580 Browse File
03 Jul, 2012 1 commit
- Performance improvement in &gla_refine. · 32217230
  Alan Mishchenko committed 12 years ago
  
  32217230 Browse File
28 Jun, 2012 1 commit
- New computation of tents for GIA package. · 27c3ff1f
  Alan Mishchenko committed 12 years ago
  
  27c3ff1f Browse File
19 Feb, 2012 1 commit
- Added printout of BMC tents in &ps. · ea13085f
  Alan Mishchenko committed 13 years ago
  
  ea13085f Browse File
17 Feb, 2012 1 commit
- Silencing some of the gcc warnings. · 97856d02
  Alan Mishchenko committed 13 years ago
  
  97856d02 Browse File
12 Feb, 2012 1 commit
- Variable timeframe abstraction. · d81aa6d6
  Alan Mishchenko committed 13 years ago
  
  d81aa6d6 Browse File