index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
base
/
abci
/
abc.c
Commit message (
Expand
)
Author
Age
Files
Lines
*
Updates for the new BMC engine.
Alan Mishchenko
2013-09-10
1
-2
/
+15
*
New API to return the set of all reachable states as an AIG.
Alan Mishchenko
2013-09-10
1
-1
/
+4
*
Updates for the new BMC engine.
Alan Mishchenko
2013-09-09
1
-3
/
+52
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-09
1
-1
/
+32
*
Improvements to the &ps.
Alan Mishchenko
2013-09-08
1
-2
/
+6
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
1
-2
/
+6
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
1
-2
/
+123
*
Unifying parameters for the &ps command.
Alan Mishchenko
2013-09-05
1
-12
/
+15
*
Updates for the new BMC engine.
Alan Mishchenko
2013-09-05
1
-6
/
+11
*
Updates for the new BMC engine.
Alan Mishchenko
2013-09-05
1
-1
/
+1
*
Updates for the new BMC engine.
Alan Mishchenko
2013-09-05
1
-6
/
+12
*
Adding check to &sim3 for the case when the AIG is combinational.
Alan Mishchenko
2013-09-05
1
-1
/
+5
*
Improved unrolling manager.
Alan Mishchenko
2013-09-05
1
-7
/
+7
*
Adding switch 'ps -s' to skip counting buffers/inverters as nodes.
Alan Mishchenko
2013-09-02
1
-5
/
+11
*
Removing some old useless code.
Alan Mishchenko
2013-09-02
1
-10
/
+2
*
Adding interpolant computation sat_solver2.
Alan Mishchenko
2013-09-02
1
-7
/
+15
*
Adding switch &get -m to import mapped network into the &-space.
Alan Mishchenko
2013-09-01
1
-14
/
+27
*
Buf fixes and minor changes to the &if mapper.
Alan Mishchenko
2013-08-29
1
-1
/
+1
*
Added switch &sim -g to enable flop grouping.
Alan Mishchenko
2013-08-20
1
-2
/
+6
*
Extending 'permute' to handle user-specified flop permutation.
Alan Mishchenko
2013-08-16
1
-10
/
+21
*
Enabling LUT decomposition in two special cases.
Alan Mishchenko
2013-08-14
1
-0
/
+5
*
Enabling additional matching feature in the LUT mapper.
Alan Mishchenko
2013-08-12
1
-11
/
+1
*
Enabling additional matching feature in the LUT mapper.
Alan Mishchenko
2013-08-12
1
-7
/
+31
*
Improvements to buffering and sizing.
Alan Mishchenko
2013-08-09
1
-0
/
+6
*
SAT solver with dynamic CNF loading.
Alan Mishchenko
2013-08-01
1
-0
/
+86
*
Parametrizing standard-cell mapper to account for the fanout delay.
Alan Mishchenko
2013-07-30
1
-5
/
+18
*
Tuning standard-cell mapping flow.
Alan Mishchenko
2013-07-24
1
-9
/
+44
*
New technology mapper.
Alan Mishchenko
2013-07-18
1
-4
/
+8
*
New technology mapper.
Alan Mishchenko
2013-07-17
1
-11
/
+48
*
Imporvements to 'eliminate'.
Alan Mishchenko
2013-07-16
1
-6
/
+20
*
New technology mapper.
Alan Mishchenko
2013-07-15
1
-2
/
+14
*
New technology mapper.
Alan Mishchenko
2013-07-14
1
-2
/
+2
*
New technology mapper.
Alan Mishchenko
2013-07-14
1
-3
/
+17
*
New technology mapper.
Alan Mishchenko
2013-07-13
1
-3
/
+8
*
New technology mapper.
Alan Mishchenko
2013-07-13
1
-2
/
+6
*
New technology mapper.
Alan Mishchenko
2013-07-13
1
-1
/
+1
*
New technology mapper.
Alan Mishchenko
2013-07-12
1
-4
/
+33
*
Compiler warnings.
Alan Mishchenko
2013-07-12
1
-3
/
+3
*
New technology mapper.
Alan Mishchenko
2013-07-12
1
-8
/
+85
*
Compiler problem.
Alan Mishchenko
2013-07-01
1
-14
/
+14
*
Fixing a typo.
Alan Mishchenko
2013-07-01
1
-1
/
+1
*
Adding commands 'bm2' and 'saucy3' developed by Hadi Katebi, Igor Markov, and...
Alan Mishchenko
2013-07-01
1
-0
/
+267
*
Updating new mapper.
Alan Mishchenko
2013-06-29
1
-4
/
+5
*
Adding timeout to command 'ind'.
Alan Mishchenko
2013-06-28
1
-6
/
+20
*
Data-structure experiment.
Alan Mishchenko
2013-06-27
1
-4
/
+4
*
Unifying representation of mapping in GIA.
Alan Mishchenko
2013-06-25
1
-5
/
+5
*
Improving integration of the 'if' mapper with GIA.
Alan Mishchenko
2013-06-25
1
-1
/
+1
*
Improving integration of the 'if' mapper with GIA.
Alan Mishchenko
2013-06-25
1
-5
/
+19
*
Improving CEC (command 'dcec') by integrating XOR balancing.
Alan Mishchenko
2013-06-25
1
-3
/
+3
*
New random FSM generation command 'genfsm'.
Alan Mishchenko
2013-06-22
1
-0
/
+136
[next]