index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
frontends
/
aiger
/
aigerparse.cc
Commit message (
Expand
)
Author
Age
Files
Lines
*
Fine tune aigerparse
Eddie Hung
2019-06-07
1
-62
/
+27
*
Merge remote-tracking branch 'origin/master' into xc7mux
Eddie Hung
2019-06-07
1
-830
/
+865
|
\
|
*
Fix spacing from spaces to tabs
Eddie Hung
2019-06-07
1
-362
/
+362
|
*
Fix spacing (entire file is wrong anyway, will fix later)
Eddie Hung
2019-06-07
1
-3
/
+3
|
*
Remove unnecessary std::getline() for ASCII
Eddie Hung
2019-06-07
1
-3
/
+0
|
*
Fix read_aiger -- create zero driver, fix init width, parse 'b'
Eddie Hung
2019-06-07
1
-13
/
+51
*
|
Assert that box_unique_id is indeed unique
Eddie Hung
2019-06-03
1
-2
/
+3
*
|
Skip internal modules when generating box_unique_id
Eddie Hung
2019-06-03
1
-0
/
+1
*
|
parse_xaiger to cope with flops
Eddie Hung
2019-05-31
1
-83
/
+121
*
|
Merge branch 'xaig' into xc7mux
Eddie Hung
2019-05-31
1
-0
/
+18
|
\
\
|
*
|
Move clean from aigerparse to abc9
Eddie Hung
2019-04-23
1
-2
/
+0
|
*
|
Tidy up
Eddie Hung
2019-04-22
1
-1
/
+1
|
*
|
Revert "Temporarily remove 'r' extension"
Eddie Hung
2019-04-22
1
-0
/
+18
*
|
|
read_xaiger() to name box signals
Eddie Hung
2019-05-30
1
-4
/
+8
*
|
|
Remove whitespace
Eddie Hung
2019-05-30
1
-1
/
+0
*
|
|
Carry in/out to be the last input/output for chains to be preserved
Eddie Hung
2019-05-30
1
-0
/
+38
*
|
|
read_aiger to only clean own design
Eddie Hung
2019-05-28
1
-0
/
+6
*
|
|
Parse "a" extension and boxes from map file
Eddie Hung
2019-05-27
1
-41
/
+60
*
|
|
Remove unused function
Eddie Hung
2019-05-27
1
-23
/
+0
*
|
|
parse_xaiger to not parse symbol table
Eddie Hung
2019-05-27
1
-64
/
+0
*
|
|
Instantiate cell type (from sym file) otherwise 'clean' warnings
Eddie Hung
2019-05-27
1
-3
/
+6
*
|
|
Add 'cinput' and 'coutput' to symbols file for boxes
Eddie Hung
2019-05-27
1
-0
/
+35
*
|
|
Merge remote-tracking branch 'origin/eddie/opt_rmdff' into xc7mux
Eddie Hung
2019-05-23
1
-5
/
+9
|
\
\
\
|
|
|
/
|
|
/
|
|
*
|
Rename label
Eddie Hung
2019-05-21
1
-6
/
+5
|
*
|
Try again
Eddie Hung
2019-05-21
1
-4
/
+10
|
*
|
Fix warning
Eddie Hung
2019-05-21
1
-3
/
+2
*
|
|
Refactor into AigerReader::post_process()
Eddie Hung
2019-04-23
1
-249
/
+160
|
|
/
|
/
|
*
|
Temporarily remove 'r' extension
Eddie Hung
2019-04-22
1
-18
/
+0
*
|
Merge remote-tracking branch 'origin/master' into xaig
Eddie Hung
2019-04-22
1
-3
/
+0
|
\
|
|
*
Add log_debug() framework
Clifford Wolf
2019-04-22
1
-2
/
+0
*
|
read_aiger to parse 'r' extension
Eddie Hung
2019-04-18
1
-0
/
+18
*
|
Ignore a/i/o/h XAIGER extensions
Eddie Hung
2019-04-17
1
-0
/
+7
*
|
Forgot backslashes
Eddie Hung
2019-04-12
1
-1
/
+1
*
|
Handle __dummy_o__ and __const[01]__ in read_aiger not abc
Eddie Hung
2019-04-12
1
-0
/
+4
*
|
Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig
Eddie Hung
2019-04-12
1
-12
/
+32
|
\
\
|
*
|
Fix inout handling for -map option
Eddie Hung
2019-04-12
1
-10
/
+30
*
|
|
Also cope with duplicated CIs
Eddie Hung
2019-04-12
1
-5
/
+23
*
|
|
Cope with an output having same name as an input (i.e. CO)
Eddie Hung
2019-04-12
1
-5
/
+23
|
/
/
*
|
parse_aiger() to rename all $lut cells after "clean"
Eddie Hung
2019-04-10
1
-24
/
+21
*
|
Fix spacing
Eddie Hung
2019-04-08
1
-29
/
+29
*
|
parse_xaiger() to really pass single and multi-bit inout tests
Eddie Hung
2019-02-26
1
-10
/
+12
*
|
parse_xaiger() to cope with multi bit inouts
Eddie Hung
2019-02-26
1
-0
/
+11
*
|
parse_xaiger() to untransform $inout.out output ports
Eddie Hung
2019-02-25
1
-5
/
+20
*
|
read_aiger to accept empty string for clk_name, passable only if no latches
Eddie Hung
2019-02-25
1
-0
/
+2
*
|
read_aiger to work with symbol table
Eddie Hung
2019-02-21
1
-8
/
+47
*
|
Add attribution
Eddie Hung
2019-02-21
1
-1
/
+1
*
|
Merge branch 'read_aiger' into xaig
Eddie Hung
2019-02-21
1
-2
/
+7
|
\
|
|
*
Fix for using POSIX basename
Eddie Hung
2019-02-19
1
-2
/
+4
|
*
Missing OSX headers?
Eddie Hung
2019-02-17
1
-0
/
+5
|
*
read_aiger to ignore line after ands for ascii, not binary
Eddie Hung
2019-02-17
1
-2
/
+1
[next]