Commits · 9c154cfe61ea8792a9773f894b4c17fb2d9b255a · lvzhengyang / abc · GitLab

24 Jun, 2014 1 commit
- Improvements to power-aware mapping. · 2edf2a97
  Alan Mishchenko committed 10 years ago
  
  2edf2a97 Browse File
23 Jun, 2014 2 commits
- Improvements to CNF generation. · f79d8e4b
  Alan Mishchenko committed 10 years ago
  
  f79d8e4b Browse File
- Improvements to CNF generation. · 44d9c7e5
  Alan Mishchenko committed 10 years ago
  
  44d9c7e5 Browse File
20 Jun, 2014 1 commit
- Added quick GIG parser. · f04d3273
  Alan Mishchenko committed 10 years ago
  
  f04d3273 Browse File
12 May, 2014 1 commit
- add an option to write_cex to write the CEX in AIGER 1.9 format. · 26c92f16
  Baruch Sterin committed 10 years ago
  
  26c92f16 Browse File
27 Apr, 2014 1 commit
- Added dumping original object names into a file. · 6095b151
  Alan Mishchenko committed 10 years ago
  
  6095b151 Browse File
09 Apr, 2014 1 commit
- Renamed Abc_Lib_t into Abc_Des_t and removed some dead code. · b94b8102
  Alan Mishchenko committed 10 years ago
  
  b94b8102 Browse File
04 Apr, 2014 1 commit
- Better CEX minimization and renaming of write_counter into write_cex. · f6ae0e41
  Alan Mishchenko committed 10 years ago
  
  f6ae0e41 Browse File
17 Mar, 2014 1 commit
- Adding barrier buffers. · 89eed1aa
  Alan Mishchenko committed 10 years ago
  
  89eed1aa Browse File
10 Mar, 2014 1 commit
- Changes to LUT mappers. · c97a9c0d
  Alan Mishchenko committed 10 years ago
  
  c97a9c0d Browse File
29 Dec, 2013 1 commit
- Adding check for the presence of precomputed data. · 737e4671
  Alan Mishchenko committed 11 years ago
  
  737e4671 Browse File
17 Dec, 2013 1 commit
- New command &write_cnf. · 227963f0
  Alan Mishchenko committed 11 years ago
  
  227963f0 Browse File
18 Sep, 2013 1 commit
- Debugging and finetuning the flow. · efa6b54b
  Alan Mishchenko committed 11 years ago
  
  efa6b54b Browse File
17 Sep, 2013 1 commit
- Unifying standard cell library representations. · 7d3976a7
  Alan Mishchenko committed 11 years ago
  
  7d3976a7 Browse File
25 May, 2013 1 commit
- New MFS package. · d5234332
  Alan Mishchenko committed 11 years ago
  
  d5234332 Browse File
07 Nov, 2012 1 commit
- Improvements to LMS code. · db7852bb
  Alan Mishchenko committed 12 years ago
  
  db7852bb Browse File
25 Oct, 2012 3 commits
- Adding binary file dumping for truth tables. · fac39766
  Alan Mishchenko committed 12 years ago
  
  fac39766 Browse File
- Adding binary file dumping for truth tables. · 059da574
  Alan Mishchenko committed 12 years ago
  
  059da574 Browse File
- Added hierarchical BLIF output for mapping with LUT structures (write_blif -a -S <XYZ>). · 7ecea8d4
  Alan Mishchenko committed 12 years ago
  
  7ecea8d4 Browse File
10 Oct, 2012 1 commit
- Added command to transform GIA into the file with truth tables for each output. · d261e617
  Alan Mishchenko committed 12 years ago
  
  d261e617 Browse File
29 Sep, 2012 1 commit
- Replacing 'st_table' by 'st__table' to resolve linker problems. · 71bdfae9
  Alan Mishchenko committed 12 years ago
  
  71bdfae9 Browse File
25 Sep, 2012 2 commits
- Cleaned up interfaces of genlib/liberty/supergate reading/writing. · aed3b3a1
  Alan Mishchenko committed 12 years ago
  
  aed3b3a1 Browse File
- Changed printouts in a few places in supergate computation. · d0197d83
  Alan Mishchenko committed 12 years ago
  
  d0197d83 Browse File
21 Sep, 2012 1 commit
- Added simplification before the concurrent call to PDR. · 5f09917c
  Alan Mishchenko committed 12 years ago
  
  5f09917c Browse File
20 Sep, 2012 3 commits
- Modified 'read' to read all types of libraries (genlib, liberty, scl). · 266af493
  Alan Mishchenko committed 12 years ago
  
  266af493 Browse File
- Modified 'read' to read all types of libraries (genlib, liberty, scl). · bc44087b
  Alan Mishchenko committed 12 years ago
  
  bc44087b Browse File
- Fixes to Verilog parser. · f59de3de
  Alan Mishchenko committed 12 years ago
  
  f59de3de Browse File
16 Sep, 2012 1 commit
- Created new abstraction package from the code that was all over the place. · 69bbfa98
  Alan Mishchenko committed 12 years ago
  
  69bbfa98 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
07 Jul, 2012 1 commit
- Diabling compact AIGER writing by default. · bea33c05
  Alan Mishchenko committed 12 years ago
  
  bea33c05 Browse File
11 Feb, 2012 1 commit
- Graph isomorphism checking code. · c5067f7d
  Alan Mishchenko committed 13 years ago
  
  c5067f7d Browse File
21 Jan, 2012 1 commit
- Major restructuring of the code. · 8014f25f
  Alan Mishchenko committed 13 years ago
  
  8014f25f Browse File
19 Jan, 2012 1 commit
- Added switch 'write_counter -f' to output flop values in each time frame. · 8c62c9db
  Alan Mishchenko committed 13 years ago
  
  8c62c9db Browse File
05 Jan, 2012 1 commit
- Added warning when the network from file has no primary inputs. · 26b87c8c
  Alan Mishchenko committed 13 years ago
  
  26b87c8c Browse File
09 Dec, 2011 2 commits
- Added support for generating a library of real-life truth-tables. · beb29257
  Alan Mishchenko committed 13 years ago
  
  beb29257 Browse File
- Added support for generating a library of real-life truth-tables. · 200c5cc6
  Alan Mishchenko committed 13 years ago
  
  200c5cc6 Browse File
12 Nov, 2011 1 commit
- Enabled counter-example minimization in 'write_counter'. · 3beb3677
  Alan Mishchenko committed 13 years ago
  
  3beb3677 Browse File
09 Nov, 2011 1 commit
- Preventing scripts from aborting if reading has failed. · 0b73c763
  Alan Mishchenko committed 13 years ago
  
  0b73c763 Browse File
28 Oct, 2011 1 commit
- C++ portability changes. · f08be274
  Alan Mishchenko committed 13 years ago
  
  f08be274 Browse File
17 Oct, 2011 1 commit
- Changes to CNF generation code. · 12b70d49
  Alan Mishchenko committed 13 years ago
  
  12b70d49 Browse File