Commits · 1c099166a16ad6f1621d34d7ffbe6e799f60459e · lvzhengyang / abc · GitLab

25 Sep, 2012 4 commits
- Improvements to the NPN semi-canonical form computation package. · 8c369788
  Alan Mishchenko committed 12 years ago
  
  8c369788 Browse Directory
- Improvements to the NPN semi-canonical form computation package. · 0a9236ad
  Alan Mishchenko committed 12 years ago
  
  0a9236ad Browse Directory
- Cleaned up interfaces of genlib/liberty/supergate reading/writing. · aed3b3a1
  Alan Mishchenko committed 12 years ago
  
  aed3b3a1 Browse Directory
- Changed printouts in a few places in supergate computation. · d0197d83
  Alan Mishchenko committed 12 years ago
  
  d0197d83 Browse Directory
24 Sep, 2012 2 commits
- Testing GIA with time manager. · 6f038135
  Alan Mishchenko committed 12 years ago
  
  6f038135 Browse Directory
- Testing GIA with time manager. · 40d9b585
  Alan Mishchenko committed 12 years ago
  
  40d9b585 Browse Directory
23 Sep, 2012 4 commits
- Modified structural constraint extraction (unfold -s) to work for multi-output testcases. · f7caf84f
  Alan Mishchenko committed 12 years ago
  
  f7caf84f Browse Directory
- Migrating to array-based traversal ID. · c8ed8167
  Alan Mishchenko committed 12 years ago
  
  c8ed8167 Browse Directory
- Cleaing AIG manager by removing pointers to HAIG. · 6e774ef5
  Alan Mishchenko committed 12 years ago
  
  6e774ef5 Browse Directory
- Integrating time manager into choice computation. · a50a3815
  Alan Mishchenko committed 12 years ago
  
  a50a3815 Browse Directory
21 Sep, 2012 2 commits
- Added simplification before the concurrent call to PDR. · b5306c15
  Alan Mishchenko committed 12 years ago
  
  b5306c15 Browse Directory
- Added simplification before the concurrent call to PDR. · 5f09917c
  Alan Mishchenko committed 12 years ago
  
  5f09917c Browse Directory
20 Sep, 2012 7 commits
- Added slack computation to 'stime'. · d21c0be4
  Alan Mishchenko committed 12 years ago
  
  d21c0be4 Browse Directory
- Modified 'read' to read all types of libraries (genlib, liberty, scl). · 266af493
  Alan Mishchenko committed 12 years ago
  
  266af493 Browse Directory
- Modified 'read' to read all types of libraries (genlib, liberty, scl). · bc44087b
  Alan Mishchenko committed 12 years ago
  
  bc44087b Browse Directory
- Fixes to Verilog parser. · f59de3de
  Alan Mishchenko committed 12 years ago
  
  f59de3de Browse Directory
- Extending Liberty parser to handle multi-output cells. · 723f85ef
  Alan Mishchenko committed 12 years ago
  
  723f85ef Browse Directory
- Extending Liberty parser to handle multi-output cells. · 5dc50744
  Alan Mishchenko committed 12 years ago
  
  5dc50744 Browse Directory
- Extending Liberty parser to handle multi-output cells. · 480ca14c
  Alan Mishchenko committed 12 years ago
  
  480ca14c Browse Directory
19 Sep, 2012 1 commit
- Extending BLIF parser/write to hangle multi-output cells. · 3af0f719
  Alan Mishchenko committed 12 years ago
  
  3af0f719 Browse Directory
18 Sep, 2012 2 commits
- Changes to command 'upsize'. · e0eb2703
  Alan Mishchenko committed 12 years ago
  
  e0eb2703 Browse Directory
- Fixing mismatch between declaration of the output value of Extra_CpuTime. · 508b6f1b
  Alan Mishchenko committed 12 years ago
  
  508b6f1b Browse Directory
17 Sep, 2012 2 commits
- Added delay multipliers to 'map'. · 7e843d64
  Alan Mishchenko committed 12 years ago
  
  7e843d64 Browse Directory
- Added delay multipliers to 'map'. · 6d05fde2
  Alan Mishchenko committed 12 years ago
  
  6d05fde2 Browse Directory
16 Sep, 2012 4 commits
- Changed a few things in the refinement package of &gla. · ee436f93
  Alan Mishchenko committed 12 years ago
  
  ee436f93 Browse Directory
- Restructured the code to post-process object used during refinement in &gla. · 5953beb2
  Alan Mishchenko committed 12 years ago
  
  5953beb2 Browse Directory
- Cleaned 'abc.c' by removing useless procedures. · fdf5ad34
  Alan Mishchenko committed 12 years ago
  
  fdf5ad34 Browse Directory
- Created new abstraction package from the code that was all over the place. · 69bbfa98
  Alan Mishchenko committed 12 years ago
  
  69bbfa98 Browse Directory
15 Sep, 2012 1 commit
- Prepared &gla to try abstracting and proving concurrently. · 117bc0db
  Alan Mishchenko committed 12 years ago
  
  117bc0db Browse Directory
14 Sep, 2012 2 commits
- Prepared &gla to try abstracting and proving concurrently. · 3b14c7b4
  Alan Mishchenko committed 12 years ago
  
  3b14c7b4 Browse Directory
- Prepared &gla to try abstracting and proving concurrently. · 19c28cae
  Alan Mishchenko committed 12 years ago
  
  19c28cae Browse Directory
12 Sep, 2012 3 commits
- Scalable gate-level abstraction. · a246882a
  Alan Mishchenko committed 12 years ago
  
  a246882a Browse Directory
- Added -C to command line for running commands, then staying in interactive mode · 1c865bf2
  Niklas Een committed 12 years ago
  
  1c865bf2 Browse Directory
- Fixing Verilog writer's way of writing module names. · 784a3579
  Alan Mishchenko committed 12 years ago
  
  784a3579 Browse Directory
10 Sep, 2012 1 commit
- Unified print-out of property failures produced by all engines. · d40af538
  Alan Mishchenko committed 12 years ago
  
  d40af538 Browse Directory
09 Sep, 2012 2 commits
- 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 Directory
- Started CEX minimization procedure. · 4333fd24
  Alan Mishchenko committed 12 years ago
  
  4333fd24 Browse Directory
08 Sep, 2012 2 commits
- Updating &gla_refine to perform suffic refinement. · 5ca4f3cf
  Alan Mishchenko committed 12 years ago
  
  5ca4f3cf Browse Directory
- Updating &gla_refine to perform suffic refinement. · 548e0419
  Alan Mishchenko committed 12 years ago
  
  548e0419 Browse Directory
06 Sep, 2012 1 commit
- Integrated new fast semi-canonical form for Boolean functions up to 16 inputs. · 39fe23f0
  Alan Mishchenko committed 12 years ago
  
  39fe23f0 Browse Directory