Commits · 621d6355f475670cfdba5b685c65ee4dfd4207ea · lvzhengyang / abc · GitLab

08 Nov, 2021 1 commit
- Temporary fix to a &blut problem. · 621d6355
  Alan Mishchenko committed Nov 07, 2021
  
  621d6355 Browse Files
05 Nov, 2021 1 commit
- Compiler warnings. · 5e4a7847
  Alan Mishchenko committed Nov 05, 2021
  
  5e4a7847 Browse Files
03 Nov, 2021 2 commits
- Bug fix and new procedures. · 18b4e8be
  Alan Mishchenko committed Nov 02, 2021
  
  18b4e8be Browse Files
- Bug fix and new procedures. · a80a91e4
  Alan Mishchenko committed Nov 02, 2021
  
  a80a91e4 Browse Files
26 Oct, 2021 1 commit
- New API for external calls. · d13e33cd
  Alan Mishchenko committed Oct 26, 2021
  
  d13e33cd Browse Files
23 Oct, 2021 1 commit
- Bug fix in sweep (which happens to be a rare bug in Abc_NodeMinimumBase). · 456e381a
  Alan Mishchenko committed Oct 23, 2021
  
  456e381a Browse Files
22 Oct, 2021 1 commit
- Various changes. · d4f073ba
  Alan Mishchenko committed Oct 22, 2021
  
  d4f073ba Browse Files
18 Oct, 2021 1 commit
- Changing static to extern for two procedures. · abc54a2d
  Alan Mishchenko committed Oct 17, 2021
  
  abc54a2d Browse Files
10 Oct, 2021 1 commit
- Experiments with pattern generation. · f0236d5a
  Alan Mishchenko committed Oct 10, 2021
  
  f0236d5a Browse Files
09 Oct, 2021 1 commit
- Experiments with SAT solving. · d514029e
  Alan Mishchenko committed Oct 09, 2021
  
  d514029e Browse Files
08 Oct, 2021 1 commit
- New command &stochsyn for stochastic synthesis. · 1afd156d
  Alan Mishchenko committed Oct 07, 2021
  
  1afd156d Browse Files
07 Oct, 2021 3 commits
- Compiler warning. · e56a7676
  Alan Mishchenko committed Oct 06, 2021
  
  e56a7676 Browse Files
- New command &stochsyn for stochastic synthesis. · 227b0c77
  Alan Mishchenko committed Oct 06, 2021
  
  227b0c77 Browse Files
- Various changes. · 31f88974
  Alan Mishchenko committed Oct 06, 2021
  
  31f88974 Browse Files
01 Oct, 2021 3 commits
- Compiler warnings. · eb44a80b
  Alan Mishchenko committed Sep 30, 2021
  
  eb44a80b Browse Files
- Compiler warnings. · e76b7ba0
  Alan Mishchenko committed Sep 30, 2021
  
  e76b7ba0 Browse Files
- Various changes. · 674bcbee
  Alan Mishchenko committed Sep 30, 2021
  
  674bcbee Browse Files
26 Sep, 2021 4 commits
- Other compiler changes. · a8b5da82
  Alan Mishchenko committed Sep 26, 2021
  
  a8b5da82 Browse Files
- Changing declaration of Vec_Ptr_t sorting function to satisfy some compilers. · ba64e786
  Alan Mishchenko committed Sep 26, 2021
  
  ba64e786 Browse Files
- Various changes. · 2ce1ce8b
  Alan Mishchenko committed Sep 26, 2021
  
  2ce1ce8b Browse Files
- Two rare corner-case bugs in &if mapper. · 787dbb94
  Alan Mishchenko committed Sep 26, 2021
  
  787dbb94 Browse Files
23 Sep, 2021 1 commit
- Experiment with simulation. · baf2a650
  Alan Mishchenko committed Sep 22, 2021
  
  baf2a650 Browse Files
21 Sep, 2021 5 commits
- Adding command &reshape. · cc13d1fb
  Alan Mishchenko committed Sep 21, 2021
  
  cc13d1fb Browse Files
- Adding command &reshape. · 627c7d33
  Alan Mishchenko committed Sep 21, 2021
  
  627c7d33 Browse Files
- Adding command &reshape. · 1e69e7e7
  Alan Mishchenko committed Sep 21, 2021
  
  1e69e7e7 Browse Files
- Removing unused command. · a3632560
  Alan Mishchenko committed Sep 21, 2021
  
  a3632560 Browse Files
- Various changes. · e2f15482
  Alan Mishchenko committed Sep 21, 2021
  
  e2f15482 Browse Files
17 Sep, 2021 2 commits
- Improving MiniAIG and name manager. · 6ca31c47
  Alan Mishchenko committed Sep 16, 2021
  
  6ca31c47 Browse Files
- Further debugging of MiniLUT APIs. · 997e1a2d
  Alan Mishchenko committed Sep 16, 2021
  
  997e1a2d Browse Files
15 Sep, 2021 1 commit
- Various changes. · ecda331a
  Alan Mishchenko committed Sep 14, 2021
  
  ecda331a Browse Files
13 Sep, 2021 2 commits
- Enable command 'pipe' for pipelining. · c5572722
  Alan Mishchenko committed Sep 13, 2021
  
  c5572722 Browse Files
- Bug fix in MiniLUT code. · 2f993e58
  Alan Mishchenko committed Sep 13, 2021
  
  2f993e58 Browse Files
11 Sep, 2021 1 commit
- Procedure to printout MiniLUT. · d3d56440
  Alan Mishchenko committed Sep 11, 2021
  
  d3d56440 Browse Files
08 Sep, 2021 1 commit
- Disabling command print_mint when CUDD is not used. · bafd2a78
  Alan Mishchenko committed Sep 07, 2021
  
  bafd2a78 Browse Files
06 Sep, 2021 2 commits
- Bug fix in logic optimization. · 9d89faa8
  Alan Mishchenko committed Sep 06, 2021
  
  9d89faa8 Browse Files
- Bug fix in the timing manager. · 14dc389e
  Alan Mishchenko committed Sep 06, 2021
  
  14dc389e Browse Files
05 Sep, 2021 1 commit
- Various changes. · e7a029d7
  Alan Mishchenko committed Sep 04, 2021
  
  e7a029d7 Browse Files
04 Sep, 2021 1 commit
- Additional MiniLUT API. · ed9c16d4
  Alan Mishchenko committed Sep 03, 2021
  
  ed9c16d4 Browse Files
03 Sep, 2021 1 commit
- Various changes. · a7183187
  Alan Mishchenko committed Sep 02, 2021
  
  a7183187 Browse Files
24 Aug, 2021 1 commit
- Allow &mfs to work on sequential AIGs. · 388255e5
  Alan Mishchenko committed Aug 24, 2021
  
  388255e5 Browse Files