index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
Commit message (
Expand
)
Author
Age
Files
Lines
...
*
g++ compiler errors.
Alan Mishchenko
2014-02-25
1
-1
/
+1
*
Changes to LUT mappers.
Alan Mishchenko
2014-02-19
1
-23
/
+2
*
Significant improvement to LUT mappers (if, &if).
Alan Mishchenko
2014-02-16
1
-10
/
+2
*
Adding APIs to specified input/output arrival/required times.
Alan Mishchenko
2014-02-12
1
-0
/
+4
*
Improving switching activity computation.
Alan Mishchenko
2013-12-26
4
-27
/
+26
*
New command &write_cnf.
Alan Mishchenko
2013-12-18
2
-2
/
+29
*
Making 'fold' and 'unfold' skip constant POs (another fix).
Alan Mishchenko
2013-12-04
1
-6
/
+18
*
Making 'fold' and 'unfold' skip constant POs (fixed).
Alan Mishchenko
2013-12-04
1
-4
/
+5
*
Bug fixes in the above patches.
Alan Mishchenko
2013-12-03
1
-2
/
+3
*
Suggested patch of AIG writers.
Alan Mishchenko
2013-12-03
1
-4
/
+10
*
Making 'fold' and 'unfold' skip constant POs.
Alan Mishchenko
2013-12-03
1
-0
/
+4
*
Bug fix in &b when reference counters are given.
Alan Mishchenko
2013-11-30
1
-0
/
+1
*
Structural mapper into structures.
Alan Mishchenko
2013-11-26
1
-39
/
+50
*
Structural mapper into structures.
Alan Mishchenko
2013-11-24
2
-77
/
+128
*
Propagating initial PI level during balancing.
Alan Mishchenko
2013-11-15
1
-0
/
+45
*
Structural mapper into structures.
Alan Mishchenko
2013-11-12
4
-0
/
+735
*
Sweeper internal dumping.
Alan Mishchenko
2013-11-01
1
-7
/
+5
*
Sweeper internal dumping.
Alan Mishchenko
2013-11-01
2
-0
/
+33
*
Sweeper internal verification.
Alan Mishchenko
2013-11-01
2
-4
/
+6
*
Sweeper internal verification and new switch for &cfraig.
Alan Mishchenko
2013-11-01
2
-5
/
+6
*
Sweeper internal verification.
Alan Mishchenko
2013-11-01
3
-24
/
+34
*
Corner-case bug in synthesis commands.
Alan Mishchenko
2013-11-01
1
-0
/
+6
*
Sweeper condition complement bug-fix.
Alan Mishchenko
2013-11-01
1
-1
/
+1
*
Sweeper condition complement bug-fix and code for internal verification.
Alan Mishchenko
2013-11-01
5
-8
/
+56
*
Sweeper return value normalization.
Alan Mishchenko
2013-11-01
2
-0
/
+25
*
False path detection.
Alan Mishchenko
2013-10-31
2
-65
/
+146
*
GIA sweeper: adding APIs to return valid probe ID and run a command line.
Alan Mishchenko
2013-10-31
1
-1
/
+1
*
GIA sweeper: adding APIs to return valid probe ID and run a command line.
Alan Mishchenko
2013-10-31
2
-0
/
+72
*
False path detection.
Alan Mishchenko
2013-10-31
2
-0
/
+217
*
Specialized induction check.
Alan Mishchenko
2013-10-31
2
-4
/
+9
*
GIA sweeper interface update.
Alan Mishchenko
2013-10-31
1
-4
/
+6
*
Bug fix in 'tempor -s'.
Alan Mishchenko
2013-10-30
1
-0
/
+1
*
GIA sweeper interface update.
Alan Mishchenko
2013-10-30
2
-17
/
+15
*
GIA sweeper interface update.
Alan Mishchenko
2013-10-30
2
-34
/
+18
*
Compiler warnings.
Alan Mishchenko
2013-10-30
1
-1
/
+1
*
Compiler warnings.
Alan Mishchenko
2013-10-30
1
-2
/
+2
*
Compiler warnings.
Alan Mishchenko
2013-10-30
1
-2
/
+2
*
New BMC engine.
Alan Mishchenko
2013-10-27
1
-2
/
+2
*
New BMC engine.
Alan Mishchenko
2013-10-27
3
-16
/
+19
*
New BMC engine.
Alan Mishchenko
2013-10-27
1
-3
/
+45
*
Multi-output property solver.
Alan Mishchenko
2013-10-23
3
-1
/
+4
*
Adding new synthesis scripts.
Alan Mishchenko
2013-10-23
3
-2
/
+74
*
More accurate level calculation in AIG balancing.
Alan Mishchenko
2013-10-22
3
-5
/
+64
*
Extending predefined limit in &shrink.
Alan Mishchenko
2013-10-21
1
-1
/
+1
*
Compiler warnings.
Alan Mishchenko
2013-10-17
2
-3
/
+3
*
Extending truth table support in &jf for more than 6 inputs.
Alan Mishchenko
2013-10-10
1
-26
/
+39
*
Improvements to the canonical form computation.
Alan Mishchenko
2013-10-10
1
-10
/
+12
*
CNF generating using new mapper.
Alan Mishchenko
2013-10-10
1
-1
/
+112
*
Upgrading 'mfs2' to consider some nodes as having no level.
Alan Mishchenko
2013-10-09
1
-1
/
+1
*
Moved the code to a different file.
Alan Mishchenko
2013-10-06
1
-197
/
+1
[prev]
[next]