Commits · f329105403d70bbd8a4430c39edf5457c4c3faa3 · lvzhengyang / abc · GitLab

01 Nov, 2013 1 commit
- Sweeper condition complement bug-fix and code for internal verification. · 3b8095a6
  Alan Mishchenko committed 11 years ago
  
  3b8095a6 Browse File
06 Sep, 2013 1 commit
- Unifying parameters for the &ps command. · 23879f92
  Alan Mishchenko committed 11 years ago
  
  23879f92 Browse File
08 May, 2013 1 commit
- SAT sweeping under constraints (bug fix). · a735d95a
  Alan Mishchenko committed 11 years ago
  
  a735d95a Browse File
22 Apr, 2013 1 commit
- Adding command &filter_equiv to filter candidate equivalence classes using… · 005f0e39
```
Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter.
```
  Alan Mishchenko committed 11 years ago
  005f0e39 Browse File
18 Apr, 2013 1 commit
- Adding command &filter_equiv to filter candidate equivalence classes using… · 06ba3d3e
```
Adding command &filter_equiv to filter candidate equivalence classes using indexes of disproved POs after handling SRM as a multi-output miter.
```
  Alan Mishchenko committed 11 years ago
  06ba3d3e Browse File
08 Mar, 2013 1 commit
- Modified command 'init' to allow for specific init values. · a3bdba68
  Alan Mishchenko committed 11 years ago
  
  a3bdba68 Browse File
10 Dec, 2012 1 commit
- Unifification of custom extensions. · 2575a5d6
  Alan Mishchenko committed 12 years ago
  
  2575a5d6 Browse File
14 Nov, 2012 1 commit
- Isolating BMC code into a separate package. · be7a4e42
  Alan Mishchenko committed 12 years ago
  
  be7a4e42 Browse File
12 Nov, 2012 1 commit
- Made print-out of frontier cut an option ('-c') in '&ps'. · 30b8c3d4
  Alan Mishchenko committed 12 years ago
  
  30b8c3d4 Browse File
29 Oct, 2012 1 commit
- Replaced printfs with Abc_Print · 6f32f2b8
  Niklas Een committed 12 years ago
  
  6f32f2b8 Browse File
24 Sep, 2012 2 commits
- Improving computation of choices from equivalence classes. · 255f171f
  Alan Mishchenko committed 12 years ago
  
  255f171f Browse File
- Testing GIA with time manager. · 40d9b585
  Alan Mishchenko committed 12 years ago
  
  40d9b585 Browse File
23 Sep, 2012 1 commit
- Integrating time manager into choice computation. · a50a3815
  Alan Mishchenko committed 12 years ago
  
  a50a3815 Browse File
05 Sep, 2012 1 commit
- Added new command &gla_shrink. · f6b67d78
  Alan Mishchenko committed 12 years ago
  
  f6b67d78 Browse File
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 File
25 Jul, 2012 1 commit
- Allow for skipping structural hashing when reading GIA from file. · 7dc8c81f
  Alan Mishchenko committed 12 years ago
  
  7dc8c81f Browse File
10 Jul, 2012 1 commit
- Replacing Mb/Gb to be MB/GB. · 908d5e69
  Alan Mishchenko committed 12 years ago
  
  908d5e69 Browse File
08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse File
19 May, 2012 1 commit
- Misc changes. · 6ecc71f8
  Alan Mishchenko committed 12 years ago
  
  6ecc71f8 Browse File
19 Feb, 2012 1 commit
- Added printout of BMC tents in &ps. · ea13085f
  Alan Mishchenko committed 13 years ago
  
  ea13085f Browse File
17 Feb, 2012 1 commit
- Silencing some of the gcc warnings. · 97856d02
  Alan Mishchenko committed 13 years ago
  
  97856d02 Browse File
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse File
15 Jun, 2011 1 commit
- Added command &filter to filter equiv classes. · 68c79ee8
  Alan Mishchenko committed 13 years ago
  
  68c79ee8 Browse File
08 Jun, 2011 2 commits
- Adding command 'srm2' (additional feature). · b2dfa013
  Alan Mishchenko committed 13 years ago
  
  b2dfa013 Browse File
- Adding command 'srm2'. · bfbbfadf
  Alan Mishchenko committed 13 years ago
  
  bfbbfadf Browse File
01 Mar, 2011 1 commit
- Fixing corner-case bugs in &srm -s. · de984d7f
  Alan Mishchenko committed 14 years ago
  
  de984d7f Browse File
22 Feb, 2011 2 commits
- Fixed the problem with filtered equivalences (&srm -sf and &equiv_mark -f). · 2f874d27
  Alan Mishchenko committed 14 years ago
  
  2f874d27 Browse File
- Fixed a critical bug in the previous update. · a84b1cfc
  Alan Mishchenko committed 14 years ago
  
  a84b1cfc Browse File
21 Feb, 2011 1 commit
- Implemented additional filtering of equivalences (&srm -sf). · 75ee395f
  Alan Mishchenko committed 14 years ago
  
  75ee395f Browse File
20 Feb, 2011 1 commit
- Changes to support sequential verification with reduction without speculation. · e3f88c81
  Alan Mishchenko committed 14 years ago
  
  e3f88c81 Browse File
13 Jan, 2011 1 commit
- Cumulative changes in the last few weeks. · ae4b5135
  Alan Mishchenko committed 14 years ago
  
  ae4b5135 Browse File
03 Dec, 2010 1 commit
- Bug fix in &srm (not generating result when there is no equivs) · ff5fdb92
  Alan Mishchenko committed 14 years ago
  
  ff5fdb92 Browse File
01 Nov, 2010 1 commit
- initial commit of public abc · 6130e39b
  Alan Mishchenko committed 14 years ago
  
  6130e39b Browse File
23 Jun, 2015 2 commits
- Version abc90804 · da65e88e
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed 9 years ago
  da65e88e Browse File
- Version abc90714 · 0398ced8
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed 9 years ago
  0398ced8 Browse File
13 Apr, 2009 1 commit
- Version abc90413 · 77fab468
  Alan Mishchenko committed 15 years ago
  
  77fab468 Browse File
10 Apr, 2009 1 commit
- Version abc90410 · ccd1b572
  Alan Mishchenko committed 15 years ago
  
  ccd1b572 Browse File
08 Apr, 2009 1 commit
- Version abc90408 · df6fdd1d
  Alan Mishchenko committed 15 years ago
  
  df6fdd1d Browse File
29 Mar, 2009 1 commit
- Version abc90329 · 23fd1103
  Alan Mishchenko committed 15 years ago
  
  23fd1103 Browse File
13 Mar, 2009 1 commit
- Version abc90313 · 81b51657
  Alan Mishchenko committed 15 years ago
  
  81b51657 Browse File