Commits · 0a536417f6be75fcf26720767a61bd1f57a685b5 · lvzhengyang / abc · GitLab

26 Sep, 2021 1 commit
- Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. · ba64e786
  Alan Mishchenko committed 3 years ago
  
  ba64e786 Browse Directory
05 Mar, 2019 1 commit
- Fixing some warnings by adding cast from 'int' to 'size_t' in memset, memcpy, etc. · 01569b8f
  Alan Mishchenko committed 5 years ago
  
  01569b8f Browse Directory
04 Mar, 2019 1 commit
- Suggested white-space changes for fewer gcc warnings. · bc288a76
  Alan Mishchenko committed 6 years ago
  
  bc288a76 Browse Directory
04 Nov, 2018 1 commit
- Several recent bug fixes. · 4d56acfd
  Alan Mishchenko committed 6 years ago
  
  4d56acfd Browse Directory
22 Jul, 2017 1 commit
- Compiler warnings. · 2e56f44c
  Alan Mishchenko committed 7 years ago
  
  2e56f44c Browse Directory
11 Feb, 2017 1 commit
- Compiler warning. · 7b7ebf91
  Alan Mishchenko committed 8 years ago
  
  7b7ebf91 Browse Directory
25 Aug, 2015 1 commit
- Changes to be able to compile ABC without CUDD. · 99e3e3bc
  Alan Mishchenko committed 9 years ago
  
  99e3e3bc Browse Directory
29 Oct, 2014 1 commit
- Compiler warnings. · 135bf3ec
  Alan Mishchenko committed 10 years ago
  
  135bf3ec 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
11 Jul, 2012 1 commit
- Improvements in the proof-logging SAT solver. · b9ee5d85
  Alan Mishchenko committed 12 years ago
  
  b9ee5d85 Browse Directory
10 Jul, 2012 2 commits
- Replacing Mb/Gb to be MB/GB. · 908d5e69
  Alan Mishchenko committed 12 years ago
  
  908d5e69 Browse Directory
- Adding several command-line arguments to 'dsat'. · 63773682
  Alan Mishchenko committed 12 years ago
  
  63773682 Browse Directory
08 Jul, 2012 3 commits
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse Directory
- Fixing time primtouts throughout the code. · ea98a249
  Alan Mishchenko committed 12 years ago
  
  ea98a249 Browse Directory
- Fixing time primtouts throughout the code. · 3aab7245
  Alan Mishchenko committed 12 years ago
  
  3aab7245 Browse Directory
10 Mar, 2012 1 commit
- Renamed Aig_ManForEachPi/Po to be ...Ci/Co and Aig_ObjCreatePi/Po to be ...Ci/Co. · 2c8f1a67
  Alan Mishchenko committed 12 years ago
  
  2c8f1a67 Browse Directory
17 Feb, 2012 2 commits
- Silencing some of the gcc warnings. · 97856d02
  Alan Mishchenko committed 13 years ago
  
  97856d02 Browse Directory
- Silencing some of the gcc warnings. · 791b107e
  Alan Mishchenko committed 13 years ago
  
  791b107e Browse Directory
23 Jan, 2012 2 commits
- Bug fix for incorrect memory allocation in main SAT solver, leading to crashes… · 14457af2
```
Bug fix for incorrect memory allocation in main SAT solver, leading to crashes in 'dsec' (correction to the previous fix).
```
  Alan Mishchenko committed 13 years ago
  14457af2 Browse Directory
- Bug fix for incorrect memory allocation in main SAT solver, leading to crashes in 'dsec'. · 3906e37c
  Alan Mishchenko committed 13 years ago
  
  3906e37c Browse Directory
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse Directory
06 Jan, 2012 1 commit
- Bug fix related to not properly resizing SAT solver's model array. · 10ad8949
  Alan Mishchenko committed 13 years ago
  
  10ad8949 Browse Directory
23 Dec, 2011 1 commit
- Transforming the solver to use different clause representation. · 9d289304
  Alan Mishchenko committed 13 years ago
  
  9d289304 Browse Directory
15 Dec, 2011 1 commit
- Trying to make sorting of nodes platform-indendent. · b63b332b
  Alan Mishchenko committed 13 years ago
  
  b63b332b Browse Directory
26 Nov, 2011 1 commit
- Started experiments with a new solver. · d2db956a
  Alan Mishchenko committed 13 years ago
  
  d2db956a Browse Directory
01 Aug, 2011 1 commit
- Removed useless typecasts related to changes in Vec_VecEntry(). · 820a147e
  Alan Mishchenko committed 13 years ago
  
  820a147e Browse Directory
07 Apr, 2011 1 commit
- Unsuccessful attempt to improve PDR and a few minor changes. · a28fe0d3
  Alan Mishchenko committed 13 years ago
  
  a28fe0d3 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
20 Feb, 2011 1 commit
- Changes to support sequential verification with reduction without speculation. · e3f88c81
  Alan Mishchenko committed 14 years ago
  
  e3f88c81 Browse Directory
19 Feb, 2011 1 commit
- Improvements to CEC command iprove. · c7ebd932
  Alan Mishchenko committed 14 years ago
  
  c7ebd932 Browse Directory
01 Nov, 2010 1 commit
- initial commit of public abc · 6130e39b
  Alan Mishchenko committed 14 years ago
  
  6130e39b Browse Directory
10 Apr, 2009 1 commit
- Version abc90410 · ccd1b572
  Alan Mishchenko committed 15 years ago
  
  ccd1b572 Browse Directory
08 Apr, 2009 1 commit
- Version abc90408 · df6fdd1d
  Alan Mishchenko committed 15 years ago
  
  df6fdd1d Browse Directory
15 Feb, 2009 1 commit
- Version abc90215 · 0871bffa
  Alan Mishchenko committed 16 years ago
  
  0871bffa Browse Directory
19 Sep, 2008 1 commit
- Version abc80919 · 3429e630
  Alan Mishchenko committed 16 years ago
  
  3429e630 Browse Directory
05 Sep, 2008 1 commit
- Version abc80905 · 092c7be0
  Alan Mishchenko committed 16 years ago
  
  092c7be0 Browse Directory
02 Jul, 2008 1 commit
- Version abc80702 · 303baf27
  Alan Mishchenko committed 16 years ago
  
  303baf27 Browse Directory
10 Jun, 2008 1 commit
- Version abc80610 · 9d09f583
  Alan Mishchenko committed 16 years ago
  
  9d09f583 Browse Directory
13 May, 2008 1 commit
- Version abc80512_2 · 37b6c727
  Alan Mishchenko committed 16 years ago
  
  37b6c727 Browse Directory
11 May, 2008 1 commit
- Version abc80511 · 582cf0b9
  Alan Mishchenko committed 16 years ago
  
  582cf0b9 Browse Directory