projects
/
yosys.git
/ shortlog
commit
grep
author
committer
pickaxe
?
search:
re
summary
| shortlog |
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
yosys.git
2020-10-22
David Shah
nexus: Add make_transp to BRAMs
commit
|
commitdiff
|
tree
2020-10-22
N. Engelhardt
Merge pull request #2403 from nakengelhardt/sim_timescale
commit
|
commitdiff
|
tree
2020-10-22
Marcelina Kościelnicka
memory_dff: Fix needlessly duplicating enable bits.
commit
|
commitdiff
|
tree
2020-10-22
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
btor: Use Mem helper.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
smt2: Use Mem helper.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
verilog_backend: Use Mem helper.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
sim: Use Mem helper.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
clk2fflogic: Use Mem helper.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
opt_mem: Use Mem helpers.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
memory_bram: Use Mem helpers.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
memory_map: Use Mem helpers.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
memory_unpack: Use Mem helpers.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
memory_collect: Use Mem helpers.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
memory_nordff: Use Mem helpers.
commit
|
commitdiff
|
tree
2020-10-21
Marcelina Kościelnicka
Add new helper structures to represent memories.
commit
|
commitdiff
|
tree
2020-10-21
N. Engelhardt
use strftime instead of put_time for gcc 4.8 compatibility
commit
|
commitdiff
|
tree
2020-10-21
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-10-20
clairexen
Merge pull request #2405 from byuccl/fix_xilinx_cells
commit
|
commitdiff
|
tree
2020-10-20
clairexen
Merge pull request #2404 from YosysHQ/claire/fixrpcargs
commit
|
commitdiff
|
tree
2020-10-20
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-10-19
Jeff Goeders
Move signal declarations to before first use
commit
|
commitdiff
|
tree
2020-10-19
Claire Xenia...
Fix argument handling in connect_rpc
commit
|
commitdiff
|
tree
2020-10-19
Miodrag Milanović
Merge pull request #2397 from daveshah1/nexus
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-10-16
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-10-15
clairexen
Merge pull request #2398 from jakobwenzel/smtbmc-escape
commit
|
commitdiff
|
tree
2020-10-15
David Shah
synth_nexus: Initial implementation
commit
|
commitdiff
|
tree
2020-10-13
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-10-12
Miodrag Milanovic
extend verific library API for formal apps and generators
commit
|
commitdiff
|
tree
2020-10-09
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-10-08
Marcelina Kościelnicka
opt_clean: Better memory handling.
commit
|
commitdiff
|
tree
2020-10-06
Jakob Wenzel
smtbmc: escape identifiers in verilog testbench
commit
|
commitdiff
|
tree
2020-10-06
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-10-05
Miodrag Milanović
Update required Verific version
commit
|
commitdiff
|
tree
2020-10-03
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-10-02
clairexen
Merge pull request #2396 from YosysHQ/claire/empty...
commit
|
commitdiff
|
tree
2020-10-02
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-10-01
Claire Xenia...
Ignore empty parameters in Verilog module instantiations
commit
|
commitdiff
|
tree
2020-10-01
clairexen
Merge pull request #2378 from udif/pr_dollar_high_low
commit
|
commitdiff
|
tree
2020-10-01
clairexen
Merge pull request #2380 from Xiretza/parallel-tests
commit
|
commitdiff
|
tree
2020-10-01
David Shah
Update .gitignore
commit
|
commitdiff
|
tree
2020-10-01
clairexen
Merge pull request #2395 from YosysHQ/sha1_if_contain_s...
commit
|
commitdiff
|
tree
2020-10-01
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-30
Miodrag Milanovic
use sha1 for parameter list in case if they contain...
commit
|
commitdiff
|
tree
2020-09-30
Miodrag Milanovic
Fixed installation dir override for Python scripts
commit
|
commitdiff
|
tree
2020-09-30
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-29
clairexen
Merge pull request #2393 from nakengelhardt/no_const_se...
commit
|
commitdiff
|
tree
2020-09-29
clairexen
Merge pull request #2392 from YosysHQ/mmicko/hierarchy_fix
commit
|
commitdiff
|
tree
2020-09-29
Yosys Bot
Bump version
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
Miodrag Milanović
Merge pull request #2386 from btut/fix/pyinstallpath
commit
|
commitdiff
|
tree
2020-09-28
N. Engelhardt
Merge pull request #2387 from btut/fix/pythonWrappersCX...
commit
|
commitdiff
|
tree
2020-09-26
Xiretza
tests: add gitignores for auto-generated makefiles
commit
|
commitdiff
|
tree
2020-09-25
Benedikt Tutzer
Use CXXFLAGS to enable pyosys specific code before...
commit
|
commitdiff
|
tree
2020-09-25
Miodrag Milanovic
Validate parameters only when they are used
commit
|
commitdiff
|
tree
2020-09-25
Benedikt Tutzer
Fixed python installation path
commit
|
commitdiff
|
tree
2020-09-24
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-23
Eddie Hung
xilinx: do not make DSP48E1 a whitebox for ABC9 by...
commit
|
commitdiff
|
tree
2020-09-23
Miodrag Milanović
Merge pull request #2384 from nakengelhardt/fix_2383
commit
|
commitdiff
|
tree
2020-09-23
N. Engelhardt
switch argument order to work with macOS getopt
commit
|
commitdiff
|
tree
2020-09-22
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-21
N. Engelhardt
Merge pull request #2372 from nakengelhardt/name_is_public
commit
|
commitdiff
|
tree
2020-09-21
Xiretza
tests/simple: remove "nullglob" shopt
commit
|
commitdiff
|
tree
2020-09-21
Xiretza
tests: Parallelize
commit
|
commitdiff
|
tree
2020-09-21
Xiretza
tests: Centralize test collection and Makefile generation
commit
|
commitdiff
|
tree
2020-09-19
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-18
clairexen
Merge pull request #2381 from YosysHQ/unsupported
commit
|
commitdiff
|
tree
2020-09-18
Miodrag Milanovic
Better error for unsupported SVA sequence
commit
|
commitdiff
|
tree
2020-09-18
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-17
clairexen
Merge pull request #2329 from antmicro/arrays-fix-multi...
commit
|
commitdiff
|
tree
2020-09-17
clairexen
Merge pull request #2330 from antmicro/arrays-fix-multi...
commit
|
commitdiff
|
tree
2020-09-16
Udi Finkelstein
We can now handle array slices (e.g. $size(x[1]) etc. )
commit
|
commitdiff
|
tree
2020-09-16
Udi Finkelstein
Fixed comments, removed debug message
commit
|
commitdiff
|
tree
2020-09-15
Udi Finkelstein
Added $high(), $low(), $left(), $right()
commit
|
commitdiff
|
tree
2020-09-14
N. Engelhardt
use the new isPublic() in a few places
commit
|
commitdiff
|
tree
2020-09-11
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-10
Miodrag Milanović
Merge pull request #2369 from Xiretza/gitignores
commit
|
commitdiff
|
tree
2020-09-04
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-03
N. Engelhardt
add IdString::isPublic()
commit
|
commitdiff
|
tree
2020-09-03
whitequark
Merge pull request #2371 from whitequark/cxxrtl-debug...
commit
|
commitdiff
|
tree
2020-09-03
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-02
whitequark
cxxrtl: expose driver kind in debug information.
commit
|
commitdiff
|
tree
2020-09-02
whitequark
cxxrtl: improve handling of FFs with async inputs ...
commit
|
commitdiff
|
tree
2020-09-02
whitequark
cxxrtl: expose port direction in debug information.
commit
|
commitdiff
|
tree
2020-09-02
whitequark
cxxrtl: fix typo in comment. NFC.
commit
|
commitdiff
|
tree
2020-09-02
whitequark
cxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation...
commit
|
commitdiff
|
tree
2020-09-02
Miodrag Milanovic
Use latest verific
commit
|
commitdiff
|
tree
2020-09-02
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2352 from zachjs/const-func-localparam
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2366 from zachjs/library-format
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2353 from zachjs/top-scope
commit
|
commitdiff
|
tree
2020-09-01
clairexen
Merge pull request #2365 from zachjs/const-arg-loop...
commit
|
commitdiff
|
tree
2020-09-01
Yosys Bot
Bump version
commit
|
commitdiff
|
tree
2020-08-31
Xiretza
Add missing gitignores for test artifacts
commit
|
commitdiff
|
tree
2020-08-31
Miodrag Milanovic
Reorder to prevent crash
commit
|
commitdiff
|
tree
2020-08-31
clairexen
Merge pull request #2368 from YosysHQ/verific_portrange
commit
|
commitdiff
|
tree
2020-08-30
Miodrag Milanovic
ast recognize lower case x and z and verific gives...
commit
|
commitdiff
|
tree
next