Commits · e033a62282ef94ddca87a1778d66a4a4270ac1c3 · lvzhengyang / abc · GitLab

16 Sep, 2014 2 commits
- Code restructuring. · e033a622
  Alan Mishchenko committed Sep 16, 2014
  
  e033a622 Browse Files
- Improvements to Boolean matching. · 1d5cb52e
  Alan Mishchenko committed Sep 16, 2014
  
  1d5cb52e Browse Files
15 Sep, 2014 1 commit
- Compiler error (duplicate typedef). · 61e58b2d
  Alan Mishchenko committed Sep 15, 2014
  
  61e58b2d Browse Files
12 Sep, 2014 4 commits
- Compiler warnings. · 501c3f0b
  Alan Mishchenko committed Sep 12, 2014
  
  501c3f0b Browse Files
- Replacing tabs with spaces. · 39c68e72
  Alan Mishchenko committed Sep 12, 2014
  
  39c68e72 Browse Files
- New word-level representation package. · dcb7d0d3
  Alan Mishchenko committed Sep 12, 2014
  
  dcb7d0d3 Browse Files
- Resetting the random seed in 'sparsify'. · ae7e2862
  Alan Mishchenko committed Sep 11, 2014
  
  ae7e2862 Browse Files
10 Sep, 2014 3 commits
- Updating timing info during normalization. · 7171812f
  Alan Mishchenko committed Sep 10, 2014
  
  7171812f Browse Files
- Updating timing info during normalization. · c7daa8ca
  Alan Mishchenko committed Sep 10, 2014
  
  c7daa8ca Browse Files
- Bug fix in transferring timing info. · 49f2ec22
  Alan Mishchenko committed Sep 09, 2014
  
  49f2ec22 Browse Files
08 Sep, 2014 1 commit
- Corner-case bug fix in balancing. · a5e93ff0
  Alan Mishchenko committed Sep 08, 2014
  
  a5e93ff0 Browse Files
28 Aug, 2014 7 commits
- Added command 'move_names'. · 233e1261
  Alan Mishchenko committed Aug 28, 2014
  
  233e1261 Browse Files
- Added command 'move_names'. · 79c1928c
  Alan Mishchenko committed Aug 28, 2014
  
  79c1928c Browse Files
- Tuning LUT mapping flow. · 3c51dd47
  Alan Mishchenko committed Aug 28, 2014
  
  3c51dd47 Browse Files
- Tuning LUT mapping flow. · 70a23637
  Alan Mishchenko committed Aug 27, 2014
  
  70a23637 Browse Files
- Compiler warning. · 17343bf1
  Alan Mishchenko committed Aug 27, 2014
  
  17343bf1 Browse Files
- Tuning LUT mapping flow. · ce74153c
  Alan Mishchenko committed Aug 27, 2014
  
  ce74153c Browse Files
- Improvements BLIF parser. · 6db66071
  Alan Mishchenko committed Aug 27, 2014
  
  6db66071 Browse Files
27 Aug, 2014 2 commits
- Improvements to DSD balancing. · 9c154cfe
  Alan Mishchenko committed Aug 27, 2014
  
  9c154cfe Browse Files
- Adding commands to save/load best network. · 66d9a80b
  Alan Mishchenko committed Aug 26, 2014
  
  66d9a80b Browse Files
26 Aug, 2014 2 commits
- Improvements to the timing manager. · 70a34748
  Alan Mishchenko committed Aug 25, 2014
  
  70a34748 Browse Files
- Improving GIA interfaces for some procedures. · 5c30eb10
  Alan Mishchenko committed Aug 25, 2014
  
  5c30eb10 Browse Files
25 Aug, 2014 1 commit
- Correcting incorrect handling of timing in several &-commands. · 47dde4e4
  Alan Mishchenko committed Aug 25, 2014
  
  47dde4e4 Browse Files
23 Aug, 2014 1 commit
- Improving print-out of 'dsd -p'. · cbbf78e6
  Alan Mishchenko committed Aug 22, 2014
  
  cbbf78e6 Browse Files
21 Aug, 2014 1 commit
- Propagating timing support to the new synthesis/mapping commands. · c344f3e3
  Alan Mishchenko committed Aug 20, 2014
  
  c344f3e3 Browse Files
20 Aug, 2014 1 commit
- Extended command &cone to extract timing critical cones. · 6dbaa4d0
  Alan Mishchenko committed Aug 19, 2014
  
  6dbaa4d0 Browse Files
19 Aug, 2014 2 commits
- Added command 'sparsify' to derive ISF from CSF. · 3ef00645
  Alan Mishchenko committed Aug 18, 2014
  
  3ef00645 Browse Files
- Changing default CNF generation in &bmc. · 65f9b735
  Alan Mishchenko committed Aug 18, 2014
  
  65f9b735 Browse Files
17 Aug, 2014 5 commits
- Added DSD-based collapsing &dsd. · 7c8136c8
  Alan Mishchenko committed Aug 16, 2014
  
  7c8136c8 Browse Files
- Added DSD-based collapsing &dsd. · 15372449
  Alan Mishchenko committed Aug 16, 2014
  
  15372449 Browse Files
- Adding specialized matching to 'if'. · ec5bc582
  Alan Mishchenko committed Aug 16, 2014
  
  ec5bc582 Browse Files
- Added DSD-based collapsing &dsd. · 18ed4d34
  Alan Mishchenko committed Aug 16, 2014
  
  18ed4d34 Browse Files
- Adding specialized matching to 'if'. · 97e620a4
  Alan Mishchenko committed Aug 16, 2014
  
  97e620a4 Browse Files
16 Aug, 2014 1 commit
- Added DSD-based collapsing &dsd. · 06100279
  Alan Mishchenko committed Aug 16, 2014
  
  06100279 Browse Files
13 Aug, 2014 2 commits
- Suggested fix to allow .constr files to have empty lines. · c8bfe83e
  Alan Mishchenko committed Aug 13, 2014
  
  c8bfe83e Browse Files
- Enabling circuit solver in &fraig. · f9073474
  Alan Mishchenko committed Aug 12, 2014
  
  f9073474 Browse Files
12 Aug, 2014 3 commits
- Bug fix in &fraig -L <num>. · 90552653
  Alan Mishchenko committed Aug 12, 2014
  
  90552653 Browse Files
- Bug fix in &fraig -L <num>. · 99a917ca
  Alan Mishchenko committed Aug 12, 2014
  
  99a917ca Browse Files
- Increasing the size of pre-allocated memory in &syn2. · 0722dde6
  Alan Mishchenko committed Aug 11, 2014
  
  0722dde6 Browse Files
08 Aug, 2014 1 commit
- Adding delay optimization to synthesis script &syn2. · 68ce0bc1
  Alan Mishchenko committed Aug 08, 2014
  
  68ce0bc1 Browse Files