Commits · 723f85ef1b4ad35bc7708f7b8208dafe0406078c · lvzhengyang / abc · GitLab

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
11 Mar, 2009 1 commit
- Version abc90311 · 243cb29e
  Alan Mishchenko committed 15 years ago
  
  243cb29e Browse File
10 Mar, 2009 1 commit
- Version abc90310 · 32314347
  Alan Mishchenko committed 15 years ago
  
  32314347 Browse File