Commits · 60c661488507d3ff5866e795979bdef64b10f58f · lvzhengyang / abc · GitLab

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
14 Sep, 2012 1 commit
- Prepared &gla to try abstracting and proving concurrently. · 19c28cae
  Alan Mishchenko committed 12 years ago
  
  19c28cae Browse File
11 Sep, 2012 1 commit
- Added code to collect experimental results. · d257fce8
  Alan Mishchenko committed 12 years ago
  
  d257fce8 Browse File
09 Sep, 2012 1 commit
- Added switch '-p' to '&gla -n' to use full proof for UNSAT core computation (for experiments). · 56117d56
  Alan Mishchenko committed 12 years ago
  
  56117d56 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
26 Aug, 2012 1 commit
- Added switch '&gla -m' to dump original miter with the abstraction map. · 137f0347
  Alan Mishchenko committed 12 years ago
  
  137f0347 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
04 Aug, 2012 1 commit
- Scalable gate-level abstraction. · 30ae05f0
  Alan Mishchenko committed 12 years ago
  
  30ae05f0 Browse File
03 Aug, 2012 1 commit
- Scalable gate-level abstraction. · e9af6c3c
  Alan Mishchenko committed 12 years ago
  
  e9af6c3c Browse File
02 Aug, 2012 2 commits
- Scalable gate-level abstraction. · cb66aa42
  Alan Mishchenko committed 12 years ago
  
  cb66aa42 Browse File
- Scalable gate-level abstraction. · 35206012
  Alan Mishchenko committed 12 years ago
  
  35206012 Browse File
31 Jul, 2012 1 commit
- Scalable gate-level abstraction. · 7517c785
  Alan Mishchenko committed 12 years ago
  
  7517c785 Browse File
29 Jul, 2012 1 commit
- Scalable gate-level abstraction. · 5838789e
  Alan Mishchenko committed 12 years ago
  
  5838789e Browse File
25 Jul, 2012 1 commit
- Allow for skipping structural hashing when reading GIA from file. · 7dc8c81f
  Alan Mishchenko committed 12 years ago
  
  7dc8c81f 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
13 Jul, 2012 1 commit
- Several small changes and fixes. · d3ad7fba
  Alan Mishchenko committed 12 years ago
  
  d3ad7fba Browse File
11 Jul, 2012 1 commit
- Improvements in the proof-logging SAT solver. · b9ee5d85
  Alan Mishchenko committed 12 years ago
  
  b9ee5d85 Browse File
09 Jul, 2012 1 commit
- Added command &gla_purify. · 685faae8
  Alan Mishchenko committed 12 years ago
  
  685faae8 Browse File
08 Jul, 2012 3 commits
- Updating truth table computation for GIA to work for internal nodes as well. · 21b847a8
  Alan Mishchenko committed 12 years ago
  
  21b847a8 Browse File
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse File
- Fixing time primtouts throughout the code. · 3aab7245
  Alan Mishchenko committed 12 years ago
  
  3aab7245 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
- Commands &fla_gla/&gla_fla to convert between flop-level and gate-level abstraction. · 5008b1a4
  Alan Mishchenko committed 12 years ago
  
  5008b1a4 Browse File
05 Jul, 2012 2 commits
- Other improvements to &vta and &gla. · 3c43fbba
  Alan Mishchenko committed 12 years ago
  
  3c43fbba Browse File
- Other improvements to &vta and &gla. · ce6e6551
  Alan Mishchenko committed 12 years ago
  
  ce6e6551 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
02 Jul, 2012 1 commit
- Other improvements to &vta and &gla. · 9cb52998
  Alan Mishchenko committed 12 years ago
  
  9cb52998 Browse File
01 Jul, 2012 1 commit
- Reducing memory usage in bmc2 and bmc3. · d3c018cd
  Alan Mishchenko committed 12 years ago
  
  d3c018cd Browse File
28 Jun, 2012 1 commit
- Gate level abstraction (command &gla). · 520c436d
  Alan Mishchenko committed 12 years ago
  
  520c436d Browse File
25 Jun, 2012 1 commit
- Added min-cut-based refinement of gate-level abstraction (command &gla_refine). · 7629fd6a
  Alan Mishchenko committed 12 years ago
  
  7629fd6a Browse File
22 Jun, 2012 1 commit
- Switch -A <file_name> to specify file name for dumping abstrated model with &vta -d. · 3c0a9e08
  Alan Mishchenko committed 12 years ago
  
  3c0a9e08 Browse File
19 May, 2012 1 commit
- Misc changes. · 6ecc71f8
  Alan Mishchenko committed 12 years ago
  
  6ecc71f8 Browse File
02 May, 2012 2 commits
- Preventing &iso from removing fanoutless PIs. · 32b07625
  Alan Mishchenko committed 12 years ago
  
  32b07625 Browse File
- Misc changes. · e6b16e27
  Alan Mishchenko committed 12 years ago
  
  e6b16e27 Browse File
01 May, 2012 1 commit
- Bug fixes in previous bug fixes related to &trim. · a9807a75
  Alan Mishchenko committed 12 years ago
  
  a9807a75 Browse File
27 Apr, 2012 2 commits
- Added supporting dual-output seq miters in &trim. · 78855cc9
  Alan Mishchenko committed 12 years ago
  
  78855cc9 Browse File
- Added supporting dual-output seq miters in &iso. · 2bf7454b
  Alan Mishchenko committed 12 years ago
  
  2bf7454b Browse File
23 Apr, 2012 1 commit
- Misc changes. · 74d0ffee
  Alan Mishchenko committed 12 years ago
  
  74d0ffee Browse File