Commits

History for

Commits on Apr 29, 2019

verilog_writer. (lsils#157 )
hriener
authoredApr 29, 2019

Commits on Apr 24, 2019

Docs and CI configuration (lsils#156 )
msoeken
authoredApr 24, 2019
Cut enumeration based on CNF clause count (lsils#155 )
msoeken
authoredApr 24, 2019

Commits on Apr 21, 2019

n-ary operations in k-LUT network. (lsils#152 )
msoeken
authoredApr 21, 2019

Commits on Apr 19, 2019

Fix win compile problems. (lsils#151 )
msoeken
authoredApr 19, 2019
One small bug fix and compiler warnings (lsils#150 )
msoeken
authoredApr 19, 2019

Commits on Apr 16, 2019

Combinational equivalence checking (lsils#149 )
msoeken
authoredApr 16, 2019
Generate combinational miter from networks (lsils#148 )
msoeken
authoredApr 16, 2019

Commits on Apr 15, 2019

Various code cleanup and move some quality test to experiments (lsils#147 )
msoeken
authoredApr 15, 2019

Commits on Apr 14, 2019

Write CNF into DIMACS file. (lsils#146 )
msoeken
authoredApr 14, 2019
SAT-based LUT mapping (lsils#122 )
msoeken
authoredApr 14, 2019
Generate CNF from logic network (lsils#145 )
msoeken
authoredApr 14, 2019

Commits on Apr 11, 2019

Make fanout_view2 work with resubstitution (lsils#144 )
msoeken
authoredApr 11, 2019
sequential AIG interfaces. (lsils#143 )
hriener
authoredApr 11, 2019

Commits on Apr 5, 2019

fix bug (lsils#142 )

eletesta
authored and
msoeken
committedApr 5, 2019
Fanout-view just in cut_rewriting. (lsils#141 )
msoeken
authoredApr 5, 2019

Commits on Apr 2, 2019

log time of algorithm mig_algebraic_rewriting. (lsils#139 )
hriener
authoredApr 2, 2019

Commits on Mar 31, 2019

Release version 0.1 (lsils#138 )
msoeken
authoredMar 31, 2019
DSD decomposition (lsils#137 )
msoeken
authoredMar 31, 2019
Update libraries and make code more generic (lsils#136 )
msoeken
authoredMar 31, 2019

Commits on Mar 8, 2019

Additions to cut enumeration and cut rewriting (lsils#135 )
msoeken
authoredMar 8, 2019

Commits on Mar 4, 2019

Some more small fixes (lsils#134 )
msoeken
authoredMar 4, 2019

Commits on Mar 3, 2019

Various fixes (lsils#133 )
msoeken
authoredMar 3, 2019
Bug in cut enumeration. (lsils#132 )
msoeken
authoredMar 3, 2019

Commits on Feb 16, 2019

Remove unused parameter. (lsils#131 )
msoeken
authoredFeb 16, 2019

Commits on Feb 8, 2019

Compile problem in Windows. (lsils#130 )
msoeken
authoredFeb 8, 2019
Documentation. (lsils#129 )
msoeken
authoredFeb 8, 2019

Commits on Feb 6, 2019

Spectral (lsils#128 )

gmeuli
authored and
msoeken
committedFeb 6, 2019
Change modifiers. (lsils#127 )
msoeken
authoredFeb 6, 2019

Commits on Jan 24, 2019

Adding sequential support to MIGs (lsils#126 )

wlneto
authored and
hriener
committedJan 24, 2019

Commits on Jan 23, 2019

Bug in cut enumeration and shared ptr storage for mapping_view (lsils#125 )
msoeken
authoredJan 23, 2019

Commits on Jan 22, 2019

Small fixes and additions (lsils#123 )
msoeken
authoredJan 22, 2019

Commits on Jan 14, 2019

resub: bugfix to support dynamic_truth_tables. (lsils#121 )
hriener
authoredJan 14, 2019

Commits on Jan 13, 2019

Sorting network generators (lsils#120 )
msoeken
authoredJan 13, 2019
Library update and warning fix (lsils#119 )
msoeken
authoredJan 13, 2019