Commits · 6ea3a35b038d2b2b6ee59f6fb215cefa56f0124d · lvzhengyang / abc · GitLab

08 Sep, 2013 1 commit
- Fixing corner-case bug in command 'ind'. · aa1a50fe
  Alan Mishchenko committed 11 years ago
  
  aa1a50fe Browse Directory
16 Aug, 2013 1 commit
- Extending 'permute' to handle user-specified flop permutation. · 3459683e
  Alan Mishchenko committed 11 years ago
  
  3459683e Browse Directory
28 Jun, 2013 1 commit
- Adding timeout to command 'ind'. · 8c7ca72e
  Alan Mishchenko committed 11 years ago
  
  8c7ca72e Browse Directory
27 May, 2013 1 commit
- Adding a wrapper around clock() for more accurate time counting in ABC. · 19c25fd6
  Alan Mishchenko committed 11 years ago
  
  19c25fd6 Browse Directory
08 May, 2013 1 commit
- Bug fix in 'blockpo'. · ccf3cadd
  Alan Mishchenko committed 11 years ago
  
  ccf3cadd Browse Directory
11 Apr, 2013 1 commit
- Bug fix in 'blockpo'. · 3b1c632b
  Alan Mishchenko committed 11 years ago
  
  3b1c632b Browse Directory
13 Mar, 2013 1 commit
- Handling special case in 'fold' when the network is combinational. · bf795e57
  Alan Mishchenko committed 11 years ago
  
  bf795e57 Browse Directory
22 Feb, 2013 1 commit
- Adding new features to 'dualrail'. · dfe5f511
  Alan Mishchenko committed 12 years ago
  
  dfe5f511 Browse Directory
08 Jan, 2013 1 commit
- Fixing C++ compilation issues. · 19749cb8
  Alan Mishchenko committed 12 years ago
  
  19749cb8 Browse Directory
08 Dec, 2012 1 commit
- Restoring correct behavior of 'tempor' after a change in counting BMC frames in 'bmc2'. · 5d74635f
  Alan Mishchenko committed 12 years ago
  
  5d74635f Browse Directory
14 Nov, 2012 2 commits
- Isolating BMC code into a separate package. · ddab80ae
  Alan Mishchenko committed 12 years ago
  
  ddab80ae Browse Directory
- Isolating BMC code into a separate package. · be7a4e42
  Alan Mishchenko committed 12 years ago
  
  be7a4e42 Browse Directory
29 Oct, 2012 1 commit
- Replaced printfs with Abc_Print · f21615ec
  Niklas Een committed 12 years ago
  
  f21615ec Browse Directory
09 Oct, 2012 1 commit
- Making report about the number of correcty covered frames consistent across the engines. · daeffe79
  Alan Mishchenko committed 12 years ago
  
  daeffe79 Browse Directory
04 Oct, 2012 1 commit
- C++ portability changes. · 56d3d7cd
  Alan Mishchenko committed 12 years ago
  
  56d3d7cd Browse Directory
23 Sep, 2012 2 commits
- Modified structural constraint extraction (unfold -s) to work for multi-output testcases. · f7caf84f
  Alan Mishchenko committed 12 years ago
  
  f7caf84f Browse Directory
- Cleaing AIG manager by removing pointers to HAIG. · 6e774ef5
  Alan Mishchenko committed 12 years ago
  
  6e774ef5 Browse Directory
18 Sep, 2012 1 commit
- Bug fix in bmc3. · 6dc3a0a2
  Alan Mishchenko committed 12 years ago
  
  6dc3a0a2 Browse Directory
17 Sep, 2012 1 commit
- Fixed timeout problem in bmc3 -s. · 819b41bb
  Alan Mishchenko committed 12 years ago
  
  819b41bb Browse Directory
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 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
05 Sep, 2012 1 commit
- Added new command &gla_shrink. · f6b67d78
  Alan Mishchenko committed 12 years ago
  
  f6b67d78 Browse Directory
27 Jul, 2012 1 commit
- Minor updates to the BMC engines. · 7e486af8
  Alan Mishchenko committed 12 years ago
  
  7e486af8 Browse Directory
23 Jul, 2012 1 commit
- Recording and reusing learned util clauses in bmc2. · a40c13a9
  Alan Mishchenko committed 12 years ago
  
  a40c13a9 Browse Directory
22 Jul, 2012 1 commit
- Recording and reusing learned util clauses in bmc3. · 2379dea4
  Alan Mishchenko committed 12 years ago
  
  2379dea4 Browse Directory
16 Jul, 2012 1 commit
- Small bug in bmc2 timeout. · 1b95ee06
  Alan Mishchenko committed 12 years ago
  
  1b95ee06 Browse Directory
11 Jul, 2012 1 commit
- Changes to clause mapping. · 24275632
  Alan Mishchenko committed 12 years ago
  
  24275632 Browse Directory
10 Jul, 2012 1 commit
- Replacing Mb/Gb to be MB/GB. · 908d5e69
  Alan Mishchenko committed 12 years ago
  
  908d5e69 Browse Directory
08 Jul, 2012 4 commits
- Adding flushing stdout after printing verbose stats. · e80bd69e
  Alan Mishchenko committed 12 years ago
  
  e80bd69e Browse Directory
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse Directory
- Fixing time primtouts throughout the code. · 4760983a
  Alan Mishchenko committed 12 years ago
  
  4760983a Browse Directory
- Fixing time primtouts throughout the code. · 3aab7245
  Alan Mishchenko committed 12 years ago
  
  3aab7245 Browse Directory
05 Jul, 2012 1 commit
- Changing default conflict limits in bmc2 and bmc3 to be 0 (no limit). · 8b0302cd
  Alan Mishchenko committed 12 years ago
  
  8b0302cd Browse Directory
04 Jul, 2012 1 commit
- Various changes to enable sensitization-based refinement in &gla. · 9ebcd9ec
  Alan Mishchenko committed 12 years ago
  
  9ebcd9ec Browse Directory
01 Jul, 2012 6 commits
- Other improvements to bmc2 and bmc3. · bd4b2521
  Alan Mishchenko committed 12 years ago
  
  bd4b2521 Browse Directory
- Other improvements to bmc2 and bmc3. · 2cc51b4f
  Alan Mishchenko committed 12 years ago
  
  2cc51b4f Browse Directory
- Other improvements to bmc2 and bmc3. · 71f67ef9
  Alan Mishchenko committed 12 years ago
  
  71f67ef9 Browse Directory
- Other improvements to bmc2 and bmc3. · 8765502e
  Alan Mishchenko committed 12 years ago
  
  8765502e Browse Directory
- Other improvements to bmc2 and bmc3. · 5bb7dd60
  Alan Mishchenko committed 12 years ago
  
  5bb7dd60 Browse Directory
- Reducing memory usage in bmc2 and bmc3. · d3c8c3da
  Alan Mishchenko committed 12 years ago
  
  d3c8c3da Browse Directory