yosys.git
9 years agoBugfix in wreduce
Clifford Wolf [Mon, 16 Feb 2015 08:08:00 +0000 (09:08 +0100)]
Bugfix in wreduce

9 years agoMore yosys.js improvements
Clifford Wolf [Sun, 15 Feb 2015 23:11:22 +0000 (00:11 +0100)]
More yosys.js improvements

9 years agoAdded Viz to yosys.js
Clifford Wolf [Sun, 15 Feb 2015 21:53:41 +0000 (22:53 +0100)]
Added Viz to yosys.js

9 years agoAdded yosys.js FS support
Clifford Wolf [Sun, 15 Feb 2015 17:10:54 +0000 (18:10 +0100)]
Added yosys.js FS support

9 years agoMore emcc stuff
Clifford Wolf [Sun, 15 Feb 2015 16:14:09 +0000 (17:14 +0100)]
More emcc stuff

9 years agoImproved yosys.js example
Clifford Wolf [Sun, 15 Feb 2015 15:16:08 +0000 (16:16 +0100)]
Improved yosys.js example

9 years agoAdded "stat" to "synth" and "synth_xilinx"
Clifford Wolf [Sun, 15 Feb 2015 12:25:15 +0000 (13:25 +0100)]
Added "stat" to "synth" and "synth_xilinx"

9 years agoAdded final checks to "synth" and "synth_xilinx"
Clifford Wolf [Sun, 15 Feb 2015 12:00:00 +0000 (13:00 +0100)]
Added final checks to "synth" and "synth_xilinx"

9 years agoAdded "check -noinit"
Clifford Wolf [Sun, 15 Feb 2015 11:58:12 +0000 (12:58 +0100)]
Added "check -noinit"

9 years agoCosmetic fixes in "hierarchy" for blackbox modules
Clifford Wolf [Sun, 15 Feb 2015 11:57:41 +0000 (12:57 +0100)]
Cosmetic fixes in "hierarchy" for blackbox modules

9 years agoMore emscripten stuff, Added example app
Clifford Wolf [Sun, 15 Feb 2015 11:09:30 +0000 (12:09 +0100)]
More emscripten stuff, Added example app

9 years agoFixed default EMCCFLAGS
Clifford Wolf [Sun, 15 Feb 2015 09:30:29 +0000 (10:30 +0100)]
Fixed default EMCCFLAGS

9 years agoSmaller default parameters in $mem simlib model
Clifford Wolf [Sat, 14 Feb 2015 23:20:05 +0000 (00:20 +0100)]
Smaller default parameters in $mem simlib model

9 years agoFixed "stat" handling of blackbox modules
Clifford Wolf [Sat, 14 Feb 2015 21:36:34 +0000 (22:36 +0100)]
Fixed "stat" handling of blackbox modules

9 years agoVarious fixes for memories with offsets
Clifford Wolf [Sat, 14 Feb 2015 13:21:15 +0000 (14:21 +0100)]
Various fixes for memories with offsets

9 years agoAdded $meminit support to "memory" command
Clifford Wolf [Sat, 14 Feb 2015 11:55:03 +0000 (12:55 +0100)]
Added $meminit support to "memory" command

9 years agoAdded $meminit test case
Clifford Wolf [Sat, 14 Feb 2015 10:26:20 +0000 (11:26 +0100)]
Added $meminit test case

9 years agoAdded "read_verilog -nomeminit" and "nomeminit" attribute
Clifford Wolf [Sat, 14 Feb 2015 10:21:12 +0000 (11:21 +0100)]
Added "read_verilog -nomeminit" and "nomeminit" attribute

9 years agoCreating $meminit cells in verilog front-end
Clifford Wolf [Sat, 14 Feb 2015 09:49:30 +0000 (10:49 +0100)]
Creating $meminit cells in verilog front-end

9 years agoAdded $meminit cell type
Clifford Wolf [Sat, 14 Feb 2015 09:23:03 +0000 (10:23 +0100)]
Added $meminit cell type

9 years agoFixed handling of "//" in filenames in verilog pre-processor
Clifford Wolf [Sat, 14 Feb 2015 07:41:03 +0000 (08:41 +0100)]
Fixed handling of "//" in filenames in verilog pre-processor

9 years agoFixed "write_verilog -attr2comment" handling of "*/" in strings
Clifford Wolf [Fri, 13 Feb 2015 21:48:10 +0000 (22:48 +0100)]
Fixed "write_verilog -attr2comment" handling of "*/" in strings

9 years agohotfix in "check" command
Clifford Wolf [Fri, 13 Feb 2015 13:40:49 +0000 (14:40 +0100)]
hotfix in "check" command

9 years agoAdded "check" command
Clifford Wolf [Fri, 13 Feb 2015 13:34:51 +0000 (14:34 +0100)]
Added "check" command

9 years agoAdded AstNode::simplify() recursion counter
Clifford Wolf [Fri, 13 Feb 2015 11:33:12 +0000 (12:33 +0100)]
Added AstNode::simplify() recursion counter

9 years agoAdded EMCCFLAGS
Clifford Wolf [Fri, 13 Feb 2015 11:32:04 +0000 (12:32 +0100)]
Added EMCCFLAGS

9 years agoSome test related fixes
Clifford Wolf [Thu, 12 Feb 2015 16:45:44 +0000 (17:45 +0100)]
Some test related fixes

(incl. removal of three bad test cases)

9 years agoAdded "proc_dlatch"
Clifford Wolf [Thu, 12 Feb 2015 15:56:01 +0000 (16:56 +0100)]
Added "proc_dlatch"

9 years agoLess aggressive "share" defaults
Clifford Wolf [Tue, 10 Feb 2015 19:51:37 +0000 (20:51 +0100)]
Less aggressive "share" defaults

9 years agoImproved read_verilog support for empty behavioral statements
Clifford Wolf [Tue, 10 Feb 2015 11:17:29 +0000 (12:17 +0100)]
Improved read_verilog support for empty behavioral statements

9 years agoAdded "scc -expect <N> -nofeedback"
Clifford Wolf [Tue, 10 Feb 2015 07:48:55 +0000 (08:48 +0100)]
Added "scc -expect <N> -nofeedback"

9 years agoSome hashlib improvements
Clifford Wolf [Mon, 9 Feb 2015 19:11:51 +0000 (20:11 +0100)]
Some hashlib improvements

9 years agoVarious changes to release checklist
Clifford Wolf [Mon, 9 Feb 2015 15:36:37 +0000 (16:36 +0100)]
Various changes to release checklist

9 years agoFixed creation of command reference in manual
Clifford Wolf [Mon, 9 Feb 2015 12:24:29 +0000 (13:24 +0100)]
Fixed creation of command reference in manual

9 years agoWe are now in 0.5+ development
Clifford Wolf [Mon, 9 Feb 2015 12:12:48 +0000 (13:12 +0100)]
We are now in 0.5+ development

9 years agoYosys 0.5 yosys-0.5
Clifford Wolf [Mon, 9 Feb 2015 11:49:52 +0000 (12:49 +0100)]
Yosys 0.5

9 years agoBugfix in "make vcxsrc"
Clifford Wolf [Mon, 9 Feb 2015 11:48:15 +0000 (12:48 +0100)]
Bugfix in "make vcxsrc"

9 years agoUpdated command reference in manual
Clifford Wolf [Mon, 9 Feb 2015 11:05:02 +0000 (12:05 +0100)]
Updated command reference in manual

9 years agoVarious presentation fixes
Clifford Wolf [Mon, 9 Feb 2015 11:02:21 +0000 (12:02 +0100)]
Various presentation fixes

9 years agoFixed iterator invalidation bug in "rename" command
Clifford Wolf [Sun, 8 Feb 2015 23:18:36 +0000 (00:18 +0100)]
Fixed iterator invalidation bug in "rename" command

9 years agoCodingReadme update
Clifford Wolf [Sun, 8 Feb 2015 22:30:15 +0000 (23:30 +0100)]
CodingReadme update

9 years agoFixed bug in "show -format .."
Clifford Wolf [Sun, 8 Feb 2015 22:29:54 +0000 (23:29 +0100)]
Fixed bug in "show -format .."

9 years agoAdded new APIs to changelog
Clifford Wolf [Sun, 8 Feb 2015 20:14:52 +0000 (21:14 +0100)]
Added new APIs to changelog

9 years agoFixed eval_select_op() api
Clifford Wolf [Sun, 8 Feb 2015 18:06:16 +0000 (19:06 +0100)]
Fixed eval_select_op() api

9 years agoAdded eval_select_args() and eval_select_op()
Clifford Wolf [Sun, 8 Feb 2015 17:56:06 +0000 (18:56 +0100)]
Added eval_select_args() and eval_select_op()

9 years agoMinor "make vgtest" changes
Clifford Wolf [Sun, 8 Feb 2015 14:13:51 +0000 (15:13 +0100)]
Minor "make vgtest" changes

9 years agoVarious ModIndex improvements
Clifford Wolf [Sun, 8 Feb 2015 13:23:12 +0000 (14:23 +0100)]
Various ModIndex improvements

9 years agoAdded Yosys 0.5 Changelog
Clifford Wolf [Sun, 8 Feb 2015 11:01:22 +0000 (12:01 +0100)]
Added Yosys 0.5 Changelog

9 years agoVarious updates to CodingReadme
Clifford Wolf [Sun, 8 Feb 2015 11:01:00 +0000 (12:01 +0100)]
Various updates to CodingReadme

9 years agoAdded equiv_add
Clifford Wolf [Sun, 8 Feb 2015 10:59:38 +0000 (11:59 +0100)]
Added equiv_add

9 years agoIgnore explicit assignments to constants in HDL code
Clifford Wolf [Sat, 7 Feb 2015 23:58:03 +0000 (00:58 +0100)]
Ignore explicit assignments to constants in HDL code

9 years agoFixed a bug with autowire bit size
Clifford Wolf [Sat, 7 Feb 2015 23:48:23 +0000 (00:48 +0100)]
Fixed a bug with autowire bit size
(removed leftover from when we tried to auto-size the wires)

9 years agofixed typo
Clifford Wolf [Sat, 7 Feb 2015 23:16:59 +0000 (00:16 +0100)]
fixed typo

9 years agoAdded "yosys-config --build modname.so cppsources.."
Clifford Wolf [Sat, 7 Feb 2015 23:14:07 +0000 (00:14 +0100)]
Added "yosys-config --build modname.so cppsources.."

9 years agoAdded SigSpec::has_const()
Clifford Wolf [Sat, 7 Feb 2015 23:01:51 +0000 (00:01 +0100)]
Added SigSpec::has_const()

9 years agoCleanup in add_share_file make macro
Clifford Wolf [Sat, 7 Feb 2015 23:01:31 +0000 (00:01 +0100)]
Cleanup in add_share_file make macro

9 years agoRemoved "make mklibyosys"
Clifford Wolf [Sat, 7 Feb 2015 18:05:06 +0000 (19:05 +0100)]
Removed "make mklibyosys"

9 years agoImproved building of plugins
Clifford Wolf [Sat, 7 Feb 2015 18:04:06 +0000 (19:04 +0100)]
Improved building of plugins

9 years agoAdded "make uninstall"
Clifford Wolf [Sat, 7 Feb 2015 16:46:46 +0000 (17:46 +0100)]
Added "make uninstall"

9 years agoAdded cell->known(), cell->input(portname), cell->output(portname)
Clifford Wolf [Sat, 7 Feb 2015 10:40:19 +0000 (11:40 +0100)]
Added cell->known(), cell->input(portname), cell->output(portname)

9 years agoAdded "select -read"
Clifford Wolf [Fri, 6 Feb 2015 09:01:22 +0000 (10:01 +0100)]
Added "select -read"

9 years agoAuto-detect TCL version
Clifford Wolf [Thu, 5 Feb 2015 22:39:26 +0000 (23:39 +0100)]
Auto-detect TCL version

9 years agoAdded onehot attribute
Clifford Wolf [Wed, 4 Feb 2015 17:52:54 +0000 (18:52 +0100)]
Added onehot attribute

9 years agoFixed opt_clean performance bug
Clifford Wolf [Wed, 4 Feb 2015 15:34:06 +0000 (16:34 +0100)]
Fixed opt_clean performance bug

9 years agoDisabled (unused) Xilinx tristate buffers
Clifford Wolf [Wed, 4 Feb 2015 15:33:59 +0000 (16:33 +0100)]
Disabled (unused) Xilinx tristate buffers

9 years agoUsing design->selected_modules() in opt_*
Clifford Wolf [Tue, 3 Feb 2015 22:45:01 +0000 (23:45 +0100)]
Using design->selected_modules() in opt_*

9 years agoSkip blackbox modules in design->selected_modules()
Clifford Wolf [Tue, 3 Feb 2015 22:11:57 +0000 (23:11 +0100)]
Skip blackbox modules in design->selected_modules()

9 years agoAdded "yosys -L logfile"
Clifford Wolf [Tue, 3 Feb 2015 22:04:58 +0000 (23:04 +0100)]
Added "yosys -L logfile"

9 years agoMerge branch 'master' of github.com:cliffordwolf/yosys
Clifford Wolf [Sun, 1 Feb 2015 22:07:00 +0000 (23:07 +0100)]
Merge branch 'master' of github.com:cliffordwolf/yosys

9 years agono support for 6-series xilinx devices
Clifford Wolf [Sun, 1 Feb 2015 22:06:44 +0000 (23:06 +0100)]
no support for 6-series xilinx devices

9 years agoMerge pull request #48 from rubund/master
Clifford Wolf [Sun, 1 Feb 2015 21:55:52 +0000 (22:55 +0100)]
Merge pull request #48 from rubund/master

Fixed typos found by lintian

9 years agoImproved performance in equiv_simple
Clifford Wolf [Sun, 1 Feb 2015 21:41:03 +0000 (22:41 +0100)]
Improved performance in equiv_simple

9 years agoFixed typos found by lintian
Ruben Undheim [Sun, 1 Feb 2015 20:49:55 +0000 (21:49 +0100)]
Fixed typos found by lintian

9 years agoRemoved old XST-based xilinx examples
Clifford Wolf [Sun, 1 Feb 2015 16:10:46 +0000 (17:10 +0100)]
Removed old XST-based xilinx examples

9 years agoAdded Xilinx example for Basys3 board
Clifford Wolf [Sun, 1 Feb 2015 16:09:34 +0000 (17:09 +0100)]
Added Xilinx example for Basys3 board

9 years agoAdded EDIF backend support for multi-bit cell ports
Clifford Wolf [Sun, 1 Feb 2015 14:43:35 +0000 (15:43 +0100)]
Added EDIF backend support for multi-bit cell ports

9 years agoAdded missing ports and parameters to xilinx brams
Clifford Wolf [Sun, 1 Feb 2015 14:42:59 +0000 (15:42 +0100)]
Added missing ports and parameters to xilinx brams

9 years agoAdded "make mklibyosys", some minor API changes
Clifford Wolf [Sun, 1 Feb 2015 12:38:46 +0000 (13:38 +0100)]
Added "make mklibyosys", some minor API changes

9 years agoMinor README changes
Clifford Wolf [Sat, 31 Jan 2015 23:57:12 +0000 (00:57 +0100)]
Minor README changes

9 years agoRemoved TODO list from README file
Clifford Wolf [Sat, 31 Jan 2015 23:48:22 +0000 (00:48 +0100)]
Removed TODO list from README file

9 years agoAdded yosys_banner(), Updated Copyright range
Clifford Wolf [Sat, 31 Jan 2015 23:39:59 +0000 (00:39 +0100)]
Added yosys_banner(), Updated Copyright range

9 years agoAdded <algorithm> include to hashlib.h
Clifford Wolf [Sat, 31 Jan 2015 23:27:07 +0000 (00:27 +0100)]
Added <algorithm> include to hashlib.h

9 years agoUsing selections in "ls" command
Clifford Wolf [Sat, 31 Jan 2015 23:13:19 +0000 (00:13 +0100)]
Using selections in "ls" command

9 years agoShorter "dump" options
Clifford Wolf [Sat, 31 Jan 2015 22:52:36 +0000 (23:52 +0100)]
Shorter "dump" options

9 years agoBugfix in opt_const $eq -> buffer code
Clifford Wolf [Sat, 31 Jan 2015 22:25:32 +0000 (23:25 +0100)]
Bugfix in opt_const $eq -> buffer code

9 years agoLog msg change
Clifford Wolf [Sat, 31 Jan 2015 20:26:53 +0000 (21:26 +0100)]
Log msg change

9 years agoFixed equiv_make for partially undriven nets (e.g. after "clean -purge")
Clifford Wolf [Sat, 31 Jan 2015 20:07:42 +0000 (21:07 +0100)]
Fixed equiv_make for partially undriven nets (e.g. after "clean -purge")

9 years agoAdded "equiv_induct -undef"
Clifford Wolf [Sat, 31 Jan 2015 12:58:04 +0000 (13:58 +0100)]
Added "equiv_induct -undef"

9 years agoAdded "equiv_simple -undef"
Clifford Wolf [Sat, 31 Jan 2015 12:06:41 +0000 (13:06 +0100)]
Added "equiv_simple -undef"

9 years agoAdded "equiv_make -blacklist <file> -encfile <file>"
Clifford Wolf [Sat, 31 Jan 2015 11:08:20 +0000 (12:08 +0100)]
Added "equiv_make -blacklist <file> -encfile <file>"

9 years agoSynced RTLIL::unescape_id() to log_id() behavior
Clifford Wolf [Fri, 30 Jan 2015 21:51:16 +0000 (22:51 +0100)]
Synced RTLIL::unescape_id() to log_id() behavior

9 years agoAdded "fsm -encfile"
Clifford Wolf [Fri, 30 Jan 2015 21:46:53 +0000 (22:46 +0100)]
Added "fsm -encfile"

9 years agoMore log_id() stuff
Clifford Wolf [Fri, 30 Jan 2015 21:22:52 +0000 (22:22 +0100)]
More log_id() stuff

9 years agoSome cleanups in log.cc
Clifford Wolf [Fri, 30 Jan 2015 21:12:26 +0000 (22:12 +0100)]
Some cleanups in log.cc

9 years agoImproved an error message
Clifford Wolf [Tue, 27 Jan 2015 23:46:00 +0000 (00:46 +0100)]
Improved an error message

9 years agoFixed bug in equiv_miter
Clifford Wolf [Tue, 27 Jan 2015 23:14:23 +0000 (23:14 +0000)]
Fixed bug in equiv_miter

9 years agoAdded "sat -show-ports"
Clifford Wolf [Tue, 27 Jan 2015 23:04:28 +0000 (23:04 +0000)]
Added "sat -show-ports"

9 years agoBugfix in resource sharing test
Clifford Wolf [Tue, 27 Jan 2015 18:30:06 +0000 (19:30 +0100)]
Bugfix in resource sharing test

9 years agoUpdaed ABC to hg rev 61ad5f908c03
Clifford Wolf [Tue, 27 Jan 2015 18:22:56 +0000 (19:22 +0100)]
Updaed ABC to hg rev 61ad5f908c03

9 years agoRethrow with "catch(...) throw;"
Clifford Wolf [Sun, 25 Jan 2015 21:57:09 +0000 (22:57 +0100)]
Rethrow with "catch(...) throw;"