Commits · a47e3b6f58c11797418a0aaf5deeebcf0456e20c · lvzhengyang / abc · GitLab

04 Oct, 2012 3 commits
- C++ portability changes. · c7eab028
  Alan Mishchenko committed 12 years ago
  
  c7eab028 Browse Directory
- C++ portability changes. · b532d144
  Alan Mishchenko committed 12 years ago
  
  b532d144 Browse Directory
- C++ portability changes. · 56d3d7cd
  Alan Mishchenko committed 12 years ago
  
  56d3d7cd Browse Directory
03 Oct, 2012 3 commits
- Renamed reference counting APIs in GIA package. · aa705a9a
  Alan Mishchenko committed 12 years ago
  
  aa705a9a Browse Directory
- Structural reparametrization. · 49267fd3
  Alan Mishchenko committed 12 years ago
  
  49267fd3 Browse Directory
- Combined old reparametrization command with the new one. · aeb7f7ea
  Alan Mishchenko committed 12 years ago
  
  aeb7f7ea Browse Directory
02 Oct, 2012 5 commits
- Structural reparametrization. · 4aa33e7d
  Alan Mishchenko committed 12 years ago
  
  4aa33e7d Browse Directory
- Separated truth table computation for GIA manager and added new procedures. · b71d4425
  Alan Mishchenko committed 12 years ago
  
  b71d4425 Browse Directory
- Structural reparametrization. · 60ad1765
  Alan Mishchenko committed 12 years ago
  
  60ad1765 Browse Directory
- Fixed several important problems in choice computation (command 'dch'). · a287bcd2
  Alan Mishchenko committed 12 years ago
  
  a287bcd2 Browse Directory
- Fixed several important problems in choice computation (command 'dch'). · 7d296637
  Alan Mishchenko committed 12 years ago
  
  7d296637 Browse Directory
01 Oct, 2012 1 commit
- Structural reparametrization. · a595fa85
  Alan Mishchenko committed 12 years ago
  
  a595fa85 Browse Directory
25 Sep, 2012 1 commit
- Correcting comment related to pthreads. · 4ab0c4b2
  Alan Mishchenko committed 12 years ago
  
  4ab0c4b2 Browse Directory
24 Sep, 2012 1 commit
- Improving computation of choices from equivalence classes. · 255f171f
  Alan Mishchenko committed 12 years ago
  
  255f171f Browse Directory
23 Sep, 2012 2 commits
- 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
17 Sep, 2012 3 commits
- Bug fix: no need to normalize const0 node. · 1f9abfd7
  Alan Mishchenko committed 12 years ago
  
  1f9abfd7 Browse Directory
- Moving binary IO streams to the vector package. · 790ea654
  Alan Mishchenko committed 12 years ago
  
  790ea654 Browse Directory
- Improving printouts in &gla. · 8b2b4fb6
  Alan Mishchenko committed 12 years ago
  
  8b2b4fb6 Browse Directory
16 Sep, 2012 5 commits
- Improving printouts in &gla. · c15137bd
  Alan Mishchenko committed 12 years ago
  
  c15137bd Browse Directory
- 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
- Made abstraction and PDR communicate in-memory rather than through a file. · 5a4f1fe4
  Alan Mishchenko committed 12 years ago
  
  5a4f1fe4 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 1 commit
- Prepared &gla to try abstracting and proving concurrently. · 3b14c7b4
  Alan Mishchenko committed 12 years ago
  
  3b14c7b4 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
07 Sep, 2012 1 commit
- Added switch 'dch -r' to skip choices with structural support redundancy. · 75a5c46b
  Alan Mishchenko committed 12 years ago
  
  75a5c46b Browse Directory
06 Sep, 2012 2 commits
- Added platform-independent random-number generator to 'fraig'. · 4393a5fa
  Alan Mishchenko committed 12 years ago
  
  4393a5fa Browse Directory
- Added switch 'dch -r' to skip choices with structural support redundancy. · cd2bd708
  Alan Mishchenko committed 12 years ago
  
  cd2bd708 Browse Directory
05 Sep, 2012 1 commit
- Added new command &gla_shrink. · f6b67d78
  Alan Mishchenko committed 12 years ago
  
  f6b67d78 Browse Directory
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 Directory
26 Aug, 2012 1 commit
- Compiler warnings. · 889ed19c
  Alan Mishchenko committed 12 years ago
  
  889ed19c Browse Directory
25 Aug, 2012 1 commit
- Compiler warnings. · f85db9dd
  Alan Mishchenko committed 12 years ago
  
  f85db9dd Browse Directory
24 Aug, 2012 1 commit
- Added simulation of comb circuits with user-specified patterns in command 'sim'. · 94260041
  Alan Mishchenko committed 12 years ago
  
  94260041 Browse Directory
26 Jul, 2012 1 commit
- Fixing interpolation to run without resource limits by default. · 950777ed
  Alan Mishchenko committed 12 years ago
  
  950777ed Browse Directory
25 Jul, 2012 1 commit
- Removed unused files from the project. · bb68d0b7
  Alan Mishchenko committed 12 years ago
  
  bb68d0b7 Browse Directory
13 Jul, 2012 1 commit
- Fixing compiler warning. · 04d1c4e4
  Alan Mishchenko committed 12 years ago
  
  04d1c4e4 Browse Directory