index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
gia
Commit message (
Expand
)
Author
Age
Files
Lines
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
4
-18
/
+807
*
Unifying parameters for the &ps command.
Alan Mishchenko
2013-09-05
8
-16
/
+26
*
Updates for the new BMC engine.
Alan Mishchenko
2013-09-05
3
-1
/
+24
*
Temporarily (?) undoing previous change because it is incompatible with old A...
Alan Mishchenko
2013-09-05
1
-3
/
+4
*
Making selecting duplication procedure creates a smaller AIG.
Alan Mishchenko
2013-09-05
1
-2
/
+7
*
Improved unrolling manager.
Alan Mishchenko
2013-09-05
1
-2
/
+2
*
Adding new line (\n) after 'c' at the beginning of the comment section in AIG...
Alan Mishchenko
2013-08-29
1
-1
/
+4
*
Adding procedures to specify permutations with unused flops.
Alan Mishchenko
2013-08-28
2
-0
/
+46
*
Added switch &sim -g to enable flop grouping.
Alan Mishchenko
2013-08-20
1
-16
/
+6
*
Added switch &sim -g to enable flop grouping.
Alan Mishchenko
2013-08-20
2
-0
/
+37
*
Enabling LUT decomposition in two special cases.
Alan Mishchenko
2013-08-14
1
-5
/
+5
*
Enabling LUT decomposition in two special cases.
Alan Mishchenko
2013-08-14
1
-2
/
+2
*
Enabling LUT decomposition in two special cases.
Alan Mishchenko
2013-08-14
1
-4
/
+4
*
Enabling LUT decomposition in two special cases.
Alan Mishchenko
2013-08-14
1
-1
/
+1
*
Enabling LUT decomposition in two special cases.
Alan Mishchenko
2013-08-14
1
-36
/
+46
*
Bug fix in &if -z.
Alan Mishchenko
2013-08-14
1
-5
/
+16
*
Enabling additional matching feature in the LUT mapper.
Alan Mishchenko
2013-08-12
1
-3
/
+2
*
Enabling additional matching feature in the LUT mapper.
Alan Mishchenko
2013-08-12
1
-0
/
+29
*
Enabling pin sorting in &if.
Alan Mishchenko
2013-07-22
1
-0
/
+3
*
Imporvements to 'eliminate'.
Alan Mishchenko
2013-07-16
1
-2
/
+2
*
New technology mapper.
Alan Mishchenko
2013-07-14
2
-2
/
+7
*
New technology mapper.
Alan Mishchenko
2013-07-13
1
-0
/
+3
*
New technology mapper.
Alan Mishchenko
2013-07-12
1
-0
/
+6
*
New technology mapper.
Alan Mishchenko
2013-07-12
2
-1855
/
+0
*
Fix to &era to skip synthesis and print verbose output more often.
Alan Mishchenko
2013-07-10
1
-2
/
+3
*
Updating new mapper.
Alan Mishchenko
2013-06-30
1
-366
/
+379
*
Updating new mapper.
Alan Mishchenko
2013-06-30
1
-76
/
+139
*
Updating new mapper.
Alan Mishchenko
2013-06-30
1
-150
/
+114
*
Updating new mapper.
Alan Mishchenko
2013-06-30
1
-207
/
+237
*
Updating new mapper.
Alan Mishchenko
2013-06-30
1
-8
/
+29
*
Updating new mapper.
Alan Mishchenko
2013-06-30
1
-13
/
+64
*
Updating new mapper.
Alan Mishchenko
2013-06-29
1
-110
/
+386
*
Improvemesnts to the mapper.
Alan Mishchenko
2013-06-29
1
-1
/
+4
*
Updating new mapper.
Alan Mishchenko
2013-06-28
1
-241
/
+309
*
Data-structure experiment.
Alan Mishchenko
2013-06-27
1
-85
/
+82
*
Unifying representation of mapping in GIA.
Alan Mishchenko
2013-06-25
1
-1
/
+1
*
Unifying representation of mapping in GIA.
Alan Mishchenko
2013-06-25
12
-448
/
+245
*
Improving integration of the 'if' mapper with GIA.
Alan Mishchenko
2013-06-25
2
-12
/
+15
*
Improving integration of the 'if' mapper with GIA.
Alan Mishchenko
2013-06-25
3
-225
/
+190
*
New random FSM generation command 'genfsm'.
Alan Mishchenko
2013-06-22
1
-9
/
+15
*
Compiler warnings.
Alan Mishchenko
2013-06-18
2
-1
/
+1
*
Integrating new MFS package with GIA manager.
Alan Mishchenko
2013-06-04
4
-8
/
+438
*
Multiplexer profiling.
Alan Mishchenko
2013-05-27
5
-129
/
+369
*
Adding a wrapper around clock() for more accurate time counting in ABC.
Alan Mishchenko
2013-05-27
30
-258
/
+258
*
Counter-example depth minimization.
Alan Mishchenko
2013-05-22
3
-6
/
+98
*
Windows Visual Studio 2008 warnings.
Alan Mishchenko
2013-05-20
2
-3
/
+3
*
g++ warnings.
Alan Mishchenko
2013-05-19
1
-1
/
+1
*
Bug fix in &frames.
Alan Mishchenko
2013-05-19
1
-25
/
+6
*
Bug fix in &mprove.
Alan Mishchenko
2013-05-19
1
-2
/
+2
*
Added new switched to command &frames.
Alan Mishchenko
2013-05-19
2
-6
/
+45
[next]