Commits · 2faaa1c04ef9e0baff96bce6b9bf70745c829848 · lvzhengyang / abc · GitLab

09 Sep, 2013 1 commit
- Improvements to the new technology mapper. · 2faaa1c0
  Alan Mishchenko committed Sep 08, 2013
  
  2faaa1c0 Browse Files
08 Sep, 2013 6 commits
- Fixing corner-case bug in command 'ind'. · aa1a50fe
  Alan Mishchenko committed Sep 08, 2013
  
  aa1a50fe Browse Files
- Improvements to the &ps. · 00bc4398
  Alan Mishchenko committed Sep 08, 2013
  
  00bc4398 Browse Files
- Improvements to the new technology mapper. · 726a1d72
  Alan Mishchenko committed Sep 07, 2013
  
  726a1d72 Browse Files
- Improvements to the new technology mapper. · 56e784a2
  Alan Mishchenko committed Sep 07, 2013
  
  56e784a2 Browse Files
- Improvements to the new technology mapper. · 52015095
  Alan Mishchenko committed Sep 07, 2013
  
  52015095 Browse Files
- Improvements to the new technology mapper. · 2a39b635
  Alan Mishchenko committed Sep 07, 2013
  
  2a39b635 Browse Files
07 Sep, 2013 1 commit
- Improvements to the new technology mapper. · 137a7662
  Alan Mishchenko committed Sep 07, 2013
  
  137a7662 Browse Files
06 Sep, 2013 3 commits
- Unifying parameters for the &ps command. · 23879f92
  Alan Mishchenko committed Sep 05, 2013
  
  23879f92 Browse Files
- Updates for the new BMC engine. · 9d14b0c0
  Alan Mishchenko committed Sep 05, 2013
  
  9d14b0c0 Browse Files
- Updates for the new BMC engine. · 191a9ccd
  Alan Mishchenko committed Sep 05, 2013
  
  191a9ccd Browse Files
05 Sep, 2013 13 commits
- Updates for the new BMC engine. · 92c7c6f7
  Alan Mishchenko committed Sep 05, 2013
  
  92c7c6f7 Browse Files
- Updates for the new BMC engine. · 61126bfb
  Alan Mishchenko committed Sep 05, 2013
  
  61126bfb Browse Files
- Updates for the new BMC engine. · 8de10802
  Alan Mishchenko committed Sep 05, 2013
  
  8de10802 Browse Files
- Updates for the new BMC engine. · e9d04664
  Alan Mishchenko committed Sep 05, 2013
  
  e9d04664 Browse Files
- Adding check to &sim3 for the case when the AIG is combinational. · e651e227
  Alan Mishchenko committed Sep 05, 2013
  
  e651e227 Browse Files
- Temporarily (?) undoing previous change because it is incompatible with old… · db34dbeb
```
Temporarily (?) undoing previous change because it is incompatible with old AIGER files generated by ABC.
```
  Alan Mishchenko committed Sep 05, 2013
  db34dbeb Browse Files
- Improved unrolling manager. · e4f9ebfa
  Alan Mishchenko committed Sep 05, 2013
  
  e4f9ebfa Browse Files
- Making selecting duplication procedure creates a smaller AIG. · eddb194c
  Alan Mishchenko committed Sep 05, 2013
  
  eddb194c Browse Files
- Adding interpolant computation sat_solver2. · e5ae3f28
  Alan Mishchenko committed Sep 05, 2013
  
  e5ae3f28 Browse Files
- Improved unrolling manager. · f53e56e8
  Alan Mishchenko committed Sep 05, 2013
  
  f53e56e8 Browse Files
- Added Python API status_get_vector() similar to cex_get_vector(). · 6570fe14
  Alan Mishchenko committed Sep 04, 2013
  
  6570fe14 Browse Files
- Added Python API status_get_vector() similar to cex_get_vector(). · 63e165bc
  Alan Mishchenko committed Sep 04, 2013
  
  63e165bc Browse Files
- Added Python API status_get_vector() similar to cex_get_vector(). · f591f1cd
  Alan Mishchenko committed Sep 04, 2013
  
  f591f1cd Browse Files
03 Sep, 2013 4 commits
- Adding switch 'ps -s' to skip counting buffers/inverters as nodes. · 30c2c48a
  Alan Mishchenko committed Sep 02, 2013
  
  30c2c48a Browse Files
- Adding switch 'ps -s' to skip counting buffers/inverters as nodes. · d1b9ade5
  Alan Mishchenko committed Sep 02, 2013
  
  d1b9ade5 Browse Files
- Removing some old useless code. · b6cb626a
  Alan Mishchenko committed Sep 02, 2013
  
  b6cb626a Browse Files
- Removing some old useless code. · e16e3eda
  Alan Mishchenko committed Sep 02, 2013
  
  e16e3eda Browse Files
02 Sep, 2013 5 commits
- Adding interpolant computation sat_solver2. · fabc84d1
  Alan Mishchenko committed Sep 02, 2013
  
  fabc84d1 Browse Files
- Adding interpolant computation sat_solver2. · 9914c168
  Alan Mishchenko committed Sep 02, 2013
  
  9914c168 Browse Files
- Modify level computation to take discretized arrival times into account. · 57b9a9fe
  Alan Mishchenko committed Sep 02, 2013
  
  57b9a9fe Browse Files
- Adding switch &get -m to import mapped network into the &-space. · 5023be4a
  Alan Mishchenko committed Sep 01, 2013
  
  5023be4a Browse Files
- Adding switch &get -m to import mapped network into the &-space. · e2f11e14
  Alan Mishchenko committed Sep 01, 2013
  
  e2f11e14 Browse Files
29 Aug, 2013 4 commits
- Adding new line (\n) after 'c' at the beginning of the comment section in AIGER format. · 44a83bde
  Alan Mishchenko committed Aug 29, 2013
  
  44a83bde Browse Files
- Buf fixes and minor changes to the &if mapper. · 009cc92e
  Alan Mishchenko committed Aug 29, 2013
  
  009cc92e Browse Files
- Buf fixes and minor changes to the &if mapper. · a495163f
  Alan Mishchenko committed Aug 29, 2013
  
  a495163f Browse Files
- Adding procedures to specify permutations with unused flops. · eec022ea
  Alan Mishchenko committed Aug 28, 2013
  
  eec022ea Browse Files
20 Aug, 2013 2 commits
- Added switch &sim -g to enable flop grouping. · 42f8082c
  Alan Mishchenko committed Aug 20, 2013
  
  42f8082c Browse Files
- Added switch &sim -g to enable flop grouping. · 1ad363c1
  Alan Mishchenko committed Aug 20, 2013
  
  1ad363c1 Browse Files
18 Aug, 2013 1 commit
- Adding code to count statistics about decomposable LUT5. · b7c8f918
  Alan Mishchenko committed Aug 18, 2013
  
  b7c8f918 Browse Files