projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig
[yosys.git] / frontends / aiger /
2019-06-14 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-06-14 Eddie HungCleanup tree | commitdiff
2019-06-14 Eddie HungAdd TODO to parse_xaiger tree | commitdiff
2019-06-14 Eddie HungOptimise some more tree | commitdiff
2019-06-13 Eddie HungMove ConstEvalAig to aigerparse.cc tree | commitdiff
2019-06-13 Eddie HungAdd ConstEvalAig specialised for AIGs tree | commitdiff
2019-06-12 Eddie Hungparse_xaiger to cope with inouts tree | commitdiff
2019-06-12 Eddie HungConsistency tree | commitdiff
2019-06-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-06-11 Eddie HungMerge remote-tracking branch 'origin/eddie/shregmap_imp... tree | commitdiff
2019-06-10 Eddie HungMerge remote-tracking branch 'origin/eddie/shregmap_imp... tree | commitdiff
2019-06-10 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-08 Clifford WolfMerge pull request #1078 from YosysHQ/eddie/muxcover_costs tree | commitdiff
2019-06-07 Eddie HungFine tune aigerparse tree | commitdiff
2019-06-07 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-07 Eddie HungFix spacing from spaces to tabs tree | commitdiff
2019-06-07 Clifford WolfMerge pull request #1079 from YosysHQ/eddie/fix_read_aiger tree | commitdiff
2019-06-07 Eddie HungFix spacing (entire file is wrong anyway, will fix... tree | commitdiff
2019-06-07 Eddie HungRemove unnecessary std::getline() for ASCII tree | commitdiff
2019-06-07 Eddie HungFix read_aiger -- create zero driver, fix init width... tree | commitdiff
2019-06-07 Clifford WolfMerge branch 'pr_elab_sys_tasks' of https://github... tree | commitdiff
2019-06-06 Eddie HungMerge remote-tracking branch 'origin/eddie/muxpack... tree | commitdiff
2019-06-06 Eddie HungMerge remote-tracking branch 'origin/eddie/muxpack... tree | commitdiff
2019-06-06 David ShahMerge pull request #1073 from whitequark/ecp5-diamond-iob tree | commitdiff
2019-06-05 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-05 Eddie HungMerge remote-tracking branch 'origin/clifford/fix1065... tree | commitdiff
2019-06-05 Clifford WolfMerge pull request #999 from jakobwenzel/setundefInitFix tree | commitdiff
2019-06-04 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-06-03 Eddie HungAssert that box_unique_id is indeed unique tree | commitdiff
2019-06-03 Eddie HungSkip internal modules when generating box_unique_id tree | commitdiff
2019-06-01 Eddie Hungparse_xaiger to cope with flops tree | commitdiff
2019-05-31 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-05-30 Eddie Hungread_xaiger() to name box signals tree | commitdiff
2019-05-30 Eddie HungRemove whitespace tree | commitdiff
2019-05-30 Eddie HungCarry in/out to be the last input/output for chains... tree | commitdiff
2019-05-28 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-05-28 Eddie Hungread_aiger to only clean own design tree | commitdiff
2019-05-28 Eddie HungParse "a" extension and boxes from map file tree | commitdiff
2019-05-27 Eddie HungRemove unused function tree | commitdiff
2019-05-27 Eddie Hungparse_xaiger to not parse symbol table tree | commitdiff
2019-05-27 Eddie HungInstantiate cell type (from sym file) otherwise 'clean... tree | commitdiff
2019-05-27 Eddie HungAdd 'cinput' and 'coutput' to symbols file for boxes tree | commitdiff
2019-05-26 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-05-23 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-05-23 Eddie HungMerge remote-tracking branch 'origin/eddie/opt_rmdff... tree | commitdiff
2019-05-22 Clifford WolfMerge pull request #1019 from YosysHQ/clifford/fix1016 tree | commitdiff
2019-05-22 Clifford WolfMerge pull request #1021 from ucb-bar/fixfirrtl_shr,neg tree | commitdiff
2019-05-22 Eddie HungMerge pull request #1024 from YosysHQ/eddie/fix_Wmissin... tree | commitdiff
2019-05-22 Eddie HungRename label tree | commitdiff
2019-05-22 Eddie HungTry again tree | commitdiff
2019-05-21 Eddie HungFix warning tree | commitdiff
2019-05-21 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-05-02 Eddie HungMerge remote-tracking branch 'origin/clifford/pmgenstuf... tree | commitdiff
2019-05-02 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-04-30 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2019-04-30 Benedikt TutzerMerge branch 'master' of https://github.com/YosysHQ... tree | commitdiff
2019-04-26 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-04-26 Eddie HungMerge remote-tracking branch 'origin/eddie/split_shiftx... tree | commitdiff
2019-04-26 Eddie HungMerge branch 'eddie/split_shiftx' into xc7mux tree | commitdiff
2019-04-23 Eddie HungRefactor into AigerReader::post_process() tree | commitdiff
2019-04-23 Eddie HungMove clean from aigerparse to abc9 tree | commitdiff
2019-04-23 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-04-23 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-23 Eddie HungTidy up tree | commitdiff
2019-04-23 Eddie HungRevert "Temporarily remove 'r' extension" tree | commitdiff
2019-04-22 Eddie HungMerge pull request #914 from YosysHQ/xc7srl tree | commitdiff
2019-04-22 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-04-22 Eddie HungTemporarily remove 'r' extension tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/xc7srl' into xc7mux tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #952 from YosysHQ/clifford/fix370 tree | commitdiff
2019-04-22 Clifford WolfMerge pull request #951 from YosysHQ/clifford/logdebug tree | commitdiff
2019-04-22 Clifford WolfAdd log_debug() framework tree | commitdiff
2019-04-22 Eddie HungMerge remote-tracking branch 'origin/clifford/libwb... tree | commitdiff
2019-04-21 Eddie HungMerge remote-tracking branch 'origin/clifford/libwb... tree | commitdiff
2019-04-20 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-19 Eddie Hungread_aiger to parse 'r' extension tree | commitdiff
2019-04-18 Eddie HungMerge remote-tracking branch 'origin/clifford/whitebox... tree | commitdiff
2019-04-17 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-17 Eddie HungIgnore a/i/o/h XAIGER extensions tree | commitdiff
2019-04-16 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-16 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-04-16 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-13 Eddie HungForgot backslashes tree | commitdiff
2019-04-13 Eddie HungHandle __dummy_o__ and __const[01]__ in read_aiger... tree | commitdiff
2019-04-13 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-04-13 Eddie HungFix inout handling for -map option tree | commitdiff
2019-04-12 Eddie HungMerge branch 'xaig' of github.com:YosysHQ/yosys into... tree | commitdiff
2019-04-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-12 Eddie HungAlso cope with duplicated CIs tree | commitdiff
2019-04-12 Eddie HungCope with an output having same name as an input (i... tree | commitdiff
2019-04-12 Eddie HungMerge remote-tracking branch 'origin/master' into xaig tree | commitdiff
2019-04-12 Eddie HungMerge remote-tracking branch 'origin/master' into xc7mux tree | commitdiff
2019-04-11 Eddie HungMerge remote-tracking branch 'origin/pmux2shiftx' into... tree | commitdiff
2019-04-11 Eddie HungMerge remote-tracking branch 'origin/pmux2shiftx' into... tree | commitdiff
2019-04-10 Eddie HungMerge branch 'xaig' into xc7mux tree | commitdiff
2019-04-10 Eddie Hungparse_aiger() to rename all $lut cells after "clean" tree | commitdiff
2019-04-08 Eddie HungFix spacing tree | commitdiff
2019-04-08 Eddie HungMerge branch 'master' into xaig tree | commitdiff
2019-04-01 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
next