git.libre-soc.org Git - yosys.git/search

2017-05-17	Clifford Wolf	Add missing AndnotGate() and OrnotGate() declarations...	commit \| commitdiff \| tree
2017-05-17	Clifford Wolf	Add $_ANDNOT_ and $_ORNOT_ gates	commit \| commitdiff \| tree
2017-05-16	Clifford Wolf	Add <modname>_init() function generator to simpleC...	commit \| commitdiff \| tree
2017-05-16	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-15	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-14	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-13	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-12	Clifford Wolf	Improve simplec back-end	commit \| commitdiff \| tree
2017-05-12	Clifford Wolf	Added support for more gate types to simplec back-end	commit \| commitdiff \| tree
2017-05-12	Clifford Wolf	Add first draft of simple C back-end	commit \| commitdiff \| tree
2017-05-11	Clifford Wolf	Update ABC to hg rev e79576e10d72	commit \| commitdiff \| tree
2017-05-08	Clifford Wolf	Fix boolector support in yosys-smtbmc	commit \| commitdiff \| tree
2017-04-30	Clifford Wolf	Add support for localparam in module header	commit \| commitdiff \| tree
2017-04-28	Clifford Wolf	Fix equiv_simple, old behavior now available with ...	commit \| commitdiff \| tree
2017-04-26	Clifford Wolf	Add support for `resetall compiler directive	commit \| commitdiff \| tree
2017-04-12	Clifford Wolf	Replace CRLF line endings with LF in de2i.qsf (quartus...	commit \| commitdiff \| tree
2017-04-12	Larry Doolittle	Squelch trailing whitespace	commit \| commitdiff \| tree
2017-04-07	Clifford Wolf	Add MAX10 and Cyclone IV items to CHANGELOG	commit \| commitdiff \| tree
2017-04-05	Clifford Wolf	Add ConstEval defaultval feature	commit \| commitdiff \| tree
2017-04-05	Clifford Wolf	Fix gcc compiler warning	commit \| commitdiff \| tree
2017-03-28	Clifford Wolf	Add front-end detection for *.tcl files	commit \| commitdiff \| tree
2017-03-27	Clifford Wolf	Add minisat 00_PATCH_typofixes.patch	commit \| commitdiff \| tree
2017-03-27	Clifford Wolf	Remove use of <fpu_control.h> in minisat	commit \| commitdiff \| tree
2017-03-20	Clifford Wolf	Add "write_smt2 -stdt" mode	commit \| commitdiff \| tree
2017-03-19	Clifford Wolf	Add generation of logic cells to EDIF back-end runtest.py	commit \| commitdiff \| tree
2017-03-19	Clifford Wolf	Fix EDIF: portRef member 0 is always the MSB bit	commit \| commitdiff \| tree
2017-03-18	Clifford Wolf	Add simple EDIF test case generator and checker	commit \| commitdiff \| tree
2017-03-14	Clifford Wolf	Fix verilog pre-processor for multi-level relative...	commit \| commitdiff \| tree
2017-03-04	Clifford Wolf	Improve smt2 encodings of assert/assume/cover, better...	commit \| commitdiff \| tree
2017-03-02	Clifford Wolf	Add write_aiger $anyseq support	commit \| commitdiff \| tree
2017-03-01	Clifford Wolf	Allow $anyconst, etc. in non-formal SV mode	commit \| commitdiff \| tree
2017-02-28	Clifford Wolf	Disable opt_merge for $anyseq and $anyconst	commit \| commitdiff \| tree
2017-02-28	Clifford Wolf	Use hex addresses in smtbmc vcd mem traces	commit \| commitdiff \| tree
2017-02-27	Clifford Wolf	Add "chformal -assert2assume" and friends	commit \| commitdiff \| tree
2017-02-27	Clifford Wolf	Add "chformal" pass	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Add smtbmc support for memory vcd dumping	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Fix extra newline bug in write_smt2	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Fix bug in smtio unroll code	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Fix assert checking in "yosys-smtbmc -c --append"	commit \| commitdiff \| tree
2017-02-26	Clifford Wolf	Improve (and fix for stbv mode) SMT2 memory API	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Add support for "yosys-smtbmc -c --append"	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Update ABC to hg rev 3a95bfa55df7	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Merge branch 'klammerj-master'	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Improve "write_edif" help message	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Move EdifNames out of double-private namespace	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Clean up edif code, swap bit indexing of "upto" ports	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Merge branch 'master' of https://github.com/klammerj...	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Merge branch 'master' of github.com:cliffordwolf/yosys	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Add $live and $fair support to AIGER back-end.	commit \| commitdiff \| tree
2017-02-25	Clifford Wolf	Add $live and $fair cell types, add support for s_eventually...	commit \| commitdiff \| tree
2017-02-24	Clifford Wolf	Add "write_smt2 -stbv"	commit \| commitdiff \| tree
2017-02-24	Clifford Wolf	Add SMT2 statebv mode (inactive for now)	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Add support for SystemVerilog unique, unique0, and...	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Preserve string parameters	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Fix mingw compile issue (2nd attempt)	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Fix mingw compile issue (maybe.. I can't test it)	commit \| commitdiff \| tree
2017-02-23	Clifford Wolf	Added SystemVerilog support for ++ and --	commit \| commitdiff \| tree
2017-02-22	Clifford Wolf	Update ABC to hg rev 8da4dc435b9f	commit \| commitdiff \| tree
2017-02-19	Clifford Wolf	Add "yosys-smtbmc -S <opt>"	commit \| commitdiff \| tree
2017-02-16	Clifford Wolf	Copy attributes to _TECHMAP_REPLACE_ cells	commit \| commitdiff \| tree
2017-02-16	Clifford Wolf	Fix eval implementation of $_NOR_	commit \| commitdiff \| tree
2017-02-14	Clifford Wolf	Fix incorrect "incompatible re-declaration of wire...	commit \| commitdiff \| tree
2017-02-14	Clifford Wolf	Add warning about x/z bits left unconnected in EDIF...	commit \| commitdiff \| tree
2017-02-14	Clifford Wolf	Fix double-call of log_pop() in synth_greenpak4	commit \| commitdiff \| tree
2017-02-13	Clifford Wolf	Do not fix port widths on any blackbox instances	commit \| commitdiff \| tree
2017-02-13	Clifford Wolf	Fix techmap for inout ports connected to inout ports	commit \| commitdiff \| tree
2017-02-12	Clifford Wolf	Do not eagerly fix port widths on parameterized cells	commit \| commitdiff \| tree
2017-02-12	Clifford Wolf	Add "yosys -w" for suppressing warnings	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Add support for verific mem initialization	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Fix another stupid bug in the same line	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Add verific support for initialized variables	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Improve handling of Verific warnings and error messages	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Fix extremely stupid typo	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Add log_wire() API	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Fixed some "used uninitialized" warnings in opt_expr	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Evaluate all the $(shell ...) stuff for CXXFLAGS et...	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Merge branch 'stv0g-master'	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Make MacOS Makefile stuff more compact	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Merge branch 'master' of https://github.com/stv0g/yosys...	commit \| commitdiff \| tree
2017-02-11	Clifford Wolf	Add optimization of (a && 1'b1) and (a \|\| 1'b0)	commit \| commitdiff \| tree
2017-02-09	Clifford Wolf	Fix handling of init attributes with strange width	commit \| commitdiff \| tree
2017-02-09	Clifford Wolf	Add checker support to verilog front-end	commit \| commitdiff \| tree
2017-02-09	Clifford Wolf	Add "rand" and "rand const" verific support	commit \| commitdiff \| tree
2017-02-08	Clifford Wolf	Add SV "rand" and "const rand" support	commit \| commitdiff \| tree
2017-02-08	Clifford Wolf	Add PSL parser mode to verific front-end	commit \| commitdiff \| tree
2017-02-06	Clifford Wolf	Add "read_blif -wideports"	commit \| commitdiff \| tree
2017-02-05	Clifford Wolf	Fix undef propagation bug in $pmux SAT model	commit \| commitdiff \| tree
2017-02-05	Clifford Wolf	Update ABC to hg rev a2fcd1cc61a6	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Add assert check in "yosys-smtbmc -c"	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Improve yosys-smtbmc cover() support	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Partially implement cover() support in yosys-smtbmc	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Further improve cover() support	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Add $cover cell type and SVA cover() support	commit \| commitdiff \| tree
2017-02-04	Clifford Wolf	Add assert/assume support to verific front-end	commit \| commitdiff \| tree
2017-02-01	Clifford Wolf	Update ABC to hg rev fe96921e5d50	commit \| commitdiff \| tree
2017-02-01	Clifford Wolf	Update ABC scripts to use "&nf" instead of "map"	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Merge branch 'C-Elegans-opt_compare_pr'	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Fix indenting and log messages in code merged from...	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Merge branch 'opt_compare_pr' of https://github.com...	commit \| commitdiff \| tree
2017-01-31	Clifford Wolf	Improve opt_rmdff support for $dlatch cells	commit \| commitdiff \| tree
next

RSS Atom