index
:
iCE40/yosys
master
[no description]
about
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
frontends
/
aiger
Commit message (
Expand
)
Author
Age
Files
Lines
*
parse_xaiger() to do "clean -purge"
Eddie Hung
2019-08-29
1
-1
/
+1
*
Fix typo
Eddie Hung
2019-08-19
1
-1
/
+1
*
Remove unused variable
Eddie Hung
2019-08-16
1
-5
/
+0
*
Fix various NDEBUG compiler warnings, closes #1255
Clifford Wolf
2019-08-13
1
-9
/
+11
*
Merge pull request #1258 from YosysHQ/eddie/cleanup
Clifford Wolf
2019-08-10
1
-16
/
+16
|
\
|
*
RTLIL::S{0,1} -> State::S{0,1}
Eddie Hung
2019-08-06
1
-16
/
+16
*
|
Add __STDC_FORMAT_MACROS before <inttypes.h> as per @mithro
Eddie Hung
2019-08-09
1
-0
/
+1
*
|
Run "clean" on mapped_mod in its own design
Eddie Hung
2019-08-07
2
-24
/
+10
|
/
*
Fix formatting for msys2 mingw build using GetSize
Miodrag Milanovic
2019-08-01
1
-0
/
+4
*
Fix missing semicolon in Windows-specific code in aigerparse.cc.
William D. Jones
2019-07-14
1
-2
/
+2
*
Replace log_assert() with meaningful log_error()
Eddie Hung
2019-06-28
1
-1
/
+5
*
Refactor for one "abc_carry" attribute on module
Eddie Hung
2019-06-27
1
-31
/
+37
*
Remove unneeded include
Eddie Hung
2019-06-27
1
-3
/
+0
*
Reduce log_debug spam in parse_xaiger()
Eddie Hung
2019-06-21
1
-16
/
+19
*
Workaround issues exposed by gcc-4.8
Eddie Hung
2019-06-21
1
-0
/
+7
*
Fix broken abc9.v test due to inout being 1'bx
Eddie Hung
2019-06-20
1
-3
/
+10
*
Fix issue with part of PI being 1'bx
Eddie Hung
2019-06-20
1
-4
/
+6
*
Cleanup
Eddie Hung
2019-06-16
1
-20
/
+1
*
Cover __APPLE__ too for little to big endian
Eddie Hung
2019-06-14
1
-4
/
+7
*
Further cleanup based on @daveshah1
Eddie Hung
2019-06-14
1
-10
/
+20
*
Resolve comments from @daveshah1
Eddie Hung
2019-06-14
1
-2
/
+2
*
Cleanup
Eddie Hung
2019-06-14
1
-7
/
+3
*
Add TODO to parse_xaiger
Eddie Hung
2019-06-14
1
-0
/
+1
*
Optimise some more
Eddie Hung
2019-06-13
1
-58
/
+53
*
Move ConstEvalAig to aigerparse.cc
Eddie Hung
2019-06-13
1
-3
/
+161
*
Add ConstEvalAig specialised for AIGs
Eddie Hung
2019-06-13
1
-3
/
+2
*
parse_xaiger to cope with inouts
Eddie Hung
2019-06-12
1
-6
/
+0
*
Consistency
Eddie Hung
2019-06-12
2
-2
/
+2
*
Merge remote-tracking branch 'origin/master' into xaig
Eddie Hung
2019-06-12
2
-859
/
+837
|
\
|
*
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
2
-13
/
+52
|
*
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
*
|
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
*
|
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
|
/
/
[next]