projects / yosys.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
verific: allow memories to be inferred in loops
2022-04-15 N. Engelhardtverific: allow memories to be inferred in loops
 commit | commitdiff | tree
2022-03-24 N. Engelhardtignore # comment lines
 commit | commitdiff | tree
2022-02-22 N. Engelhardtprint cell name for properties in yosys-smtbmc
 commit | commitdiff | tree
2022-02-18 N. Engelhardtfix handling of escaped chars in json backend and frontend
 commit | commitdiff | tree
2022-01-17 N. EngelhardtMerge pull request #3145 from nakengelhardt/advertise_suite_...
commit | commitdiff | tree
2022-01-17 N. Engelhardtmention distributions' package manager
 commit | commitdiff | tree
2022-01-04 N. Engelhardtmention tabby+oss cad suite in readme
 commit | commitdiff | tree
2021-03-23 N. EngelhardtMerge pull request #2696 from nakengelhardt/guidelines
 commit | commitdiff | tree
2021-03-22 N. Engelhardtsplit CodingReadme into multiple files
 commit | commitdiff | tree
2020-10-22 N. EngelhardtMerge pull request #2403 from nakengelhardt/sim_timescale
 commit | commitdiff | tree
2020-10-21 N. Engelhardtuse strftime instead of put_time for gcc 4.8 compatibility
 commit | commitdiff | tree
2020-10-16 N. Engelhardtwild guessing at the problem because it builds fine...
commit | commitdiff | tree
2020-10-16 N. Engelhardtsim -vcd: add date, version, and option for timescale
 commit | commitdiff | tree
2020-09-28 N. Engelhardtadd tests
 commit | commitdiff | tree
2020-09-28 N. Engelhardtwrite_verilog: emit intermediate wire for constant...
commit | commitdiff | tree
2020-09-28 N. EngelhardtMerge pull request #2387 from btut/fix/pythonWrappersCXXFlags
 commit | commitdiff | tree
2020-09-23 N. Engelhardtswitch argument order to work with macOS getopt
 commit | commitdiff | tree
2020-09-21 N. EngelhardtMerge pull request #2372 from nakengelhardt/name_is_public
 commit | commitdiff | tree
2020-09-14 N. Engelhardtuse the new isPublic() in a few places
 commit | commitdiff | tree
2020-09-03 N. Engelhardtadd IdString::isPublic()
 commit | commitdiff | tree
2020-08-18 N. Engelhardtinclude both power-of-two and non-power-of-two testcases
 commit | commitdiff | tree
2020-06-18 N. EngelhardtMerge pull request #2153 from boqwxp/splitnets-cleanup
 commit | commitdiff | tree
2020-06-16 N. EngelhardtMerge pull request #2156 from XarkLabs/master
 commit | commitdiff | tree
2020-06-05 N. EngelhardtMerge pull request #2109 from nakengelhardt/btor_internal_names
 commit | commitdiff | tree
2020-06-04 N. EngelhardtAdd codeowners file (#2098)
 commit | commitdiff | tree
2020-06-04 N. Engelhardtbtor backend: make not printing internal names default
 commit | commitdiff | tree
2020-06-04 N. Engelhardtbtor backend: add option to not include internal names
 commit | commitdiff | tree
2020-06-04 N. EngelhardtMerge pull request #2070 from hackfin/master
 commit | commitdiff | tree
2020-05-20 N. EngelhardtMerge pull request #2046 from PeterCrozier/trap
 commit | commitdiff | tree
2020-05-20 N. EngelhardtMerge pull request #2054 from boqwxp/fix-smtbmc
 commit | commitdiff | tree
2020-05-07 N. EngelhardtRemove yosys libdir from LDFLAGS (and fix a typo)
 commit | commitdiff | tree
2020-04-15 N. EngelhardtMerge pull request #1830 from boqwxp/qbfsat
 commit | commitdiff | tree
2020-04-09 N. EngelhardtMerge pull request #1890 from boqwxp/cleanup_memory_collect
 commit | commitdiff | tree
2020-04-09 N. EngelhardtMerge pull request #1889 from boqwxp/cleanup_memory_unpack
 commit | commitdiff | tree
2020-04-09 N. EngelhardtMerge pull request #1887 from boqwxp/cleanup_hilomap
 commit | commitdiff | tree
2020-03-30 N. EngelhardtMerge pull request #1811 from PeterCrozier/typedef_scope
 commit | commitdiff | tree
2020-03-30 N. EngelhardtMerge pull request #1778 from rswarbrick/sv-defines
 commit | commitdiff | tree
2020-03-23 N. EngelhardtMerge pull request #1763 from boqwxp/issue1762
 commit | commitdiff | tree
2020-03-23 N. EngelhardtMerge pull request #1803 from Grazfather/typedef
 commit | commitdiff | tree
2020-03-23 N. EngelhardtMerge pull request #1805 from hofstee/master
 commit | commitdiff | tree
2020-03-23 N. EngelhardtMerge pull request #1785 from boqwxp/mitercc_cleanup
 commit | commitdiff | tree
2020-03-19 N. EngelhardtMerge pull request #1774 from boqwxp/exec
 commit | commitdiff | tree
2020-03-19 N. EngelhardtMerge pull request #1775 from huaixv/asserts_locations
 commit | commitdiff | tree
2020-03-18 N. Engelhardtfix argument order for macOS compatibility
 commit | commitdiff | tree
2020-03-18 N. Engelhardtadd bash to brewfile
 commit | commitdiff | tree
2020-03-17 N. EngelhardtMerge pull request #1776 from boqwxp/precise_locations
 commit | commitdiff | tree
2020-03-16 N. EngelhardtMerge pull request #1768 from boqwxp/smt2_cleanup
 commit | commitdiff | tree
2020-03-16 N. EngelhardtMerge pull request #1746 from boqwxp/optimization
 commit | commitdiff | tree
2020-03-12 N. EngelhardtMerge pull request #1751 from boqwxp/add_assert
 commit | commitdiff | tree
2020-03-10 N. EngelhardtMerge pull request #1755 from boqwxp/add_cmd_cleanup
 commit | commitdiff | tree
2020-03-09 N. EngelhardtMerge pull request #1716 from zeldin/ecp5_fix
 commit | commitdiff | tree
2020-03-06 N. Engelhardtremove unused parameters
 commit | commitdiff | tree
2020-03-06 N. Engelhardtrpc test: make frontend listen before launching yosys...
commit | commitdiff | tree
2020-03-03 N. EngelhardtMerge pull request #1691 from ZirconiumX/use-flowmap...
commit | commitdiff | tree
2020-03-02 N. EngelhardtMerge pull request #1729 from rqou/coolrunner2
 commit | commitdiff | tree
2020-02-13 N. Engelhardtmake rpc frontend unix socket test less fragile
 commit | commitdiff | tree
2020-02-13 N. EngelhardtMerge pull request #1679 from thasti/delay-parsing
 commit | commitdiff | tree
2020-02-10 N. EngelhardtMerge pull request #1669 from thasti/pyosys-attrs
 commit | commitdiff | tree
2020-01-29 N. EngelhardtMerge pull request #1510 from pumbor/master
 commit | commitdiff | tree
2020-01-28 N. EngelhardtMerge pull request #1573 from YosysHQ/eddie/xilinx_tristate
 commit | commitdiff | tree
2020-01-06 N. Engelhardterror if multiple -g options are given for abc
 commit | commitdiff | tree
2020-01-06 N. Engelhardtcheck scratchpad for arguments in abc pass too
 commit | commitdiff | tree
2020-01-06 N. Engelhardtinherit default values when checking scratchpad for...
commit | commitdiff | tree
2020-01-03 N. Engelhardtshare codepath for scratchpad argument handling with...
commit | commitdiff | tree
2020-01-03 N. EngelhardtMerge branch 'master' of https://github.com/YosysHQ...
commit | commitdiff | tree
2019-12-18 N. Engelhardtuse extra_args
 commit | commitdiff | tree
2019-12-17 N. Engelhardtcheck scratchpad variable abc9.scriptfile
 commit | commitdiff | tree
2019-12-16 N. Engelhardtadd assert option to scratchpad command
 commit | commitdiff | tree
2019-12-13 N. Engelhardtcheck scratchpad variables for custom abc scripts
 commit | commitdiff | tree
2019-12-13 N. Engelhardtadd periods and newlines to help message
 commit | commitdiff | tree
2019-12-12 N. Engelhardtadd test and make help message more verbose
 commit | commitdiff | tree
2019-12-12 N. Engelhardtadd a command to read/modify scratchpad contents
 commit | commitdiff | tree
2019-10-17 N. EngelhardtCall memory_dff before DSP mapping to reserve registers...
commit | commitdiff | tree
2019-09-23 N. Engelhardtadd xdot dependency to Brewfile
 commit | commitdiff | tree
2019-09-23 N. Engelhardtfix show command for macos
 commit | commitdiff | tree
2019-07-15 N. Engelhardtsmt: handle failure of setrlimit syscall
 commit | commitdiff | tree