index
:
iCE40/abc
yosys-experimental
[no description]
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
aig
/
gia
/
giaIso.c
Commit message (
Collapse
)
Author
Age
Files
Lines
*
changed int to unsigned / narrowing conversion error
Heinz Riener
2017-03-03
1
-1
/
+1
|
*
Unifying parameters for the &ps command.
Alan Mishchenko
2013-09-05
1
-1
/
+1
|
*
Adding a wrapper around clock() for more accurate time counting in ABC.
Alan Mishchenko
2013-05-27
1
-35
/
+35
|
*
g++ warnings.
Alan Mishchenko
2013-05-19
1
-1
/
+1
|
*
Reading/writing MiniAIG and several minor changes.
Alan Mishchenko
2013-05-03
1
-35
/
+0
|
*
Faster isomorphism detection (command &iso).
Alan Mishchenko
2013-05-01
1
-5
/
+44
|
*
Changing the print-out of &iso.
Alan Mishchenko
2013-04-30
1
-5
/
+14
|
*
Unifification of custom extensions.
Alan Mishchenko
2012-12-10
1
-3
/
+3
|
*
Deriving CEX after phase/tempor/reparam.
Alan Mishchenko
2012-12-09
1
-1
/
+1
|
*
Deriving CEX after phase/tempor/reparam.
Alan Mishchenko
2012-12-09
1
-4
/
+87
|
*
Deriving CEX after phase/tempor/reparam.
Alan Mishchenko
2012-12-08
1
-9
/
+16
|
*
Enabled recording the name of the file GIA is coming from.
Alan Mishchenko
2012-09-04
1
-0
/
+1
|
*
Fixing time primtouts throughout the code.
Alan Mishchenko
2012-07-07
1
-11
/
+14
|
*
Preventing &iso from removing fanoutless PIs.
Alan Mishchenko
2012-05-03
1
-2
/
+2
|
*
Added supporting dual-output seq miters in &iso.
Alan Mishchenko
2012-04-28
1
-0
/
+8
|
*
Added supporting dual-output seq miters in &iso.
Alan Mishchenko
2012-04-28
1
-2
/
+2
|
*
Added supporting dual-output seq miters in &iso.
Alan Mishchenko
2012-04-28
1
-4
/
+39
|
*
Exploration of ISO and minor changes.
Alan Mishchenko
2012-03-13
1
-7
/
+104
|
*
Updating &test to call full check.
Alan Mishchenko
2012-03-10
1
-1
/
+1
|
*
Added skipping &iso when there is only one PO.
Alan Mishchenko
2012-02-29
1
-0
/
+2
|
*
Isomorphism checking code.
Alan Mishchenko
2012-02-20
1
-11
/
+44
|
*
Isomorphism checking code.
Alan Mishchenko
2012-02-20
1
-122
/
+526
|
*
Isomorphism checking code.
Alan Mishchenko
2012-02-19
1
-9
/
+12
|
*
Isomorphism checking code.
Alan Mishchenko
2012-02-19
1
-9
/
+136
|
*
Added QuickSort based on 3-way partitioning.
Alan Mishchenko
2012-02-19
1
-217
/
+1
|
*
Isomorphism checking code.
Alan Mishchenko
2012-02-19
1
-55
/
+201
|
*
Isomorphism checking code.
Alan Mishchenko
2012-02-18
1
-869
/
+361
|
*
Silencing some of the gcc warnings.
Alan Mishchenko
2012-02-16
1
-1
/
+1
|
*
Isomorphism checking code.
Alan Mishchenko
2012-02-15
1
-86
/
+579
|
*
Isomorphism checking code.
Alan Mishchenko
2012-02-14
1
-0
/
+600