Commits · 20d05d39fc65c1f4da69ba4a23f93be052b2d62a · lvzhengyang / abc · GitLab

22 Jan, 2012 3 commits
- 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 Jan 21, 2012
  20d05d39 Browse Files
- add arch_flags to .hgignore · 88dd9d61
  Baruch Sterin committed Jan 21, 2012
  
  88dd9d61 Browse Files
- pyabc: adapt build to recent changes in the rest of ABC · 6e72e2fb
  Baruch Sterin committed Jan 21, 2012
  
  6e72e2fb Browse Files
21 Jan, 2012 5 commits
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed Jan 21, 2012
  
  8014f25f Browse Files
- Deleting file added by mistake. · c44cc5de
  Alan Mishchenko committed Jan 20, 2012
  
  c44cc5de Browse Files
- Preserving CI/CO varible names when moving between the main space and &-space. · 2c50c2c5
  Alan Mishchenko committed Jan 20, 2012
  
  2c50c2c5 Browse Files
- Variable timeframe abstraction. · 7d454512
  Alan Mishchenko committed Jan 20, 2012
  
  7d454512 Browse Files
- Variable timeframe abstraction. · 719b06f9
  Alan Mishchenko committed Jan 20, 2012
  
  719b06f9 Browse Files
20 Jan, 2012 3 commits
- New hierarchy manager. · b9163754
  Alan Mishchenko committed Jan 20, 2012
  
  b9163754 Browse Files
- New hierarchy manager. · ec1c45fb
  Alan Mishchenko committed Jan 19, 2012
  
  ec1c45fb Browse Files
- New hierarchy manager. · 215d62f4
  Alan Mishchenko committed Jan 19, 2012
  
  215d62f4 Browse Files
19 Jan, 2012 4 commits
- Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control BMC… · fffd733f
```
Replaced 'bmc' by 'bmc2' in 'dprove'. Added switches to 'dprove' to control BMC frames and conflicts.
```
  Alan Mishchenko committed Jan 19, 2012
  fffd733f Browse Files
- New hierarchy manager. · 0111d43b
  Alan Mishchenko committed Jan 19, 2012
  
  0111d43b Browse Files
- Added switch 'write_counter -f' to output flop values in each time frame. · 8c62c9db
  Alan Mishchenko committed Jan 18, 2012
  
  8c62c9db Browse Files
- New hierarchy manager. · debe4450
  Alan Mishchenko committed Jan 18, 2012
  
  debe4450 Browse Files
18 Jan, 2012 6 commits
- New hierarchy manager. · fe6d1ff7
  Alan Mishchenko committed Jan 18, 2012
  
  fe6d1ff7 Browse Files
- Removing debug print-outs from the SAT solver. · 2fd746ed
  Alan Mishchenko committed Jan 17, 2012
  
  2fd746ed Browse Files
- Changes to the lazy man's synthesis code. · 2a236864
  Alan Mishchenko committed Jan 17, 2012
  
  2a236864 Browse Files
- New hierarchy manager. · d8d705c7
  Alan Mishchenko committed Jan 17, 2012
  
  d8d705c7 Browse Files
- Small bug induced by changes in the SAT solver. · 67300e05
  Alan Mishchenko committed Jan 17, 2012
  
  67300e05 Browse Files
- Added notification about exceeding the number of nodes. · 25914e41
  Alan Mishchenko committed Jan 17, 2012
  
  25914e41 Browse Files
17 Jan, 2012 3 commits
- New hierarchy manager. · 6bff2986
  Alan Mishchenko committed Jan 17, 2012
  
  6bff2986 Browse Files
- Variable timeframe abstraction. · 940d5d66
  Alan Mishchenko committed Jan 16, 2012
  
  940d5d66 Browse Files
- New hierarchy manager. · be5256c9
  Alan Mishchenko committed Jan 16, 2012
  
  be5256c9 Browse Files
16 Jan, 2012 4 commits
- Removing additional printout in the GIA package. · 08f6d49f
  Alan Mishchenko committed Jan 16, 2012
  
  08f6d49f Browse Files
- New hierarchy manager plus additional printout in the GIA package. · 0695ec54
  Alan Mishchenko committed Jan 16, 2012
  
  0695ec54 Browse Files
- Variable timeframe abstraction. · ca28f77f
  Alan Mishchenko committed Jan 16, 2012
  
  ca28f77f Browse Files
- Variable timeframe abstraction. · 10478a9c
  Alan Mishchenko committed Jan 15, 2012
  
  10478a9c Browse Files
15 Jan, 2012 8 commits
- Changes to the lazy man's synthesis code. · bb4897ab
  Alan Mishchenko committed Jan 15, 2012
  
  bb4897ab Browse Files
- Several small bug fixes in the mapper. · 1f0e5533
  Alan Mishchenko committed Jan 15, 2012
  
  1f0e5533 Browse Files
- Changes to the lazy man's synthesis code. · 60a84f73
  Alan Mishchenko committed Jan 14, 2012
  
  60a84f73 Browse Files
- Changes to the lazy man's synthesis code. · 868ed194
  Alan Mishchenko committed Jan 14, 2012
  
  868ed194 Browse Files
- Bug fixes in the Verilog parser. · ac7e665b
  Alan Mishchenko committed Jan 14, 2012
  
  ac7e665b Browse Files
- New hierarchy manager. · c7e215ca
  Alan Mishchenko committed Jan 14, 2012
  
  c7e215ca Browse Files
- Support computation experiments with different network data-structures. · 9c409add
  Alan Mishchenko committed Jan 14, 2012
  
  9c409add Browse Files
- Small bug fix in printing DSD for Boolean functions. · 4748f698
  Alan Mishchenko committed Jan 14, 2012
  
  4748f698 Browse Files
14 Jan, 2012 4 commits
- New hierarchy manager. · 7a3c33e1
  Alan Mishchenko committed Jan 13, 2012
  
  7a3c33e1 Browse Files
- New hierarchy manager. · 5fff8354
  Alan Mishchenko committed Jan 13, 2012
  
  5fff8354 Browse Files
- New hierarchy manager. · b7ba9aa8
  Alan Mishchenko committed Jan 13, 2012
  
  b7ba9aa8 Browse Files
- Improving printout in the SAT solver. · 37b8a190
  Alan Mishchenko committed Jan 13, 2012
  
  37b8a190 Browse Files