Commits · 04dfe7cdee109750fb70525fdd3fc39949530c43 · lvzhengyang / abc · GitLab

19 Aug, 2018 1 commit
- Complication problem fix. · 04dfe7cd
  Alan Mishchenko committed Aug 19, 2018
  
  04dfe7cd Browse Files
02 Aug, 2018 16 commits
- Experiments with function enumeration. · 3fb3c6bd
  Alan Mishchenko committed Aug 01, 2018
  
  3fb3c6bd Browse Files
- Experiments with function enumeration. · 905a6277
  Alan Mishchenko committed Aug 01, 2018
  
  905a6277 Browse Files
- Experiments with function enumeration. · cc4e0be7
  Alan Mishchenko committed Aug 01, 2018
  
  cc4e0be7 Browse Files
- Experiments with function enumeration. · 874bc274
  Alan Mishchenko committed Aug 01, 2018
  
  874bc274 Browse Files
- Experiments with function enumeration. · ac562a7b
  Alan Mishchenko committed Aug 01, 2018
  
  ac562a7b Browse Files
- Experiments with function enumeration. · 82bfe3a4
  Alan Mishchenko committed Aug 01, 2018
  
  82bfe3a4 Browse Files
- Experiments with function enumeration. · af5a70c0
  Alan Mishchenko committed Aug 01, 2018
  
  af5a70c0 Browse Files
- Experiments with function enumeration. · bea3385f
  Alan Mishchenko committed Aug 01, 2018
  
  bea3385f Browse Files
- Experiments with function enumeration. · a4503d1c
  Alan Mishchenko committed Aug 01, 2018
  
  a4503d1c Browse Files
- Experiments with function enumeration. · cb165d8c
  Alan Mishchenko committed Aug 01, 2018
  
  cb165d8c Browse Files
- Experiments with function enumeration. · a5042e19
  Alan Mishchenko committed Aug 01, 2018
  
  a5042e19 Browse Files
- Experiments with function enumeration. · 21e5b041
  Alan Mishchenko committed Aug 01, 2018
  
  21e5b041 Browse Files
- Experiments with function enumeration. · b90528ab
  Alan Mishchenko committed Aug 01, 2018
  
  b90528ab Browse Files
- Experiments with function enumeration. · 9c81dac9
  Alan Mishchenko committed Aug 01, 2018
  
  9c81dac9 Browse Files
- Experiments with function enumeration. · d379ba2f
  Alan Mishchenko committed Aug 01, 2018
  
  d379ba2f Browse Files
- Experiments with function enumeration. · 94f6bfef
  Alan Mishchenko committed Aug 01, 2018
  
  94f6bfef Browse Files
30 Jul, 2018 1 commit
- Adding procedure to compute tuples of k out of n as a BDD. · 1256abca
  Alan Mishchenko committed Jul 29, 2018
  
  1256abca Browse Files
23 Jul, 2018 1 commit
- Procedure to return seq equivalences. · 7732b9a2
  Alan Mishchenko committed Jul 22, 2018
  
  7732b9a2 Browse Files
22 Jul, 2018 1 commit
- Counting ones in truth table. · ae6716b0
  Alan Mishchenko committed Jul 21, 2018
  
  ae6716b0 Browse Files
08 Jul, 2018 1 commit
- Bug fix in 'gen -b'. · 24407e13
  Alan Mishchenko committed Jul 08, 2018
  
  24407e13 Browse Files
05 Jul, 2018 4 commits
- Updating command 'majgen'. · 8110199a
  Alan Mishchenko committed Jul 04, 2018
  
  8110199a Browse Files
- Bug fix. · 76aa1d4f
  Alan Mishchenko committed Jul 04, 2018
  
  76aa1d4f Browse Files
- Updating command 'majgen'. · 7d641b7c
  Alan Mishchenko committed Jul 04, 2018
  
  7d641b7c Browse Files
- Generating adder-trees using 'gen -b -A <num> -N <num> <file>.v'. · 18bc189a
  Alan Mishchenko committed Jul 04, 2018
  
  18bc189a Browse Files
04 Jul, 2018 1 commit
- Adding command 'majgen'. · f49e8f0f
  Alan Mishchenko committed Jul 04, 2018
  
  f49e8f0f Browse Files
25 Jun, 2018 1 commit
- Bug fix by Horus Nero. · 7522e68b
  Alan Mishchenko committed Jun 25, 2018
  
  7522e68b Browse Files
21 Jun, 2018 2 commits
- Path enumeration using SAT. · 9ff928a7
  Alan Mishchenko committed Jun 20, 2018
  
  9ff928a7 Browse Files
- Bug fix in polynomial construction. · 2dd629a4
  Alan Mishchenko committed Jun 20, 2018
  
  2dd629a4 Browse Files
17 Jun, 2018 1 commit
- Command %blastmem for bit-blasting small memories. · 28a1307a
  Alan Mishchenko committed Jun 16, 2018
  
  28a1307a Browse Files
16 Jun, 2018 1 commit
- Bug fix in 'lutpack' (level count overflow). · f4a267d5
  Alan Mishchenko committed Jun 16, 2018
  
  f4a267d5 Browse Files
15 Jun, 2018 1 commit
- Extending NDR to support adder/subtractor. · 15939511
  Alan Mishchenko committed Jun 14, 2018
  
  15939511 Browse Files
14 Jun, 2018 2 commits
- Enabling user-specified output signature in &polyn (bug fix). · baab8c11
  Alan Mishchenko committed Jun 13, 2018
  
  baab8c11 Browse Files
- Enabling user-specified output signature in &polyn. · 01d736cb
  Alan Mishchenko committed Jun 13, 2018
  
  01d736cb Browse Files
12 Jun, 2018 1 commit
- Bug fix (accessing unassigned memory). · aa2f29fa
  Alan Mishchenko committed Jun 12, 2018
  
  aa2f29fa Browse Files
11 Jun, 2018 1 commit
- Experiments with path enumeration. · 1c990fc4
  Alan Mishchenko committed Jun 10, 2018
  
  1c990fc4 Browse Files
08 Jun, 2018 3 commits
- Compiler warnings. · dca22182
  Alan Mishchenko committed Jun 08, 2018
  
  dca22182 Browse Files
- Improvements in bit-blasting of adders and multipliers. · d06d7836
  Alan Mishchenko committed Jun 08, 2018
  
  d06d7836 Browse Files
- Changing makefile to suppress warnings with GCC 5+ · a08cc8b2
  Alan Mishchenko committed Jun 08, 2018
  
  a08cc8b2 Browse Files
07 Jun, 2018 1 commit
- Adding switch 'clp -o' to reverse initial variable ordering. · b729c737
  Alan Mishchenko committed Jun 07, 2018
  
  b729c737 Browse Files