projects / yosys.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Fix handling of $past 2nd argument in read_verilog
[yosys.git] / backends /
2018-10-08 Miodrag Milanovicadded prefix to FDirection constants, fixing windows... tree | commitdiff
2018-10-08 acw1251Fixed typo in "verilog_write" help message tree | commitdiff
2018-09-17 Jim LawsonMerge remote-tracking branch 'upstream/master' tree | commitdiff
2018-09-14 Clifford WolfMerge pull request #625 from aman-goel/master tree | commitdiff
2018-09-05 Clifford WolfAdd $lut support to Verilog back-end tree | commitdiff
2018-08-28 Jim LawsonMerge pull request #4 from YosysHQ/master tree | commitdiff
2018-08-28 Clifford WolfMerge pull request #618 from ucb-bar/firrtl+modules... tree | commitdiff
2018-08-27 Jim LawsonMerge branch 'master' into firrtl+modules+shiftfixes tree | commitdiff
2018-08-27 Jim LawsonRemove unused functions. tree | commitdiff
2018-08-23 Jim LawsonAdd support for module instances. tree | commitdiff
2018-08-22 Jim LawsonMerge pull request #1 from YosysHQ/master tree | commitdiff
2018-08-18 Aman GoelMerge pull request #3 from YosysHQ/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #573 from cr1901/msys-64 tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #591 from hzeller/virtual-override tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #590 from hzeller/remaining-file... tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #576 from cr1901/no-resource tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #592 from japm48/master tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #513 from udif/pr_reg_wire_error tree | commitdiff
2018-08-15 Clifford WolfMerge pull request #562 from udif/pr_fix_illegal_port_decl tree | commitdiff
2018-08-14 Clifford WolfFix use of signed integers in JSON back-end tree | commitdiff
2018-08-14 Clifford WolfMerge pull request #602 from litghost/add_eblif_extension tree | commitdiff
2018-08-08 Clifford WolfMerge pull request #596 from litghost/extend_blif_parser tree | commitdiff
2018-08-06 Clifford WolfMerge pull request #600 from jpathy/patch-1 tree | commitdiff
2018-08-06 jpathyUse `realpath` tree | commitdiff
2018-07-21 Henner ZellerConsistent use of 'override' for virtual methods in... tree | commitdiff
2018-07-06 William D. JonesGate POSIX-only signals and resource module to only... tree | commitdiff
2018-07-04 Aman GoelMerge branch 'YosysHQ-master' tree | commitdiff
2018-07-04 Aman GoelMerging with official repo tree | commitdiff
2018-06-20 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys tree | commitdiff
2018-06-20 Clifford WolfMerge pull request #572 from q3k/q3k/fix-protobuf-build tree | commitdiff
2018-06-20 Sergiusz BazanskiFix protobuf build tree | commitdiff
2018-06-19 Clifford WolfMerge pull request #571 from q3k/q3k/protobuf-backend tree | commitdiff
2018-06-19 Serge BazanskiAdd Protobuf backend tree | commitdiff
2018-05-04 Clifford WolfMerge pull request #537 from mithro/yosys-vpr tree | commitdiff
2018-04-22 Clifford WolfAdd $dlatch support to write_verilog tree | commitdiff
2018-04-15 Clifford WolfAdd "write_blif -inames -iattr" tree | commitdiff
2018-04-04 Clifford WolfAdd smtio.py support for parsing SMT2 (_ bvX n) syntax... tree | commitdiff
2018-04-04 Clifford WolfFixed -stbv handling in SMT2 back-end tree | commitdiff
2018-03-29 Clifford WolfAdd smtio status msgs when --progress is inactive tree | commitdiff
2018-03-29 Clifford WolfBugfix in smtio.py VCD file generator tree | commitdiff
2018-03-27 Clifford WolfMerge pull request #515 from edcote/patch-1 tree | commitdiff
2018-03-27 Clifford WolfAdd $mem support to SMT2 clock tagging tree | commitdiff
2018-03-17 Clifford WolfImprove yosys-smtbmc log output and error handling tree | commitdiff
2018-03-17 Clifford WolfImprove handling of invalid check-sat result in smtio.py tree | commitdiff
2018-03-08 Clifford WolfRemove debug prints from yosys-smtbmc VCD writer tree | commitdiff
2018-03-07 Clifford WolfCheck results of (check-sat) in yosys-smtbmc tree | commitdiff
2018-03-05 Clifford WolfImporove yosys-smtbmc error handling, Improve VCD output tree | commitdiff
2018-03-04 Clifford WolfImprove SMT2 encoding of $reduce_{and,or,bool} tree | commitdiff
2018-03-04 Clifford WolfFix a hangup in yosys-smtbmc error handling tree | commitdiff
2018-03-03 Clifford WolfImproved error handling in yosys-smtbmc tree | commitdiff
2018-03-03 Clifford WolfTerminate running SMT solver when smtbmc is terminated tree | commitdiff
2018-03-03 Clifford WolfFix smtbmc smtc/aiw parser for wire names containing [] tree | commitdiff
2018-03-01 Clifford WolfMangle names with square brackets in VCD files to work... tree | commitdiff
2018-02-26 Clifford WolfSmall fixes and improvements in $allconst/$allseq handling tree | commitdiff
2018-02-23 Clifford WolfMerge branch 'forall' tree | commitdiff
2018-02-23 Clifford WolfAdd smtbmc support for exist-forall problems tree | commitdiff
2018-02-20 Clifford WolfAdd support for mockup clock signals in yosys-smtbmc... tree | commitdiff
2018-02-08 Clifford WolfFix handling of zero-length cell connections in SMT2... tree | commitdiff
2018-02-03 Clifford WolfMerge branch 'master' of github.com:cliffordwolf/yosys tree | commitdiff
2018-02-03 Clifford WolfMerge pull request #488 from azonenberg/for_clifford tree | commitdiff
2018-02-03 Clifford WolfFixed gcc 7.2 "statement will never be executed" warning tree | commitdiff
2018-01-29 Clifford WolfFix smtio.py for large SMT2 S-expressions tree | commitdiff
2018-01-18 Clifford WolfMove user-provided smt2 info stmts to the top of the... tree | commitdiff
2017-12-24 Clifford WolfAdd "no driver for signal bit" error msg to btor back-end tree | commitdiff
2017-12-17 Clifford WolfSimple fix BTOR memory encoding tree | commitdiff
2017-12-17 Clifford WolfImprove BTOR memory encoding tree | commitdiff
2017-12-15 Clifford WolfMerge branch 'btor-ng' tree | commitdiff
2017-12-15 Clifford WolfAdd array support to btor back-end tree | commitdiff
2017-12-14 Clifford WolfAdd $anyconst/$anyseq support to btor back-end tree | commitdiff
2017-12-14 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-14 Clifford WolfAdd yosys-smtbmc VCD writer support for memories with... tree | commitdiff
2017-12-14 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-14 Clifford WolfAdd smt2 back-end support for async write memories tree | commitdiff
2017-12-12 Clifford WolfAdd "write_btor -s" mode tree | commitdiff
2017-12-12 Clifford WolfAdd state initval handling to btor back-end tree | commitdiff
2017-12-12 Clifford WolfAdd btor back-end support for 'x' constants tree | commitdiff
2017-12-11 Clifford WolfAdd btor $shift/$shiftx support tree | commitdiff
2017-12-10 Clifford WolfFix btor back-end shift handling tree | commitdiff
2017-12-10 Clifford WolfAdd support for $pmux in btor back-end tree | commitdiff
2017-12-10 Clifford WolfAdd support for more cell types to btor back-end tree | commitdiff
2017-12-10 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-09 Clifford WolfFix btor concat tree | commitdiff
2017-12-09 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-12-01 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-28 Clifford WolfMerge pull request #462 from daveshah1/up5k tree | commitdiff
2017-11-27 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-27 Clifford WolfFixed "yosys-smtbmc -g" handling of no solution tree | commitdiff
2017-11-27 Clifford WolfFixed "yosys-smtbmc -g" handling of no solution tree | commitdiff
2017-11-24 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-24 Clifford WolfBugfixes in new BTOR back-end tree | commitdiff
2017-11-24 Clifford WolfMerge pull request #446 from mithro/travis-rework tree | commitdiff
2017-11-23 Clifford WolfProgress in new BTOR back-end tree | commitdiff
2017-11-23 Clifford WolfProgress in new BTOR back-end tree | commitdiff
2017-11-23 Clifford WolfProgress in new BTOR back-end tree | commitdiff
2017-11-23 Clifford WolfMerge branch 'master' into btor-ng tree | commitdiff
2017-11-23 Clifford WolfProgress with new BTOR backend tree | commitdiff
2017-11-23 Clifford WolfAdd skeleton for new BTOR back-end tree | commitdiff
2017-11-23 Clifford WolfRemove old BTOR back-end tree | commitdiff
2017-11-09 dh73Merge https://github.com/cliffordwolf/yosys tree | commitdiff
2017-10-29 Clifford WolfFix SMT2 handling of initstate in sub-modules tree | commitdiff
next