Commits · 785ae9e4dbc7c831d476ffb504b2293e492b7a4c · lvzhengyang / abc · GitLab

25 Oct, 2012 1 commit
- Integrating GIA with LUT mapping. · 6b96d9a8
  Alan Mishchenko committed 12 years ago
  
  6b96d9a8 Browse Directory
24 Oct, 2012 1 commit
- Creating dedicated choice representation for GIA. · 5cd1396b
  Alan Mishchenko committed 12 years ago
  
  5cd1396b Browse Directory
09 Oct, 2012 4 commits
- Making report about the number of correcty covered frames consistent across the engines. · daeffe79
  Alan Mishchenko committed 12 years ago
  
  daeffe79 Browse Directory
- Bug fix in &gla (incorrect reporting of proved timeframes). · da61616d
  Alan Mishchenko committed 12 years ago
  
  da61616d Browse Directory
- Bug fix in &gla (incorrect reporting of proved timeframes). · b882f64f
  Alan Mishchenko committed 12 years ago
  
  b882f64f Browse Directory
- Making explicit cast to 64-bit unsigned in a few places. · 4ed89d00
  Alan Mishchenko committed 12 years ago
  
  4ed89d00 Browse Directory
07 Oct, 2012 1 commit
- Updating readme. · f66fd3f3
  Alan Mishchenko committed 12 years ago
  
  f66fd3f3 Browse Directory
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