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 (
Collapse
)
Author
Age
Files
Lines
...
*
Added command &struct for profiling non-dec structures.
Alan Mishchenko
2013-09-13
2
-0
/
+51
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-12
1
-1
/
+6
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-12
2
-12
/
+26
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-12
2
-72
/
+119
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-12
2
-38
/
+104
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-12
1
-7
/
+5
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-12
1
-19
/
+32
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-12
1
-7
/
+17
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-11
2
-51
/
+46
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-11
1
-5
/
+109
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-11
1
-49
/
+26
|
*
Command '&slice' to cut out the bottom part of the AIG.
Alan Mishchenko
2013-09-11
2
-0
/
+49
|
*
Added sorting equiv classes by the index of their representatives.
Alan Mishchenko
2013-09-10
1
-0
/
+2
|
*
Moving #include to the top of the file in 'giaUtil.c'.
Alan Mishchenko
2013-09-10
1
-2
/
+1
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-09
1
-41
/
+102
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-09
1
-19
/
+102
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-09
1
-19
/
+25
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-09
1
-8
/
+31
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-09
1
-2
/
+3
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-09
2
-38
/
+68
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-08
1
-4
/
+4
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-08
1
-3
/
+3
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-08
1
-1
/
+2
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-08
1
-111
/
+288
|
*
Fixing corner-case bug in command 'ind'.
Alan Mishchenko
2013-09-08
1
-23
/
+40
|
*
Improvements to the &ps.
Alan Mishchenko
2013-09-08
4
-1
/
+44
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
1
-3
/
+3
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
1
-4
/
+59
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
3
-3
/
+74
|
*
Improvements to the new technology mapper.
Alan Mishchenko
2013-09-07
1
-9
/
+13
|
*
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 ↵
Alan Mishchenko
2013-09-05
1
-3
/
+4
|
|
|
|
AIGER files generated by ABC.
*
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 ↵
Alan Mishchenko
2013-08-29
1
-1
/
+4
|
|
|
|
AIGER format.
*
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
|
*
Extending 'permute' to handle user-specified flop permutation.
Alan Mishchenko
2013-08-16
1
-1
/
+1
|
*
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
|
*
Tuning standard-cell mapping flow.
Alan Mishchenko
2013-07-23
1
-3
/
+2
|
[prev]
[next]