projects / yosys.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
yosys.git
2018-07-06 William D.... Gate POSIX-only signals and resource module to only... commit | commitdiff | tree
2018-06-29 Clifford WolfFix verific eventually handling commit | commitdiff | tree
2018-06-29 Clifford WolfAdd verific support for eventually properties commit | commitdiff | tree
2018-06-29 Clifford WolfAdd "verific -formal" and "read -formal" commit | commitdiff | tree
2018-06-28 Clifford WolfAdd "read -sv -D" support commit | commitdiff | tree
2018-06-28 Clifford WolfAdd "read -undef" commit | commitdiff | tree
2018-06-28 Clifford WolfFix handling of signed memories commit | commitdiff | tree
2018-06-22 Clifford WolfAdd YOSYS_NOVERIFIC env variable for temporarily disabl... commit | commitdiff | tree
2018-06-21 Clifford WolfAdd simplified "read" command, enable extnets in implic... commit | commitdiff | tree
2018-06-20 Clifford WolfMerge branch 'master' of github.com:YosysHQ/yosys commit | commitdiff | tree
2018-06-20 Clifford WolfAdd automatic verific import in hierarchy command commit | commitdiff | tree
2018-06-20 Clifford WolfMerge pull request #572 from q3k/q3k/fix-protobuf-build commit | commitdiff | tree
2018-06-20 Sergiusz BazanskiFix protobuf build commit | commitdiff | tree
2018-06-19 Clifford WolfMerge pull request #571 from q3k/q3k/protobuf-backend commit | commitdiff | tree
2018-06-19 Serge BazanskiAdd Protobuf backend commit | commitdiff | tree
2018-06-19 Clifford WolfBe slightly less aggressive in "deminout" pass commit | commitdiff | tree
2018-06-19 Clifford WolfMerge pull request #570 from edcote/patch-4 commit | commitdiff | tree
2018-06-19 Edmond CoteInclude module name for area summary stats commit | commitdiff | tree
2018-06-15 Clifford WolfBugfix in liberty parser (as suggested by aiju in ... commit | commitdiff | tree
2018-06-13 Clifford WolfAdd "synth_ice40 -json" commit | commitdiff | tree
2018-06-11 Clifford WolfFix ice40_opt for cases where a port is connected to... commit | commitdiff | tree
2018-06-06 Clifford WolfMerge pull request #561 from udif/pr_skip_typo commit | commitdiff | tree
2018-06-05 Udi FinkelsteinFixed typo (sikp -> skip) commit | commitdiff | tree
2018-06-01 Clifford WolfAdd (* gclk *) attribute support commit | commitdiff | tree
2018-06-01 Clifford WolfAdd setundef -anyseq / -anyconst support to -undriven... commit | commitdiff | tree
2018-06-01 Clifford WolfAdd "setundef -anyconst" commit | commitdiff | tree
2018-05-31 Clifford WolfBugfix in handling of array instances with empty ports commit | commitdiff | tree
2018-05-30 Clifford WolfUpdate examples/cmos/counter.ys to use "synth" command commit | commitdiff | tree
2018-05-30 Clifford WolfMake -nordff the default in "prep" commit | commitdiff | tree
2018-05-30 Clifford WolfUpdate ABC to git rev 6df1396 commit | commitdiff | tree
2018-05-28 Clifford WolfDisable memory_dff for initialized FFs commit | commitdiff | tree
2018-05-28 Clifford WolfAdd some cleanup code to memory_nordff commit | commitdiff | tree
2018-05-28 Clifford WolfAdd comment to VIPER #13453 work-around commit | commitdiff | tree
2018-05-25 Clifford WolfFix Verific handling of single-bit anyseq/anyconst... commit | commitdiff | tree
2018-05-24 Clifford WolfFix VerificClocking for cases where Verific generates... commit | commitdiff | tree
2018-05-24 Clifford WolfFix verific handling of anyconst/anyseq attributes commit | commitdiff | tree
2018-05-19 Clifford WolfMerge pull request #454 from rqou/emscripten-and-abc commit | commitdiff | tree
2018-05-19 Robert OuForce abc to align memory to 8 bytes commit | commitdiff | tree
2018-05-19 Robert OuModify emscripten main to mount nodefs and to run arg... commit | commitdiff | tree
2018-05-19 Robert OuForce abc to be linked statically and without threads... commit | commitdiff | tree
2018-05-19 Robert OuFix infinite loop in abc command under emscripten commit | commitdiff | tree
2018-05-19 Robert OuFix reading techlibs under emscripten commit | commitdiff | tree
2018-05-19 Robert OuAdd options to disable abc's usage of pthreads and... commit | commitdiff | tree
2018-05-19 Robert OuAdd an option to statically link abc into yosys commit | commitdiff | tree
2018-05-19 Robert OuMakefile: Make abc always use stdint.h commit | commitdiff | tree
2018-05-17 Clifford WolfMerge pull request #550 from jimparis/yosys-upstream commit | commitdiff | tree
2018-05-17 Clifford WolfMerge pull request #551 from olofk/ice40_cells_sim_ports commit | commitdiff | tree
2018-05-17 Olof KindgrenAvoid mixing module port declaration styles in ice40... commit | commitdiff | tree
2018-05-17 Jim ParisSupport SystemVerilog `` extension for macros commit | commitdiff | tree
2018-05-17 Jim ParisSkip spaces around macro arguments commit | commitdiff | tree
2018-05-15 Clifford WolfFix handling of anyconst/anyseq attrs in VHDL code... commit | commitdiff | tree
2018-05-15 Clifford WolfRemove mercurial from build instructions commit | commitdiff | tree
2018-05-15 Clifford WolfFix iopadmap for loops between tristate IO buffers commit | commitdiff | tree
2018-05-15 Clifford WolfFix iopadmap for cases where IO pins already have buffe... commit | commitdiff | tree
2018-05-13 Clifford WolfSome cleanups in setundef.cc commit | commitdiff | tree
2018-05-13 Clifford WolfUse $(OS) in makefile to check for Darwin commit | commitdiff | tree
2018-05-13 Clifford WolfMerge pull request #505 from thefallenidealist/FreeBSD_... commit | commitdiff | tree
2018-05-13 Christian KrämerAdd "#ifdef __FreeBSD__" commit | commitdiff | tree
2018-05-13 Clifford WolfRevert "Add "#ifdef __FreeBSD__"" commit | commitdiff | tree
2018-05-12 Sergiusz BazanskiAlso interpret '&' in liberty functions commit | commitdiff | tree
2018-05-12 Clifford WolfAdd optimization of tristate buffer with constant contr... commit | commitdiff | tree
2018-05-12 Clifford WolfAdd "hierarchy -simcheck" commit | commitdiff | tree
2018-05-06 Johnny Sorocilupdate README commit | commitdiff | tree
2018-05-06 Johnny Sorocilautotest.sh: Change from /bin/bash to /usr/bin/env... commit | commitdiff | tree
2018-05-06 Johnny SorocilEnable building on FreeBSD commit | commitdiff | tree
2018-05-05 Clifford WolfFurther improve handling of zero-length SVA consecutive... commit | commitdiff | tree
2018-05-05 Clifford WolfFix handling of zero-length SVA consecutive repetition commit | commitdiff | tree
2018-05-05 Johnny SorocilAdd "#ifdef __FreeBSD__" commit | commitdiff | tree
2018-05-04 Clifford WolfAdd ABC FAQ to "help abc" commit | commitdiff | tree
2018-05-04 Clifford WolfAdd "yosys -e regex" for turning warnings into errors commit | commitdiff | tree
2018-05-04 Clifford WolfMerge pull request #537 from mithro/yosys-vpr commit | commitdiff | tree
2018-05-03 Clifford WolfReplace -ignore_redef with -[no]overwrite commit | commitdiff | tree
2018-05-03 Dan GisselquistSupport more character literals commit | commitdiff | tree
2018-04-30 Clifford WolfUpdate ABC to git rev f23ea8e commit | commitdiff | tree
2018-04-30 Clifford WolfAdd "synth_intel --noiopads" commit | commitdiff | tree
2018-04-22 Clifford WolfAdd $dlatch support to write_verilog commit | commitdiff | tree
2018-04-18 Tim 'mithro... Improving vpr output support. commit | commitdiff | tree
2018-04-18 Tim 'mithro... synth_ice40: Rework the vpr blif output slightly. commit | commitdiff | tree
2018-04-16 Clifford WolfAdd "synth_ice40 -nodffe" commit | commitdiff | tree
2018-04-15 Clifford WolfAdd "write_blif -inames -iattr" commit | commitdiff | tree
2018-04-13 Clifford WolfAdd statement labels for immediate assertions commit | commitdiff | tree
2018-04-12 Clifford WolfAllow "property" in immediate assertions commit | commitdiff | tree
2018-04-12 Clifford WolfImprove Makefile error handling for when abc/ is a... commit | commitdiff | tree
2018-04-07 Clifford WolfAdd PRIM_HDL_ASSERTION support to Verific importer commit | commitdiff | tree
2018-04-06 Clifford WolfFix handling of $global_clocking in Verific commit | commitdiff | tree
2018-04-06 Clifford WolfAdd documentation for anyconst/anyseq/allconst/allseq... commit | commitdiff | tree
2018-04-06 Clifford WolfAdd read_verilog anyseq/anyconst/allseq/allconst attrib... commit | commitdiff | tree
2018-04-06 Clifford WolfAdd Verific anyseq/anyconst/allseq/allconst attribute... commit | commitdiff | tree
2018-04-06 Clifford WolfAdd "verific -autocover" commit | commitdiff | tree
2018-04-06 Clifford WolfMerge pull request #530 from makaimann/set-ram-flags commit | commitdiff | tree
2018-04-06 makaimannSet RAM runtime flags for Verific frontend commit | commitdiff | tree
2018-04-05 Clifford WolfAdded missing dont_use handling for SR FFs to dfflibmap commit | commitdiff | tree
2018-04-04 Clifford WolfCreate issue_template.md commit | commitdiff | tree
2018-04-04 Clifford WolfAdd smtio.py support for parsing SMT2 (_ bvX n) syntax... commit | commitdiff | tree
2018-04-04 Clifford WolfFixed -stbv handling in SMT2 back-end commit | commitdiff | tree
2018-04-01 Clifford WolfMerge pull request #522 from c60k28/master commit | commitdiff | tree
2018-04-01 c60k28Fixed broken Quartus backend on dffeas init value ... commit | commitdiff | tree
2018-03-31 Clifford WolfRemove left-over log_ping debug commands.. oops. commit | commitdiff | tree
2018-03-31 Clifford WolfMerge pull request #521 from azonenberg/for_clifford commit | commitdiff | tree
2018-03-31 Robert Oucoolrunner2: Add an ANDTERM/XOR between chained FFs commit | commitdiff | tree
next