Commits · 1bf2b0351abcc6f96854eb50976ac010ca7f00f1 · lvzhengyang / abc · GitLab

25 Feb, 2012 1 commit
- Silenced a gcc warning. · 3f525b0d
  Alan Mishchenko committed 13 years ago
  
  3f525b0d Browse Directory
19 Feb, 2012 3 commits
- Added printout of BMC tents in &ps. · ea13085f
  Alan Mishchenko committed 13 years ago
  
  ea13085f Browse Directory
- Added QuickSort based on 3-way partitioning. · c2b2e992
  Alan Mishchenko committed 13 years ago
  
  c2b2e992 Browse Directory
- Added QuickSort based on 3-way partitioning. · 596bbbe6
  Alan Mishchenko committed 13 years ago
  
  596bbbe6 Browse Directory
18 Feb, 2012 1 commit
- Isomorphism checking code. · 97a2e6f2
  Alan Mishchenko committed 13 years ago
  
  97a2e6f2 Browse Directory
17 Feb, 2012 5 commits
- Isomorphism checking code. · ee9f66e2
  Alan Mishchenko committed 13 years ago
  
  ee9f66e2 Browse Directory
- Silencing some of the gcc warnings. · 82cd6ae7
  Alan Mishchenko committed 13 years ago
  
  82cd6ae7 Browse Directory
- Silencing some of the gcc warnings. · 32eb2e22
  Alan Mishchenko committed 13 years ago
  
  32eb2e22 Browse Directory
- 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
15 Feb, 2012 1 commit
- Isomorphism checking code. · a9980135
  Alan Mishchenko committed 13 years ago
  
  a9980135 Browse Directory
11 Feb, 2012 1 commit
- Graph isomorphism checking code. · c5067f7d
  Alan Mishchenko committed 13 years ago
  
  c5067f7d Browse Directory
08 Feb, 2012 1 commit
- Removed unused 'bool' definition and unused memory management macros. · 274e8ada
  Alan Mishchenko committed 13 years ago
  
  274e8ada Browse Directory
31 Jan, 2012 1 commit
- Graph isomorphism checking code. · 04414959
  Alan Mishchenko committed 13 years ago
  
  04414959 Browse Directory
30 Jan, 2012 1 commit
- Moving Vec_IntPrint to where it belongs. · e511b872
  Alan Mishchenko committed 13 years ago
  
  e511b872 Browse Directory
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse Directory
18 Jan, 2012 1 commit
- New hierarchy manager. · d8d705c7
  Alan Mishchenko committed 13 years ago
  
  d8d705c7 Browse Directory
16 Jan, 2012 1 commit
- Variable timeframe abstraction. · 10478a9c
  Alan Mishchenko committed 13 years ago
  
  10478a9c Browse Directory
14 Jan, 2012 1 commit
- Added bit vector. · 1aeaacc0
  Alan Mishchenko committed 13 years ago
  
  1aeaacc0 Browse Directory
13 Jan, 2012 1 commit
- Added new name manager and modified hierarchy manager to use it. · 095345fc
  Alan Mishchenko committed 13 years ago
  
  095345fc Browse Directory
17 Dec, 2011 1 commit
- Added utility to sort lines in a file alphabetically. · cd4752b5
  Alan Mishchenko committed 13 years ago
  
  cd4752b5 Browse Directory
01 Dec, 2011 1 commit
- Started proof transformations. · 5161978d
  Alan Mishchenko committed 13 years ago
  
  5161978d Browse Directory
12 Nov, 2011 1 commit
- Enabled counter-example minimization in 'write_counter'. · 3beb3677
  Alan Mishchenko committed 13 years ago
  
  3beb3677 Browse Directory
31 Oct, 2011 1 commit
- Fixed the overflow timeout problem in bmc/bmc2/bmc3/int/pdr/sim, etc. · 5b75410a
  Alan Mishchenko committed 13 years ago
  
  5b75410a Browse Directory
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