Commits · 8e5d771feb5e0914e4acecfaa942a60766882f4d · lvzhengyang / abc · GitLab

14 Nov, 2012 1 commit
- Added command 'cexsave' and 'cexload'. · d8e04032
  Alan Mishchenko committed 12 years ago
  
  d8e04032 Browse Directory
25 Oct, 2012 1 commit
- Integrating GIA with LUT mapping. · 6b96d9a8
  Alan Mishchenko committed 12 years ago
  
  6b96d9a8 Browse Directory
07 Oct, 2012 2 commits
- Updating readme. · cad47254
  Alan Mishchenko committed 12 years ago
  
  cad47254 Browse Directory
- Updating readme. · f66fd3f3
  Alan Mishchenko committed 12 years ago
  
  f66fd3f3 Browse Directory
04 Oct, 2012 2 commits
- Changed 'readline' declaration rules. · e01e4936
  Alan Mishchenko committed 12 years ago
  
  e01e4936 Browse Directory
- Minor bug fix. · bbd170e8
  Alan Mishchenko committed 12 years ago
  
  bbd170e8 Browse Directory
03 Oct, 2012 2 commits
- Added command 'starter' to call ABC concurrently. · 6c1c45b9
  Alan Mishchenko committed 12 years ago
  
  6c1c45b9 Browse Directory
- Added detection of 'readline' library at compile-time. · 9d6f7fa4
  Alan Mishchenko committed 12 years ago
  
  9d6f7fa4 Browse Directory
02 Oct, 2012 1 commit
- Added detection of 'readline' library at compile-time. · 65cf119c
  Alan Mishchenko committed 12 years ago
  
  65cf119c Browse Directory
29 Sep, 2012 5 commits
- Experiments with mini AIG manager. · 781c66cb
  Alan Mishchenko committed 12 years ago
  
  781c66cb Browse Directory
- Compiler warnings. · 73d68a08
  Alan Mishchenko committed 12 years ago
  
  73d68a08 Browse Directory
- Added detection of 'readline' library at compile-time. · 13dc7bac
  Alan Mishchenko committed 12 years ago
  
  13dc7bac Browse Directory
- Replacing 'st_table' by 'st__table' to resolve linker problems. · 71bdfae9
  Alan Mishchenko committed 12 years ago
  
  71bdfae9 Browse Directory
- Experiments with mini AIG manager. · 5cf9d6dd
  Alan Mishchenko committed 12 years ago
  
  5cf9d6dd Browse Directory
15 Sep, 2012 1 commit
- Prepared &gla to try abstracting and proving concurrently. · 117bc0db
  Alan Mishchenko committed 12 years ago
  
  117bc0db Browse Directory
12 Sep, 2012 1 commit
- Added -C to command line for running commands, then staying in interactive mode · 1c865bf2
  Niklas Een committed 12 years ago
  
  1c865bf2 Browse Directory
04 Sep, 2012 1 commit
- Better batch mode printout. · 8e12b60b
  Alan Mishchenko committed 12 years ago
  
  8e12b60b Browse Directory
28 Aug, 2012 2 commits
- Bug fix: abstraction commands not properly updating status when dumping intermediate abstraction. · 329831bd
  Alan Mishchenko committed 12 years ago
  
  329831bd Browse Directory
- Improved printout of command history. · a6bfd495
  Alan Mishchenko committed 12 years ago
  
  a6bfd495 Browse Directory
25 Aug, 2012 1 commit
- New package to read/write a subset of Liberty for STA. · 13bd7b33
  Alan Mishchenko committed 12 years ago
  
  13bd7b33 Browse Directory
24 Aug, 2012 2 commits
- Added recording history of used commands into file 'abc.history' (Windows only). · 22d21a5c
  Alan Mishchenko committed 12 years ago
  
  22d21a5c Browse Directory
- Added recording history of used commands into file 'abc.history' (Windows only). · 7e2b0077
  Alan Mishchenko committed 12 years ago
  
  7e2b0077 Browse Directory
11 Jul, 2012 1 commit
- Replacing printf() by Abc_Print(). · 63dab645
  Alan Mishchenko committed 12 years ago
  
  63dab645 Browse Directory
10 Jul, 2012 1 commit
- Removing print-out message in bridge mode. · a92c41f7
  Alan Mishchenko committed 12 years ago
  
  a92c41f7 Browse Directory
08 Jul, 2012 3 commits
- Adding printout to report command line executed in batch mode. · d533f182
  Alan Mishchenko committed 12 years ago
  
  d533f182 Browse Directory
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse Directory
- Fixing time primtouts throughout the code. · 4760983a
  Alan Mishchenko committed 12 years ago
  
  4760983a Browse Directory
07 Jul, 2012 1 commit
- Making 'pdr', &gla, &vta print correctly in batch mode. · 8b881d23
  Alan Mishchenko committed 12 years ago
  
  8b881d23 Browse Directory
11 May, 2012 1 commit
- Included copyright statement into 'main.c'. · e37fb952
  Alan Mishchenko committed 12 years ago
  
  e37fb952 Browse Directory
01 May, 2012 1 commit
- Misc changes. · 959ac609
  Alan Mishchenko committed 12 years ago
  
  959ac609 Browse Directory
27 Apr, 2012 2 commits
- Misc changes. · a4baba2c
  Alan Mishchenko committed 12 years ago
  
  a4baba2c Browse Directory
- Updating the counter of finished frames when dumping intermediate abstraction in &vta. · 5f5dda90
  Alan Mishchenko committed 12 years ago
  
  5f5dda90 Browse Directory
07 Apr, 2012 1 commit
- Better interface with the new code. · c3d3ccf3
  Alan Mishchenko committed 12 years ago
  
  c3d3ccf3 Browse Directory
20 Mar, 2012 1 commit
- Bug fix to prevent crashing when Abc_Print() is called while ABC is not initialized. · 8f91b30a
  Alan Mishchenko committed 12 years ago
  
  8f91b30a Browse Directory
13 Mar, 2012 1 commit
- Exploration of ISO and minor changes. · aeedc6ac
  Alan Mishchenko committed 12 years ago
  
  aeedc6ac Browse Directory
02 Mar, 2012 2 commits
- Redirecting printf messages. · 7fa9de2d
  Alan Mishchenko committed 13 years ago
  
  7fa9de2d Browse Directory
- Adding features related to the communication bridge. · 7926d75e
  Alan Mishchenko committed 13 years ago
  
  7926d75e Browse Directory
24 Feb, 2012 1 commit
- Added a way to disable support for dynamic linking. · 8f445777
  Alan Mishchenko committed 13 years ago
  
  8f445777 Browse Directory
23 Feb, 2012 2 commits
- Silenced a gcc warning. · c20d29e7
  Alan Mishchenko committed 13 years ago
  
  c20d29e7 Browse Directory
- pyabc: silnce more warnings · f4213193
  Baruch Sterin committed 13 years ago
  
  f4213193 Browse Directory