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