Commits · ef288ed5d011562c2e0a0760e0e0ff49150c6169 · lvzhengyang / abc · GitLab

27 Oct, 2011 1 commit
- New proof-based abstraction code (bug fix). · 1dcdba1b
  Alan Mishchenko committed 13 years ago
  
  1dcdba1b Browse Directory
19 Oct, 2011 1 commit
- Skip NULL entry when freeing vector of vectors. · efd310af
  Alan Mishchenko committed 13 years ago
  
  efd310af Browse Directory
15 Oct, 2011 1 commit
- New abstraction code. · 6f0b87dd
  Alan Mishchenko committed 13 years ago
  
  6f0b87dd Browse Directory
25 Sep, 2011 1 commit
- Changes to Boolean matching. · 976f5f5a
  Alan Mishchenko committed 13 years ago
  
  976f5f5a Browse Directory
22 Sep, 2011 1 commit
- Initial changes to enable gate-level abstraction. · 8f74276e
  Alan Mishchenko committed 13 years ago
  
  8f74276e Browse Directory
19 Sep, 2011 1 commit
- Fixed minor issues having to do with the number of BDD vars used. · 81b040e6
  Alan Mishchenko committed 13 years ago
  
  81b040e6 Browse Directory
17 Sep, 2011 1 commit
- 64-bit portability changes. · c1edeccc
  Alan Mishchenko committed 13 years ago
  
  c1edeccc Browse Directory
02 Aug, 2011 1 commit
- Several bug fixes. · 49df91f0
  Alan Mishchenko committed 13 years ago
  
  49df91f0 Browse Directory
01 Aug, 2011 1 commit
- Changes and simplifications in Vec_Vec_t data-structure. · 02b04efe
  Alan Mishchenko committed 13 years ago
  
  02b04efe Browse Directory
31 Jul, 2011 3 commits
- Added new APIs to integer vector. · d5955db9
  Alan Mishchenko committed 13 years ago
  
  d5955db9 Browse Directory
- Added new sorting procedures. · 5303465e
  Alan Mishchenko committed 13 years ago
  
  5303465e Browse Directory
- Added new sorting procedures. · 4ffe37b3
  Alan Mishchenko committed 13 years ago
  
  4ffe37b3 Browse Directory
25 Jul, 2011 1 commit
- Enhancing printing of counter-examples. · 67e84b71
  Alan Mishchenko committed 13 years ago
  
  67e84b71 Browse Directory
25 Jun, 2011 1 commit
- Updated 'iprove' to generate seq CEX when CEC fails. · 15cc374f
  Alan Mishchenko committed 13 years ago
  
  15cc374f Browse Directory
14 Apr, 2011 1 commit
- Enabled new BDD-based reachability engine 'reachy'. · 6e74c46b
  Alan Mishchenko committed 13 years ago
  
  6e74c46b Browse Directory
10 Apr, 2011 1 commit
- Added procedure to vector package and manager template file. · 302f41e9
  Alan Mishchenko committed 13 years ago
  
  302f41e9 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 2 commits
- Improvements in Vec_Vec_t. · 4dcf8cee
  Alan Mishchenko committed 13 years ago
  
  4dcf8cee Browse Directory
- Added Max/Min/Abs as static inline functions. · d97e5d68
  Alan Mishchenko committed 13 years ago
  
  d97e5d68 Browse Directory
06 Mar, 2011 1 commit
- Fixing bugs in the new procedures added to the library. · badbb5a6
  Alan Mishchenko committed 14 years ago
  
  badbb5a6 Browse Directory
05 Mar, 2011 1 commit
- Adding new procedures to the library. · edcb769b
  Alan Mishchenko committed 14 years ago
  
  edcb769b Browse Directory
03 Mar, 2011 1 commit
- Made abc.h independent of CUDD and Extra. · 148a786b
  Alan Mishchenko committed 14 years ago
  
  148a786b Browse Directory
28 Feb, 2011 2 commits
- Replaced remove() by unlink() to compile on Windows. · 4704dbc7
  Alan Mishchenko committed 14 years ago
  
  4704dbc7 Browse Directory
- fixes to pyabc kill mechanism · 34d59b0b
  Baruch Sterin committed 14 years ago
  
  34d59b0b Browse Directory
20 Feb, 2011 1 commit
- Added two new APIs for reading/writing CEX from/into ABC. · 2619edf8
  Alan Mishchenko committed 14 years ago
  
  2619edf8 Browse Directory
16 Feb, 2011 1 commit
- fixes for dumb erros in utilSignal.c/h · 9d02679e
  Baruch Sterin committed 14 years ago
  
  9d02679e Browse Directory
14 Feb, 2011 4 commits
- Improved timeout in the BDD reachability engines. · a7e214bb
  Alan Mishchenko committed 14 years ago
  
  a7e214bb Browse Directory
- Fixing g++ compilation issue for tmpFile(). · 573694f9
  Alan Mishchenko committed 14 years ago
  
  573694f9 Browse Directory
- Unified the use of counter-examples in three packages (additional files). · 8cc7b438
  Alan Mishchenko committed 14 years ago
  
  8cc7b438 Browse Directory
- Unified the use of counter-examples in three packages. · 71cbf17e
  Alan Mishchenko committed 14 years ago
  
  71cbf17e Browse Directory
13 Feb, 2011 2 commits
- Changes to enable C++ compilation after recent modifications. · 686d38d6
  Alan Mishchenko committed 14 years ago
  
  686d38d6 Browse Directory
- Portability changes to the st package. · d99de60e
  Alan Mishchenko committed 14 years ago
  
  d99de60e Browse Directory
08 Feb, 2011 1 commit
- Yet another update to the runtime control in BDD operations. · 53217cdc
  Alan Mishchenko committed 14 years ago
  
  53217cdc Browse Directory
07 Feb, 2011 1 commit
- Added handling runtime limit inside And and AndExist. · 21bb515b
  Alan Mishchenko committed 14 years ago
  
  21bb515b Browse Directory
02 Feb, 2011 1 commit
- Minor changes to hash table and utilSignal.c. · 1d54983b
  Alan Mishchenko committed 14 years ago
  
  1d54983b Browse Directory
01 Feb, 2011 3 commits
- src/misc/util/utilSignal.c · 3a41da37
  Baruch Sterin committed 14 years ago
  
  3a41da37 Browse Directory
- Cumulative changes of the last two weeks. · d4291dab
  Alan Mishchenko committed 14 years ago
  
  d4291dab Browse Directory
- 1. Replace system() with a function that responds to SIGINT. 2. Add functions to… · b538a5fa
```
1. Replace system() with a function that responds to SIGINT. 2. Add functions to cleanup temporary files on SIGINT. 3. Fix bugs related to signal handling.
```
  Baruch Sterin committed 14 years ago
  b538a5fa Browse Directory
13 Jan, 2011 1 commit
- Cumulative changes in the last few weeks. · ae4b5135
  Alan Mishchenko committed 14 years ago
  
  ae4b5135 Browse Directory
29 Nov, 2010 1 commit
- Code formatting change · ffb04d24
  Alan Mishchenko committed 14 years ago
  
  ffb04d24 Browse Directory