Commits · 3945d382fed06e624b001184d98f656fd626c1e9 · lvzhengyang / abc · GitLab

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
29 Jan, 2012 1 commit
- Variable timeframe abstraction. · 5e91f132
  Alan Mishchenko committed 13 years ago
  
  5e91f132 Browse File
21 Jan, 2012 3 commits
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse File
- Variable timeframe abstraction. · 7d454512
  Alan Mishchenko committed 13 years ago
  
  7d454512 Browse File
- Variable timeframe abstraction. · 719b06f9
  Alan Mishchenko committed 13 years ago
  
  719b06f9 Browse File
16 Jan, 2012 2 commits
- New hierarchy manager plus additional printout in the GIA package. · 0695ec54
  Alan Mishchenko committed 13 years ago
  
  0695ec54 Browse File
- Variable timeframe abstraction. · 10478a9c
  Alan Mishchenko committed 13 years ago
  
  10478a9c Browse File
15 Jan, 2012 1 commit
- New hierarchy manager. · c7e215ca
  Alan Mishchenko committed 13 years ago
  
  c7e215ca Browse File
14 Jan, 2012 1 commit
- Added counting hits and misses during structural hashing. · 4bd7efa6
  Alan Mishchenko committed 13 years ago
  
  4bd7efa6 Browse File
15 Oct, 2011 1 commit
- New abstraction code. · 6f0b87dd
  Alan Mishchenko committed 13 years ago
  
  6f0b87dd Browse File