Commits · d4ad3b4156dd2d4fa6d56573e606b05c2d2d97f9 · lvzhengyang / abc · GitLab

12 Jul, 2013 1 commit
- New technology mapper. · fba33fbb
  Alan Mishchenko committed 11 years ago
  
  fba33fbb Browse File
22 Jun, 2013 1 commit
- Limiting runtime limit checks in 'pdr'. · 9eaa290b
  Alan Mishchenko committed 11 years ago
  
  9eaa290b Browse File
18 Jun, 2013 1 commit
- Suggested changes to counting time in Abc_Clock() · 13dd754a
  Alan Mishchenko committed 11 years ago
  
  13dd754a Browse File
20 May, 2013 2 commits
- Updated Makefile as suggested by Mark Jarvin. · 9289d715
  Alan Mishchenko committed 11 years ago
  
  9289d715 Browse File
- Updated Makefile as suggested by Mark Jarvin. · f3bab3e4
  Alan Mishchenko committed 11 years ago
  
  f3bab3e4 Browse File
05 May, 2013 1 commit
- Making changes suggested by Mark Jarvin. · a1ceb761
  Alan Mishchenko committed 11 years ago
  
  a1ceb761 Browse File
04 May, 2013 2 commits
- Temporarily disabling one change to Makefile. · e3f9c4c1
  Alan Mishchenko committed 11 years ago
  
  e3f9c4c1 Browse File
- Making changes suggested by Mark Jarvin. · 36d5ef4e
  Alan Mishchenko committed 11 years ago
  
  36d5ef4e Browse File
25 Apr, 2013 1 commit
- SAT sweeping under constraints. · 486eacc5
  Alan Mishchenko committed 11 years ago
  
  486eacc5 Browse File
03 Apr, 2013 1 commit
- New MFS package. · 7e852767
  Alan Mishchenko committed 11 years ago
  
  7e852767 Browse File
01 Apr, 2013 1 commit
- Shrink for 6-LUTs. · 2650f945
  Alan Mishchenko committed 11 years ago
  
  2650f945 Browse File
10 Dec, 2012 1 commit
- Retiring old 'fpga' command and package. · c9ac0a87
  Alan Mishchenko committed 12 years ago
  
  c9ac0a87 Browse File
14 Nov, 2012 1 commit
- Isolating BMC code into a separate package. · be7a4e42
  Alan Mishchenko committed 12 years ago
  
  be7a4e42 Browse File
29 Oct, 2012 1 commit
- Replaced printfs with Abc_Print · c3168ba6
  Niklas Een committed 12 years ago
  
  c3168ba6 Browse File
06 Oct, 2012 1 commit
- New AIG optimization package. · ad8a3f51
  Alan Mishchenko committed 12 years ago
  
  ad8a3f51 Browse File
29 Sep, 2012 1 commit
- Experiments with mini AIG manager. · 8a91a9af
  Alan Mishchenko committed 12 years ago
  
  8a91a9af Browse File
16 Sep, 2012 2 commits
- Improving printouts in &gla. · 9cbd97b5
  Alan Mishchenko committed 12 years ago
  
  9cbd97b5 Browse File
- Created new abstraction package from the code that was all over the place. · 69bbfa98
  Alan Mishchenko committed 12 years ago
  
  69bbfa98 Browse File
29 Aug, 2012 1 commit
- Suppressed warning 'unused-but-set-variable', which is now enabled by -Wall. · ce1ea443
  Alan Mishchenko committed 12 years ago
  
  ce1ea443 Browse File
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 File
10 Aug, 2012 1 commit
- Compiler warnings. · 8ad4a10f
  Alan Mishchenko committed 12 years ago
  
  8ad4a10f Browse File
08 Jul, 2012 1 commit
- Updating project settings to have simpler include paths. · 1c33107c
  Alan Mishchenko committed 12 years ago
  
  1c33107c Browse File
17 Feb, 2012 2 commits
- Makefile updated to print less information. · b13f208b
  Alan Mishchenko committed 13 years ago
  
  b13f208b Browse File
- Makefile updated to print less information. · 93374434
  Alan Mishchenko committed 13 years ago
  
  93374434 Browse File
22 Jan, 2012 1 commit
- minor changes to Makefile: (1) use CC instead of gcc to compile arch_flags, and… · 20d05d39
```
minor changes to Makefile: (1) use CC instead of gcc to compile arch_flags, and (2) make sure arch_flags is cleaned in make clean
```
  Baruch Sterin committed 13 years ago
  20d05d39 Browse File
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse File
24 Nov, 2011 1 commit
- Added a warning to Makefile about setting compilation flags when compiling on 32-bit Linux. · 7a0a4d4d
  Alan Mishchenko committed 13 years ago
  
  7a0a4d4d Browse File
24 Oct, 2011 1 commit
- Makefile: current LIBS line has a lot of unnecessary and problematic stuff.… · e9ef8e97
```
Makefile: current LIBS line has a lot of unnecessary and problematic stuff. Replace it with just "-lreadline"
```
  Baruch Sterin committed 13 years ago
  e9ef8e97 Browse File
29 Mar, 2011 1 commit
- Added test package. · 2b336851
  Alan Mishchenko committed 13 years ago
  
  2b336851 Browse File
01 Feb, 2011 1 commit
- src/misc/util/utilSignal.c · 3a41da37
  Baruch Sterin committed 14 years ago
  
  3a41da37 Browse File
13 Jan, 2011 1 commit
- Cumulative changes in the last few weeks. · ae4b5135
  Alan Mishchenko committed 14 years ago
  
  ae4b5135 Browse File
01 Nov, 2010 2 commits
- fixed compilation in linux · 093774c1
  Baruch Sterin committed 14 years ago
  
  093774c1 Browse File
- initial commit of public abc · 6130e39b
  Alan Mishchenko committed 14 years ago
  
  6130e39b Browse File
23 Jun, 2015 1 commit
- Version abc90804 · da65e88e
```
committer: Baruch Sterin <baruchs@gmail.com>
```
  Alan Mishchenko committed 9 years ago
  da65e88e Browse File
29 Mar, 2009 1 commit
- Version abc90329 · 23fd1103
  Alan Mishchenko committed 15 years ago
  
  23fd1103 Browse File
10 Mar, 2009 1 commit
- Version abc90310 · 32314347
  Alan Mishchenko committed 15 years ago
  
  32314347 Browse File
15 Feb, 2009 1 commit
- Version abc90215 · 0871bffa
  Alan Mishchenko committed 16 years ago
  
  0871bffa Browse File
18 Jan, 2009 1 commit
- Version abc90118 · f936cc06
  Alan Mishchenko committed 16 years ago
  
  f936cc06 Browse File
29 Oct, 2008 1 commit
- Version abc81029 · c9ad5880
  Alan Mishchenko committed 16 years ago
  
  c9ad5880 Browse File
10 Sep, 2008 1 commit
- Version abc80910 · 4db86550
  Alan Mishchenko committed 16 years ago
  
  4db86550 Browse File