Commits · 23d36a8d5665d7a586777c9723c4aa803b253fc1 · lvzhengyang / abc · GitLab

16 Aug, 2017 1 commit
- Integrating Satoko into 'bmc' and 'bmc2'. · 23d36a8d
  Alan Mishchenko committed 7 years ago
  
  23d36a8d 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
18 May, 2013 1 commit
- SAT variable profiling. · c83e1d90
  Alan Mishchenko committed 11 years ago
  
  c83e1d90 Browse File
14 Nov, 2012 2 commits
- Added command 'cexsave' and 'cexload'. · d8e04032
  Alan Mishchenko committed 12 years ago
  
  d8e04032 Browse File
- Isolating BMC code into a separate package. · be7a4e42
  Alan Mishchenko committed 12 years ago
  
  be7a4e42 Browse File
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
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
16 Jul, 2012 1 commit
- Small bug in bmc2 timeout. · 1b95ee06
  Alan Mishchenko committed 12 years ago
  
  1b95ee06 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 3 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. · 3aab7245
  Alan Mishchenko committed 12 years ago
  
  3aab7245 Browse Directory
01 Jul, 2012 5 commits
- 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
- Reducing memory usage in bmc2 and bmc3. · 0799766a
  Alan Mishchenko committed 12 years ago
  
  0799766a Browse Directory
- Reducing memory usage in bmc2 and bmc3. · 40d4451e
  Alan Mishchenko committed 12 years ago
  
  40d4451e Browse Directory
- Reducing memory usage in bmc2 and bmc3. · d3c018cd
  Alan Mishchenko committed 12 years ago
  
  d3c018cd Browse Directory
10 Mar, 2012 2 commits
- Renamed Aig_ObjIsPi/Po to be ...Ci/Co and Aig_Man(Pi/Po)Num to be ...(Ci/Co)... · c46c957a
  Alan Mishchenko committed 13 years ago
  
  c46c957a Browse Directory
- Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci/Co. · 2c8f1a67
  Alan Mishchenko committed 13 years ago
  
  2c8f1a67 Browse Directory
19 Feb, 2012 2 commits
- Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 (infinity). · af8cac09
  Alan Mishchenko committed 13 years ago
  
  af8cac09 Browse Directory
- Setting the default limit on the number of timeframe in bmc2/bmc3 to 0 (infinity). · c9147d76
  Alan Mishchenko committed 13 years ago
  
  c9147d76 Browse Directory
16 Feb, 2012 1 commit
- Changing how BMC report runtime. · ce945006
  Alan Mishchenko committed 13 years ago
  
  ce945006 Browse Directory
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse Directory
19 Jan, 2012 1 commit
- Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control BMC… · fffd733f
```
Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control BMC frames and conflicts.
```
  Alan Mishchenko committed 13 years ago
  fffd733f Browse Directory
31 Oct, 2011 1 commit
- Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. · 868a1b9a
  Alan Mishchenko committed 13 years ago
  
  868a1b9a Browse Directory
08 Apr, 2011 1 commit
- Adding SAT-solver-level timeouts to the BMC engines. · 5222f382
  Alan Mishchenko committed 13 years ago
  
  5222f382 Browse Directory
27 Mar, 2011 1 commit
- Fixed a number of small bugs and memory leaks. · 6c01e8b9
  Alan Mishchenko committed 13 years ago
  
  6c01e8b9 Browse Directory
14 Feb, 2011 1 commit
- Unified the use of counter-examples in three packages. · 71cbf17e
  Alan Mishchenko committed 14 years ago
  
  71cbf17e Browse Directory
13 Jan, 2011 1 commit
- Cumulative changes in the last few weeks. · ae4b5135
  Alan Mishchenko committed 14 years ago
  
  ae4b5135 Browse Directory
01 Nov, 2010 1 commit
- initial commit of public abc · 6130e39b
  Alan Mishchenko committed 14 years ago
  
  6130e39b Browse Directory
23 Jun, 2015 1 commit
- Version abc90714 · 0398ced8
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed 9 years ago
  0398ced8 Browse Directory
13 Mar, 2009 1 commit
- Version abc90313 · 81b51657
  Alan Mishchenko committed 15 years ago
  
  81b51657 Browse Directory
15 Feb, 2009 1 commit
- Version abc90215 · 0871bffa
  Alan Mishchenko committed 16 years ago
  
  0871bffa Browse Directory
25 Oct, 2008 1 commit
- Version abc81025 · d2b735f7
  Alan Mishchenko committed 16 years ago
  
  d2b735f7 Browse Directory
13 Oct, 2008 1 commit
- Version abc81013 · e917dda1
  Alan Mishchenko committed 16 years ago
  
  e917dda1 Browse Directory
27 Sep, 2008 1 commit
- Version abc80927 · 689cbe90
  Alan Mishchenko committed 16 years ago
  
  689cbe90 Browse Directory
10 Jun, 2008 1 commit
- Version abc80610 · 9d09f583
  Alan Mishchenko committed 16 years ago
  
  9d09f583 Browse Directory