Commits · 503c4a34b0631bf86a67dd6d0c950c3fdf92e466 · lvzhengyang / abc

21 Nov, 2018 1 commit
- Adding switch &w -n to modify the comment section of the AIGER file written. · 5aa3025c
  Alan Mishchenko committed 6 years ago
  
  5aa3025c Browse File
22 Jul, 2017 1 commit
- Compiler warnings. · 2e56f44c
  Alan Mishchenko committed 7 years ago
  
  2e56f44c Browse File
26 Feb, 2017 1 commit
- Adding dump of trivial abstraction map at the beginning in &gla -m. · 4ec5ee41
  Alan Mishchenko committed 8 years ago
  
  4ec5ee41 Browse File
25 Feb, 2017 1 commit
- Adding dump of trivial abstraction map at the beginning in &gla -m. · 80773b95
  Alan Mishchenko committed 8 years ago
  
  80773b95 Browse File
23 Sep, 2013 1 commit

Changing switch -R <num> in &gla to mean the max allowed size of abstraction.… · cab83010

Changing switch -R <num> in &gla to mean the max allowed size of abstraction. Adding switch -Q <num> to stop when the number of objects exceeds num % _during_refinement_.

committed 11 years ago

cab83010 Browse File

21 Sep, 2013 1 commit
- Adding resource limit to stop &gla when the number of remaining objects is less… · 247dd95d
```
Adding resource limit to stop &gla when the number of remaining objects is less than R/2 during refinement.
```
  Alan Mishchenko committed 11 years ago
  247dd95d Browse File
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 File
27 Apr, 2013 1 commit
- New fast extract. · 324d73c2
  Alan Mishchenko committed 11 years ago
  
  324d73c2 Browse File
08 Jan, 2013 2 commits
- Fixing C++ compilation issues. · a625caa1
  Alan Mishchenko committed 12 years ago
  
  a625caa1 Browse File
- Fixing C++ compilation issues. · f26e760e
  Alan Mishchenko committed 12 years ago
  
  f26e760e Browse File
10 Dec, 2012 1 commit
- Unifification of custom extensions. · 2575a5d6
  Alan Mishchenko committed 12 years ago
  
  2575a5d6 Browse File
07 Nov, 2012 1 commit
- Enabling verbose report of dumping abstraction in GLA. · aa2c7c05
  Alan Mishchenko committed 12 years ago
  
  aa2c7c05 Browse File
09 Oct, 2012 2 commits
- Bug fix in &gla (incorrect reporting of proved timeframes). · da61616d
  Alan Mishchenko committed 12 years ago
  
  da61616d Browse File
- Bug fix in &gla (incorrect reporting of proved timeframes). · b882f64f
  Alan Mishchenko committed 12 years ago
  
  b882f64f Browse File
04 Oct, 2012 3 commits
- C++ portability changes. · c7eab028
  Alan Mishchenko committed 12 years ago
  
  c7eab028 Browse File
- C++ portability changes. · b532d144
  Alan Mishchenko committed 12 years ago
  
  b532d144 Browse File
- C++ portability changes. · 56d3d7cd
  Alan Mishchenko committed 12 years ago
  
  56d3d7cd Browse File
21 Sep, 2012 1 commit
- Added simplification before the concurrent call to PDR. · b5306c15
  Alan Mishchenko committed 12 years ago
  
  b5306c15 Browse File
17 Sep, 2012 2 commits
- Moving binary IO streams to the vector package. · 790ea654
  Alan Mishchenko committed 12 years ago
  
  790ea654 Browse File
- Improving printouts in &gla. · 8b2b4fb6
  Alan Mishchenko committed 12 years ago
  
  8b2b4fb6 Browse File
16 Sep, 2012 6 commits
- Improving printouts in &gla. · c15137bd
  Alan Mishchenko committed 12 years ago
  
  c15137bd Browse File
- Changed a few things in the refinement package of &gla. · ee436f93
  Alan Mishchenko committed 12 years ago
  
  ee436f93 Browse File
- Restructured the code to post-process object used during refinement in &gla. · 5953beb2
  Alan Mishchenko committed 12 years ago
  
  5953beb2 Browse File
- Made abstraction and PDR communicate in-memory rather than through a file. · 5a4f1fe4
  Alan Mishchenko committed 12 years ago
  
  5a4f1fe4 Browse File
- Created new abstraction package from the code that was all over the place. · 69bbfa98
  Alan Mishchenko committed 12 years ago
  
  69bbfa98 Browse File
- Corrected &gla -a to work as expected. · ec95f569
  Alan Mishchenko committed 12 years ago
  
  ec95f569 Browse Directory
15 Sep, 2012 2 commits
- Prepared &gla to try abstracting and proving concurrently. · 152aaedc
  Alan Mishchenko committed 12 years ago
  
  152aaedc Browse Directory
- 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 4 commits
- Added code to collect experimental results. · 606341dc
  Alan Mishchenko committed 12 years ago
  
  606341dc Browse Directory
- Added code to collect experimental results. · e95844c0
  Alan Mishchenko committed 12 years ago
  
  e95844c0 Browse Directory
- Added code to collect experimental results. · 087ec9eb
  Alan Mishchenko committed 12 years ago
  
  087ec9eb Browse Directory
- Added code to collect experimental results. · 825bcd82
  Alan Mishchenko committed 12 years ago
  
  825bcd82 Browse Directory
11 Sep, 2012 2 commits
- Added code to collect experimental results. · 759b7c08
  Alan Mishchenko committed 12 years ago
  
  759b7c08 Browse Directory
- Added code to collect experimental results. · d257fce8
  Alan Mishchenko committed 12 years ago
  
  d257fce8 Browse Directory
10 Sep, 2012 1 commit
- Disable printing refinement statistics by default. · 71d7c9e6
  Alan Mishchenko committed 12 years ago
  
  71d7c9e6 Browse Directory
08 Sep, 2012 1 commit
- Updating &gla_refine to perform suffix refinement. · 519b9fdf
  Alan Mishchenko committed 12 years ago
  
  519b9fdf Browse Directory
05 Sep, 2012 1 commit
- Enabling additinal printouts. · 2071d9a7
  Alan Mishchenko committed 12 years ago
  
  2071d9a7 Browse Directory
04 Sep, 2012 1 commit
- Correcting the report of completed timeframes in &gla. · acc3abe9
  Alan Mishchenko committed 12 years ago
  
  acc3abe9 Browse Directory