projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2020-10-20 clairexenMerge pull request #2404 from YosysHQ/claire/fixrpcargs commit | commitdiff | tree
2020-10-20 Yosys BotBump version 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 Yosys BotBump version commit | commitdiff | tree
2020-10-15 clairexenMerge pull request #2398 from jakobwenzel/smtbmc-escape commit | commitdiff | tree
2020-10-15 David Shahsynth_nexus: Initial implementation commit | commitdiff | tree
2020-10-13 Yosys BotBump version commit | commitdiff | tree
2020-10-12 Miodrag Milanovicextend verific library API for formal apps and generators commit | commitdiff | tree
2020-10-09 Yosys BotBump version commit | commitdiff | tree
2020-10-08 Marcelina Kościelnickaopt_clean: Better memory handling. commit | commitdiff | tree
2020-10-06 Jakob Wenzelsmtbmc: escape identifiers in verilog testbench commit | commitdiff | tree
2020-10-06 Yosys BotBump version commit | commitdiff | tree
2020-10-05 Miodrag MilanovićUpdate required Verific version commit | commitdiff | tree
2020-10-03 Yosys BotBump version commit | commitdiff | tree
2020-10-02 clairexenMerge pull request #2396 from YosysHQ/claire/empty... commit | commitdiff | tree
2020-10-02 Yosys BotBump version commit | commitdiff | tree
2020-10-01 Claire Xenia... Ignore empty parameters in Verilog module instantiations commit | commitdiff | tree
2020-10-01 clairexenMerge pull request #2378 from udif/pr_dollar_high_low commit | commitdiff | tree
2020-10-01 clairexenMerge pull request #2380 from Xiretza/parallel-tests commit | commitdiff | tree
2020-10-01 David ShahUpdate .gitignore commit | commitdiff | tree
2020-10-01 clairexenMerge pull request #2395 from YosysHQ/sha1_if_contain_s... commit | commitdiff | tree
2020-10-01 Yosys BotBump version commit | commitdiff | tree
2020-09-30 Miodrag Milanovicuse sha1 for parameter list in case if they contain... commit | commitdiff | tree
2020-09-30 Miodrag MilanovicFixed installation dir override for Python scripts commit | commitdiff | tree
2020-09-30 Yosys BotBump version commit | commitdiff | tree
2020-09-29 clairexenMerge pull request #2393 from nakengelhardt/no_const_se... commit | commitdiff | tree
2020-09-29 clairexenMerge pull request #2392 from YosysHQ/mmicko/hierarchy_fix commit | commitdiff | tree
2020-09-29 Yosys BotBump version 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 Miodrag MilanovićMerge pull request #2386 from btut/fix/pyinstallpath commit | commitdiff | tree
2020-09-28 N. EngelhardtMerge pull request #2387 from btut/fix/pythonWrappersCX... commit | commitdiff | tree
2020-09-26 Xiretzatests: add gitignores for auto-generated makefiles commit | commitdiff | tree
2020-09-25 Benedikt TutzerUse CXXFLAGS to enable pyosys specific code before... commit | commitdiff | tree
2020-09-25 Miodrag MilanovicValidate parameters only when they are used commit | commitdiff | tree
2020-09-25 Benedikt TutzerFixed python installation path commit | commitdiff | tree
2020-09-24 Yosys BotBump 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. Engelhardtswitch argument order to work with macOS getopt commit | commitdiff | tree
2020-09-22 Yosys BotBump version commit | commitdiff | tree
2020-09-21 N. EngelhardtMerge pull request #2372 from nakengelhardt/name_is_public commit | commitdiff | tree
2020-09-21 Xiretzatests/simple: remove "nullglob" shopt commit | commitdiff | tree
2020-09-21 Xiretzatests: Parallelize commit | commitdiff | tree
2020-09-21 Xiretzatests: Centralize test collection and Makefile generation commit | commitdiff | tree
2020-09-19 Yosys BotBump version commit | commitdiff | tree
2020-09-18 clairexenMerge pull request #2381 from YosysHQ/unsupported commit | commitdiff | tree
2020-09-18 Miodrag MilanovicBetter error for unsupported SVA sequence commit | commitdiff | tree
2020-09-18 Yosys BotBump version commit | commitdiff | tree
2020-09-17 clairexenMerge pull request #2329 from antmicro/arrays-fix-multi... commit | commitdiff | tree
2020-09-17 clairexenMerge pull request #2330 from antmicro/arrays-fix-multi... commit | commitdiff | tree
2020-09-16 Udi FinkelsteinWe can now handle array slices (e.g. $size(x[1]) etc. ) commit | commitdiff | tree
2020-09-16 Udi FinkelsteinFixed comments, removed debug message commit | commitdiff | tree
2020-09-15 Udi FinkelsteinAdded $high(), $low(), $left(), $right() commit | commitdiff | tree
2020-09-14 N. Engelhardtuse the new isPublic() in a few places commit | commitdiff | tree
2020-09-11 Yosys BotBump version commit | commitdiff | tree
2020-09-10 Miodrag MilanovićMerge pull request #2369 from Xiretza/gitignores commit | commitdiff | tree
2020-09-04 Yosys BotBump version commit | commitdiff | tree
2020-09-03 N. Engelhardtadd IdString::isPublic() commit | commitdiff | tree
2020-09-03 whitequarkMerge pull request #2371 from whitequark/cxxrtl-debug... commit | commitdiff | tree
2020-09-03 Yosys BotBump version commit | commitdiff | tree
2020-09-02 whitequarkcxxrtl: expose driver kind in debug information. commit | commitdiff | tree
2020-09-02 whitequarkcxxrtl: improve handling of FFs with async inputs ... commit | commitdiff | tree
2020-09-02 whitequarkcxxrtl: expose port direction in debug information. commit | commitdiff | tree
2020-09-02 whitequarkcxxrtl: fix typo in comment. NFC. commit | commitdiff | tree
2020-09-02 whitequarkcxxrtl: fix inaccuracy in CXXRTL_ALIAS documentation... commit | commitdiff | tree
2020-09-02 Miodrag MilanovicUse latest verific commit | commitdiff | tree
2020-09-02 Yosys BotBump version commit | commitdiff | tree
2020-09-01 clairexenMerge pull request #2352 from zachjs/const-func-localparam commit | commitdiff | tree
2020-09-01 clairexenMerge pull request #2366 from zachjs/library-format commit | commitdiff | tree
2020-09-01 clairexenMerge pull request #2353 from zachjs/top-scope commit | commitdiff | tree
2020-09-01 clairexenMerge pull request #2365 from zachjs/const-arg-loop... commit | commitdiff | tree
2020-09-01 Yosys BotBump version commit | commitdiff | tree
2020-08-31 XiretzaAdd missing gitignores for test artifacts commit | commitdiff | tree
2020-08-31 Miodrag MilanovicReorder to prevent crash commit | commitdiff | tree
2020-08-31 clairexenMerge pull request #2368 from YosysHQ/verific_portrange commit | commitdiff | tree
2020-08-30 Miodrag Milanovicast recognize lower case x and z and verific gives... commit | commitdiff | tree
2020-08-30 Miodrag MilanovicDo not check for 1 and 0 only commit | commitdiff | tree
2020-08-30 Miodrag MilanovicFix import of VHDL enums commit | commitdiff | tree
2020-08-30 Yosys BotBump version commit | commitdiff | tree
2020-08-29 whitequarkwrite_smt2: fix SMT-LIB tutorial URL commit | commitdiff | tree
2020-08-29 Zachary SnowSimple support for %l format specifier commit | commitdiff | tree
2020-08-29 Zachary SnowFix constant args used with function ports split across... commit | commitdiff | tree
2020-08-29 Yosys BotBump version commit | commitdiff | tree
2020-08-28 Dan Ravensloftintel_alm: better map wide but shallow multiplies commit | commitdiff | tree
2020-08-28 Yosys BotBump version commit | commitdiff | tree
2020-08-27 Miodrag MilanovićMerge pull request #2364 from whitequark/manual-typo commit | commitdiff | tree
2020-08-27 whitequarkmanual: fix typo. commit | commitdiff | tree
2020-08-27 whitequarkMerge pull request #2357 from whitequark/cxxflags-MP commit | commitdiff | tree
2020-08-27 whitequarkMerge pull request #2356 from whitequark/flatten-techma... commit | commitdiff | tree
2020-08-27 whitequarkMerge pull request #2358 from whitequark/rename-ilang... commit | commitdiff | tree
2020-08-27 Marcelina Kościelnickadfflegalize: Fix decision tree for adffe. commit | commitdiff | tree
2020-08-27 Yosys BotBump version commit | commitdiff | tree
2020-08-26 Dan Ravensloftintel_alm: Add multiply signedness to cells commit | commitdiff | tree
2020-08-26 whitequarkReplace "ILANG" with "RTLIL" everywhere. commit | commitdiff | tree
2020-08-26 whitequarkAdd -MP to CXXFLAGS. commit | commitdiff | tree
2020-08-26 whitequarkflatten, techmap: don't canonicalize tpl driven bits... commit | commitdiff | tree
2020-08-26 Miodrag MilanovićMerge pull request #2355 from YosysHQ/verific_improvements commit | commitdiff | tree
2020-08-26 Miodrag MilanovicAdd formal apps and template generators commit | commitdiff | tree
next