Commits · 30e2b727a1b941bdc968da3e09ed7655124b217b · lvzhengyang / abc · GitLab

20 Nov, 2019 1 commit
- Bug fix in printing truth table in Verilog. · 30e2b727
  Alan Mishchenko committed Nov 20, 2019
  
  30e2b727 Browse Files
19 Nov, 2019 6 commits
- Dumping multiple counter-examples. · 3699f8be
  Alan Mishchenko committed Nov 19, 2019
  
  3699f8be Browse Files
- Dumping multiple counter-examples. · 4242cec3
  Alan Mishchenko committed Nov 19, 2019
  
  4242cec3 Browse Files
- Corner case bug fix in print_stats (warning). · 10dd41be
  Alan Mishchenko committed Nov 19, 2019
  
  10dd41be Browse Files
- Dumping multiple counter-examples. · 2eebfc2e
  Alan Mishchenko committed Nov 19, 2019
  
  2eebfc2e Browse Files
- Corner case bug fix in print_stats. · f2702aee
  Alan Mishchenko committed Nov 19, 2019
  
  f2702aee Browse Files
- Experiments with truth tables. · 8752613e
  Alan Mishchenko committed Nov 19, 2019
  
  8752613e Browse Files
18 Nov, 2019 1 commit
- Bug fix in parsing hierarchical BLIF with mapping. · 0d24b4e4
  Alan Mishchenko committed Nov 18, 2019
  
  0d24b4e4 Browse Files
17 Nov, 2019 2 commits
- Enable blasting LUTs in NDR. · dd5a1f5d
  Alan Mishchenko committed Nov 18, 2019
  
  dd5a1f5d Browse Files
- Procedures to dump input/output data for a benchmark. · 548fa9d4
  Alan Mishchenko committed Nov 17, 2019
  
  548fa9d4 Browse Files
09 Nov, 2019 1 commit
- Adding macro to disable bridge output and APIs by popular demand. · e9896a23
  Alan Mishchenko committed Nov 09, 2019
  
  e9896a23 Browse Files
05 Nov, 2019 1 commit
- Adding option to &flow2 to map using the library. · e9de9902
  Alan Mishchenko committed Nov 05, 2019
  
  e9de9902 Browse Files
03 Nov, 2019 1 commit
- Changes to several APIs. · ec1dc442
  Alan Mishchenko committed Nov 03, 2019
  
  ec1dc442 Browse Files
31 Oct, 2019 1 commit
- Changes to several APIs. · 6b2fe00c
  Alan Mishchenko committed Nov 01, 2019
  
  6b2fe00c Browse Files
27 Oct, 2019 2 commits
- Compiler warnings. · 7f503dc7
  Alan Mishchenko committed Oct 27, 2019
  
  7f503dc7 Browse Files
- Experiments with simulation. · 5a118446
  Alan Mishchenko committed Oct 27, 2019
  
  5a118446 Browse Files
26 Oct, 2019 4 commits
- Adding a new feature to decompose special 6-input cuts. · f9309ce9
  Alan Mishchenko committed Oct 26, 2019
  
  f9309ce9 Browse Files
- Adding limit on the depth of recursion when counting exact area in 'amap'. · feb3e794
  Alan Mishchenko committed Oct 26, 2019
  
  feb3e794 Browse Files
- Adding switch -o to 'map' and '&put' to control gate duplication. · 35c2b421
  Alan Mishchenko committed Oct 26, 2019
  
  35c2b421 Browse Files
- Experiments with miter construction. · d3fddd44
  Alan Mishchenko committed Oct 26, 2019
  
  d3fddd44 Browse Files
06 Oct, 2019 1 commit
- Adding bit-blasting of sqrt using non-restoring algorithm (Parhami, 2nd ed, p. 452) · 52a8ebb4
  Alan Mishchenko committed Oct 05, 2019
  
  52a8ebb4 Browse Files
05 Oct, 2019 1 commit
- Remove assertions when the solver becomes UNSAT after adding constraints in 'scorr -c'. · 4dc569c1
  Alan Mishchenko committed Oct 05, 2019
  
  4dc569c1 Browse Files
04 Oct, 2019 1 commit
- Small bug in the unused code. · 3b4e9573
  Alan Mishchenko committed Oct 04, 2019
  
  3b4e9573 Browse Files
03 Oct, 2019 1 commit
- Several corner-case bug fixes in scorr with constraints. · 623b5e82
  Alan Mishchenko committed Oct 02, 2019
  
  623b5e82 Browse Files
27 Sep, 2019 1 commit
- Fixing compilication problem related to shiftFunc(). · cdabd42a
  Alan Mishchenko committed Sep 27, 2019
  
  cdabd42a Browse Files
26 Sep, 2019 2 commits
- Adding switch to &if to consider special type of 6-input cuts. · b2925950
  Alan Mishchenko committed Sep 26, 2019
  
  b2925950 Browse Files
- Fixing compilication problem related to Abc_TtVerifySmallTruth(). · df2bce1e
  Alan Mishchenko committed Sep 26, 2019
  
  df2bce1e Browse Files
19 Sep, 2019 4 commits
- Making &mfs work with boxes larger than 6 inputs. Adding option &if -w to print delay profile. · 390adc39
  Alan Mishchenko committed Sep 19, 2019
  
  390adc39 Browse Files
- Adding option 'gen -b' to generate signed Booth multipliers. · 3a1705e8
  Alan Mishchenko committed Sep 19, 2019
  
  3a1705e8 Browse Files
- Fixing performance bug (too many partial products) in blasting signed Booth multiplier. · 395614a4
  Alan Mishchenko committed Sep 19, 2019
  
  395614a4 Browse Files
- Bug fix in &trace. · 2ef79300
  Alan Mishchenko committed Sep 18, 2019
  
  2ef79300 Browse Files
14 Sep, 2019 2 commits
- Several suggested bug-fixes. · c3837b95
  Alan Mishchenko committed Sep 13, 2019
  
  c3837b95 Browse Files
- Several suggested bug-fixes. · 4256ad0a
  Alan Mishchenko committed Sep 13, 2019
  
  4256ad0a Browse Files
04 Sep, 2019 1 commit
- Upgrading reparametrization to perform (non-range-equivalent) removal of logic. · 5081b41d
  Alan Mishchenko committed Sep 04, 2019
  
  5081b41d Browse Files
27 Aug, 2019 1 commit
- Fix read_bench to read standard gate names in lower-case. · 379b6a2b
  Alan Mishchenko committed Aug 28, 2019
  
  379b6a2b Browse Files
14 Aug, 2019 1 commit
- Adding switch to suppress printing simple objects in %retime. · 97545722
  Alan Mishchenko committed Aug 14, 2019
  
  97545722 Browse Files
30 Jul, 2019 1 commit
- Adding new switch to &genqfb to use output as an enable in the miter. · 9017fa91
  Alan Mishchenko committed Jul 30, 2019
  
  9017fa91 Browse Files
25 Jul, 2019 3 commits
- Preserving boxes after &write. · 5776ad07
  Alan Mishchenko committed Jul 25, 2019
  
  5776ad07 Browse Files
- Bug fix in &mfs. · a63319ad
  Alan Mishchenko committed Jul 25, 2019
  
  a63319ad Browse Files
- Adding license file for Glucose 3.0 · 0bd26507
  Alan Mishchenko committed Jul 25, 2019
  
  0bd26507 Browse Files