Commits · aeb7f7ea11ac4ab5046754bbc1a2dacae49c18ca · lvzhengyang / abc · GitLab

18 Sep, 2012 1 commit
- Fixing mismatch between declaration of the output value of Extra_CpuTime. · 508b6f1b
  Alan Mishchenko committed 12 years ago
  
  508b6f1b Browse Directory
25 Aug, 2012 1 commit
- New package to read/write a subset of Liberty for STA. · 19d50b98
  Alan Mishchenko committed 12 years ago
  
  19d50b98 Browse Directory
10 Aug, 2012 1 commit
- Added purification of UNSAT core in &gla. · 65b652fa
  Alan Mishchenko committed 12 years ago
  
  65b652fa Browse Directory
14 Jul, 2012 2 commits
- Fixing the integer print-out problem. · fd33975a
  Alan Mishchenko committed 12 years ago
  
  fd33975a Browse Directory
- Fixing the integer print-out problem. · 5d01ed7f
  Alan Mishchenko committed 12 years ago
  
  5d01ed7f 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 1 commit
- Replacing Mb/Gb to be MB/GB. · 908d5e69
  Alan Mishchenko committed 12 years ago
  
  908d5e69 Browse Directory
08 Jul, 2012 2 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. · 3aab7245
  Alan Mishchenko committed 12 years ago
  
  3aab7245 Browse Directory
07 Jul, 2012 2 commits
- Fixing time printouts in 'pdr'. · 00eafb23
  Alan Mishchenko committed 12 years ago
  
  00eafb23 Browse Directory
- Fixing time printouts in 'pdr'. · 70331b58
  Alan Mishchenko committed 12 years ago
  
  70331b58 Browse Directory
22 Jun, 2012 1 commit
- Added memory reporting to &vta. · 735a831e
  Alan Mishchenko committed 12 years ago
  
  735a831e Browse Directory
15 Jun, 2012 1 commit
- Added option to compile on windows without DLL support. · 082d27ed
  Alan Mishchenko committed 12 years ago
  
  082d27ed Browse Directory
20 Apr, 2012 1 commit
- Misc changes. · 73789120
  Alan Mishchenko committed 12 years ago
  
  73789120 Browse Directory
10 Mar, 2012 1 commit
- Silencing remaining gcc warnings. · 66eb3cf4
  Alan Mishchenko committed 12 years ago
  
  66eb3cf4 Browse Directory
03 Mar, 2012 4 commits
- Some fixes for VTA under Bridge. · 12d9aaa7
  Niklas Een committed 13 years ago
  
  12d9aaa7 Browse Directory
- Counterexamples now work in Bridge · 5b800e05
  Niklas Een committed 13 years ago
  
  5b800e05 Browse Directory
- Some fixes to the Bridge code. More to do. · 929e5e16
  Niklas Een committed 13 years ago
  
  929e5e16 Browse Directory
- Removed warning in Abc_Print · 1e40c5b7
  Niklas Een committed 13 years ago
  
  1e40c5b7 Browse Directory
02 Mar, 2012 5 commits
- Redirecting printf messages. · 7fa9de2d
  Alan Mishchenko committed 13 years ago
  
  7fa9de2d Browse Directory
- Redirecting printf messages. · c47dc99a
  Alan Mishchenko committed 13 years ago
  
  c47dc99a Browse Directory
- Adding features related to the communication bridge. · 7926d75e
  Alan Mishchenko committed 13 years ago
  
  7926d75e Browse Directory
- Created a communication bridge. · a6f363d4
  Alan Mishchenko committed 13 years ago
  
  a6f363d4 Browse Directory
- Created a communication bridge. · 325ac583
  Alan Mishchenko committed 13 years ago
  
  325ac583 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
17 Feb, 2012 1 commit
- Silencing some of the gcc warnings. · 97856d02
  Alan Mishchenko committed 13 years ago
  
  97856d02 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
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
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
12 Nov, 2011 1 commit
- Enabled counter-example minimization in 'write_counter'. · 3beb3677
  Alan Mishchenko committed 13 years ago
  
  3beb3677 Browse Directory
31 Jul, 2011 2 commits
- 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
27 Mar, 2011 1 commit
- Added Max/Min/Abs as static inline functions. · d97e5d68
  Alan Mishchenko committed 13 years ago
  
  d97e5d68 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