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

2019-09-20	Clifford Wolf	Merge pull request #1384 from YosysHQ/clifford/fix1381	commit \| commitdiff \| tree
2019-09-19	Clifford Wolf	Add techmap_autopurge attribute, fixes #1381	commit \| commitdiff \| tree
2019-09-19	Marcin Kościelnicki	Use extractinv for synth_xilinx -ise	commit \| commitdiff \| tree
2019-09-19	Marcin Kościelnicki	Added extractinv pass	commit \| commitdiff \| tree
2019-09-18	Eddie Hung	Document (* gentb_skip *) attr for test_autotb	commit \| commitdiff \| tree
2019-09-18	Eddie Hung	Merge pull request #1355 from YosysHQ/eddie/peepopt_dff...	commit \| commitdiff \| tree
2019-09-18	Eddie Hung	Merge pull request #1379 from mmicko/sim_models	commit \| commitdiff \| tree
2019-09-18	Miodrag Milanovic	make note that it is for latch mode	commit \| commitdiff \| tree
2019-09-18	Miodrag Milanovic	better lut handling	commit \| commitdiff \| tree
2019-09-18	Miodrag Milanovic	better handling of lut and begin/end add	commit \| commitdiff \| tree
2019-09-18	Clifford Wolf	Add "write_aiger -L"	commit \| commitdiff \| tree
2019-09-18	Clifford Wolf	Fix stupid bug in btor back-end	commit \| commitdiff \| tree
2019-09-16	Clifford Wolf	Bump version	commit \| commitdiff \| tree
2019-09-16	Clifford Wolf	Merge pull request #1380 from YosysHQ/clifford/fix1372	commit \| commitdiff \| tree
2019-09-16	Clifford Wolf	Fix handling of range selects on loop variables, fixes...	commit \| commitdiff \| tree
2019-09-15	Eddie Hung	Merge pull request #1374 from YosysHQ/eddie/fix1371	commit \| commitdiff \| tree
2019-09-15	Marcin Kościelnicki	xilinx: Make blackbox library family-dependent.	commit \| commitdiff \| tree
2019-09-15	Clifford Wolf	Merge pull request #1377 from YosysHQ/clifford/fixzdigit	commit \| commitdiff \| tree
2019-09-15	Miodrag Milanovic	Added simulation models for Efinix and Anlogic	commit \| commitdiff \| tree
2019-09-14	Eddie Hung	Oops	commit \| commitdiff \| tree
2019-09-13	Eddie Hung	Add counter-example from @cliffordwolf	commit \| commitdiff \| tree
2019-09-13	Eddie Hung	Revert "Make one check $shift(x)? only; change testcase...	commit \| commitdiff \| tree
2019-09-13	Eddie Hung	Spacing	commit \| commitdiff \| tree
2019-09-13	Eddie Hung	Explicitly order function arguments	commit \| commitdiff \| tree
2019-09-13	Eddie Hung	Use template specialisation	commit \| commitdiff \| tree
2019-09-13	Eddie Hung	Revert "SigSet<Cell*> to use stable compare class"	commit \| commitdiff \| tree
2019-09-13	Clifford Wolf	Fix handling of z_digit "?" and fix optimization of...	commit \| commitdiff \| tree
2019-09-13	Clifford Wolf	Merge pull request #1373 from YosysHQ/clifford/fix1364	commit \| commitdiff \| tree
2019-09-13	Clifford Wolf	Fix lexing of integer literals without radix	commit \| commitdiff \| tree
2019-09-12	Eddie Hung	Grammar	commit \| commitdiff \| tree
2019-09-12	Eddie Hung	static_assert to enforce this going forward	commit \| commitdiff \| tree
2019-09-12	Eddie Hung	SigSet<Cell*> to use stable compare class	commit \| commitdiff \| tree
2019-09-12	David Shah	Merge pull request #1370 from YosysHQ/dave/equiv_opt_mu...	commit \| commitdiff \| tree
2019-09-12	Clifford Wolf	Fix lexing of integer literals, fixes #1364	commit \| commitdiff \| tree
2019-09-11	Eddie Hung	Tidy up	commit \| commitdiff \| tree
2019-09-11	Eddie Hung	Fix UB	commit \| commitdiff \| tree
2019-09-11	Eddie Hung	Cope with presence of reset muxes too	commit \| commitdiff \| tree
2019-09-11	Eddie Hung	Cleanup	commit \| commitdiff \| tree
2019-09-11	Eddie Hung	Add more tests	commit \| commitdiff \| tree
2019-09-11	Eddie Hung	Only display log message if did_something	commit \| commitdiff \| tree
2019-09-11	Marcin Kościelnicki	Add -match-init option to dff2dffs.	commit \| commitdiff \| tree
2019-09-11	David Shah	Add equiv_opt -multiclock	commit \| commitdiff \| tree
2019-09-11	David Shah	Merge pull request #1362 from xobs/smtbmc-msvc2-build...	commit \| commitdiff \| tree
2019-09-11	Eddie Hung	Rename dffmuxext -> dffmux, also remove constants in...	commit \| commitdiff \| tree
2019-09-11	Eddie Hung	proc instead of prep	commit \| commitdiff \| tree
2019-09-11	Eddie Hung	Add unsigned case	commit \| commitdiff \| tree
2019-09-10	Clifford Wolf	Bump version	commit \| commitdiff \| tree
2019-09-10	Sean Cross	tests: ice40: fix div_mod SB_LUT4 count	commit \| commitdiff \| tree
2019-09-09	Eddie Hung	Fix misspelling	commit \| commitdiff \| tree
2019-09-09	Sean Cross	passes: opt_share: don't statically initialize mergeabl...	commit \| commitdiff \| tree
2019-09-08	Sean Cross	msys2: launcher: fix warnings and errors under g++	commit \| commitdiff \| tree
2019-09-08	Sean Cross	backends: smt2: use $(CXX) variable for compiler	commit \| commitdiff \| tree
2019-09-07	Marcin Kościelnicki	synth_xilinx: Support init values on Spartan 6 flip...	commit \| commitdiff \| tree
2019-09-07	Marcin Kościelnicki	techmap: Add support for extracting init values of...	commit \| commitdiff \| tree
2019-09-07	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	commit \| commitdiff \| tree
2019-09-07	Eddie Hung	Add missing -assert to equiv_opt	commit \| commitdiff \| tree
2019-09-07	Eddie Hung	Missing equiv_opt -assert	commit \| commitdiff \| tree
2019-09-07	Eddie Hung	Make one check $shift(x)? only; change testcase to...	commit \| commitdiff \| tree
2019-09-07	Eddie Hung	Usee equiv_opt -assert	commit \| commitdiff \| tree
2019-09-05	Eddie Hung	Merge pull request #1312 from YosysHQ/xaig_arrival	commit \| commitdiff \| tree
2019-09-05	Clifford Wolf	Bump version	commit \| commitdiff \| tree
2019-09-05	Clifford Wolf	Merge pull request #1350 from YosysHQ/clifford/fixsby59	commit \| commitdiff \| tree
2019-09-05	Clifford Wolf	Merge pull request #1330 from YosysHQ/clifford/fix1145	commit \| commitdiff \| tree
2019-09-05	Eddie Hung	simple/peepopt.v tests to various/peepopt.ys with equiv...	commit \| commitdiff \| tree
2019-09-05	Eddie Hung	Revert "abc9 followed by clean otherwise netlist could...	commit \| commitdiff \| tree
2019-09-05	Clifford Wolf	Update README.md	commit \| commitdiff \| tree
2019-09-05	Clifford Wolf	Rename conflicting wires on flatten/techmap, add "hierc...	commit \| commitdiff \| tree
2019-09-05	Clifford Wolf	Add flatten handling of pre-existing wires as created...	commit \| commitdiff \| tree
2019-09-05	whitequark	Merge pull request #1356 from emilazy/fix-makefile...	commit \| commitdiff \| tree
2019-09-04	Emily	Use $(shell :; ...) in Makefile to force shell	commit \| commitdiff \| tree
2019-09-04	Eddie Hung	Resolve TODO with pin assignments for SRL*	commit \| commitdiff \| tree
2019-09-04	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_...	commit \| commitdiff \| tree
2019-09-04	Eddie Hung	Revert "parse_xaiger() to do "clean -purge""	commit \| commitdiff \| tree
2019-09-04	Eddie Hung	abc9 followed by clean otherwise netlist could be inval...	commit \| commitdiff \| tree
2019-09-04	Eddie Hung	Remove log_cell() calls	commit \| commitdiff \| tree
2019-09-04	Eddie Hung	Add peepopt_dffmuxext	commit \| commitdiff \| tree
2019-09-04	Eddie Hung	Add peepopt_dffmuxext tests	commit \| commitdiff \| tree
2019-09-04	whitequark	Merge pull request #1354 from emilazy/remove-which-use	commit \| commitdiff \| tree
2019-09-04	Emily	Replace `which` with `command -v` in Makefile too	commit \| commitdiff \| tree
2019-09-04	Eddie Hung	Merge pull request #1338 from YosysHQ/eddie/deferred_top	commit \| commitdiff \| tree
2019-09-03	Eddie Hung	Adopt @cliffordwolf's suggestion	commit \| commitdiff \| tree
2019-09-03	Eddie Hung	Expand test with `hierarchy' without -auto-top	commit \| commitdiff \| tree
2019-09-03	Eddie Hung	Add `read -noverific` before read	commit \| commitdiff \| tree
2019-09-03	Eddie Hung	Merge remote-tracking branch 'origin/master' into eddie...	commit \| commitdiff \| tree
2019-09-03	Clifford Wolf	Merge pull request #1351 from emilazy/remove-which-use	commit \| commitdiff \| tree
2019-09-02	Emily	Use `command -v` rather than `which`	commit \| commitdiff \| tree
2019-09-02	Clifford Wolf	Properly construct $live and $fair cells from "if ...	commit \| commitdiff \| tree
2019-09-02	Eddie Hung	Add comments	commit \| commitdiff \| tree
2019-09-02	Eddie Hung	Rename box	commit \| commitdiff \| tree
2019-09-02	Eddie Hung	Merge remote-tracking branch 'origin/master' into xaig_...	commit \| commitdiff \| tree
2019-09-02	Eddie Hung	Merge branch 'master' of github.com:YosysHQ/yosys	commit \| commitdiff \| tree
2019-09-02	Eddie Hung	Recognise built-in types (e.g. $_DFF_*)	commit \| commitdiff \| tree
2019-09-01	Eddie Hung	Merge pull request #1344 from YosysHQ/eddie/ice40_signe...	commit \| commitdiff \| tree
2019-09-01	Clifford Wolf	Merge pull request #1347 from mmicko/fix_select_error_msg	commit \| commitdiff \| tree
2019-09-01	David Shah	Merge pull request #1346 from mmicko/fix_ecp5_cells_sim	commit \| commitdiff \| tree
2019-09-01	Miodrag Milanovic	Fix select command error msg, fixes issue #1081	commit \| commitdiff \| tree
2019-08-31	Miodrag Milanovic	Fix TRELLIS_FF simulation model	commit \| commitdiff \| tree
2019-08-31	David Shah	ecp5_gsr: Fix typo	commit \| commitdiff \| tree
2019-08-31	Eddie Hung	Make abc9 test a bit more interesting	commit \| commitdiff \| tree
2019-08-31	Eddie Hung	Recognise built-in types (e.g. $_DFF_*)	commit \| commitdiff \| tree
next

RSS Atom