projects
/
yosys.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merge remote-tracking branch 'origin/master' into xc7dsp
[yosys.git]
/
frontends
/
aiger
/
2019-07-18
Clifford Wolf
Merge pull request #1184 from whitequark/synth-better...
tree
|
commitdiff
2019-07-16
Eddie Hung
Merge pull request #1188 from YosysHQ/eddie/abc9_push_i...
tree
|
commitdiff
2019-07-16
Eddie Hung
Merge pull request #1186 from YosysHQ/eddie/abc9_ice40_fix
tree
|
commitdiff
2019-07-15
Clifford Wolf
Merge pull request #1189 from YosysHQ/eddie/fix1151
tree
|
commitdiff
2019-07-15
Clifford Wolf
Merge pull request #1190 from YosysHQ/eddie/fix_1099
tree
|
commitdiff
2019-07-15
Clifford Wolf
Merge pull request #1191 from whitequark/opt_lut-log_debug
tree
|
commitdiff
2019-07-15
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7dsp
tree
|
commitdiff
2019-07-15
Eddie Hung
Merge branch 'master' into eddie/fix1178
tree
|
commitdiff
2019-07-14
Eddie Hung
Merge pull request #1194 from cr1901/miss-semi
tree
|
commitdiff
2019-07-14
William D. Jones
Fix missing semicolon in Windows-specific code in aiger...
tree
|
commitdiff
2019-07-03
Clifford Wolf
Merge pull request #1147 from YosysHQ/clifford/fix1144
tree
|
commitdiff
2019-06-28
Eddie Hung
Merge pull request #1149 from gsomlo/gls-1098-abcext...
tree
|
commitdiff
2019-06-28
Eddie Hung
Replace log_assert() with meaningful log_error()
tree
|
commitdiff
2019-06-28
Eddie Hung
Replace log_assert() with meaningful log_error()
tree
|
commitdiff
2019-06-28
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-28
Eddie Hung
Merge pull request #1098 from YosysHQ/xaig
tree
|
commitdiff
2019-06-27
Eddie Hung
Refactor for one "abc_carry" attribute on module
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-27
Eddie Hung
Remove unneeded include
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/clifford/fix1132...
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-27
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1132...
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'koriakin/xc7nocarrymux' into xaig
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge branch 'xc7nocarrymux' of https://github.com...
tree
|
commitdiff
2019-06-26
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-25
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-24
Eddie Hung
Merge remote-tracking branch 'origin/eddie/ram32x1d...
tree
|
commitdiff
2019-06-23
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge branch 'master' into xaig
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-22
Eddie Hung
Reduce log_debug spam in parse_xaiger()
tree
|
commitdiff
2019-06-22
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/eddie/muxpack...
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge branch 'xc7mux' into xc7mux_wip
tree
|
commitdiff
2019-06-21
Eddie Hung
Workaround issues exposed by gcc-4.8
tree
|
commitdiff
2019-06-21
Eddie Hung
Workaround issues exposed by gcc-4.8
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/clifford/fix1091...
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix broken abc9.v test due to inout being 1'bx
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix broken abc9.v test due to inout being 1'bx
tree
|
commitdiff
2019-06-21
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix issue with part of PI being 1'bx
tree
|
commitdiff
2019-06-21
Eddie Hung
Fix issue with part of PI being 1'bx
tree
|
commitdiff
2019-06-20
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1115...
tree
|
commitdiff
2019-06-20
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1118...
tree
|
commitdiff
2019-06-20
Eddie Hung
Merge remote-tracking branch 'origin/eddie/fix1115...
tree
|
commitdiff
2019-06-20
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-19
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-06-18
Eddie Hung
Remove unncessary header
tree
|
commitdiff
2019-06-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-18
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-16
Eddie Hung
Merge remote-tracking branch 'origin/xaig' into xc7mux
tree
|
commitdiff
2019-06-16
Eddie Hung
Cleanup
tree
|
commitdiff
2019-06-14
Eddie Hung
Merge branch 'xaig' into xc7mux
tree
|
commitdiff
2019-06-14
Eddie Hung
Cover __APPLE__ too for little to big endian
tree
|
commitdiff
2019-06-14
Eddie Hung
Further cleanup based on @daveshah1
tree
|
commitdiff
2019-06-14
Eddie Hung
Resolve comments from @daveshah1
tree
|
commitdiff
2019-06-14
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-14
Eddie Hung
Merge branch 'xaig' of github.com:YosysHQ/yosys into...
tree
|
commitdiff
2019-06-14
Eddie Hung
Cleanup
tree
|
commitdiff
2019-06-14
Eddie Hung
Add TODO to parse_xaiger
tree
|
commitdiff
2019-06-14
Bogdan Vukobratovic
Merge remote-tracking branch 'upstream/master'
tree
|
commitdiff
2019-06-14
Eddie Hung
Optimise some more
tree
|
commitdiff
2019-06-13
Eddie Hung
Move ConstEvalAig to aigerparse.cc
tree
|
commitdiff
2019-06-13
Eddie Hung
Add ConstEvalAig specialised for AIGs
tree
|
commitdiff
2019-06-13
Serge Bazanski
Merge pull request #829 from abdelrahmanhosny/master
tree
|
commitdiff
2019-06-12
Eddie Hung
parse_xaiger to cope with inouts
tree
|
commitdiff
2019-06-12
Eddie Hung
Consistency
tree
|
commitdiff
2019-06-12
Eddie Hung
Merge remote-tracking branch 'origin/master' into xaig
tree
|
commitdiff
2019-06-11
Eddie Hung
Merge remote-tracking branch 'origin/eddie/shregmap_imp...
tree
|
commitdiff
2019-06-10
Eddie Hung
Merge remote-tracking branch 'origin/eddie/shregmap_imp...
tree
|
commitdiff
2019-06-10
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-08
Clifford Wolf
Merge pull request #1078 from YosysHQ/eddie/muxcover_costs
tree
|
commitdiff
2019-06-07
Eddie Hung
Fine tune aigerparse
tree
|
commitdiff
2019-06-07
Eddie Hung
Merge remote-tracking branch 'origin/master' into xc7mux
tree
|
commitdiff
2019-06-07
Eddie Hung
Merge branch 'master' into eddie/muxpack
tree
|
commitdiff
2019-06-07
Eddie Hung
Fix spacing from spaces to tabs
tree
|
commitdiff
2019-06-07
Clifford Wolf
Merge pull request #1079 from YosysHQ/eddie/fix_read_aiger
tree
|
commitdiff
2019-06-07
Eddie Hung
Fix spacing (entire file is wrong anyway, will fix...
tree
|
commitdiff
2019-06-07
Eddie Hung
Remove unnecessary std::getline() for ASCII
tree
|
commitdiff
2019-06-07
Eddie Hung
Fix read_aiger -- create zero driver, fix init width...
tree
|
commitdiff
2019-06-07
Clifford Wolf
Merge branch 'pr_elab_sys_tasks' of https://github...
tree
|
commitdiff
2019-06-06
Eddie Hung
Merge remote-tracking branch 'origin/eddie/muxpack...
tree
|
commitdiff
next