aboutsummaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* Bump versionClifford Wolf2019-09-051-1/+1
| | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* Merge pull request #1350 from YosysHQ/clifford/fixsby59Clifford Wolf2019-09-051-7/+18
|\ | | | | Properly construct $live and $fair cells from "if (...) assume/assert (s_eventually ...)"
| * Properly construct $live and $fair cells from "if (...) assume/assert ↵Clifford Wolf2019-09-021-7/+18
| | | | | | | | | | | | | | | | (s_eventually ...)" Fixes https://github.com/YosysHQ/SymbiYosys/issues/59 Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Merge pull request #1330 from YosysHQ/clifford/fix1145Clifford Wolf2019-09-052-8/+40
|\ \ | | | | | | Add flatten handling of pre-existing wires as created by interfaces
| * | Update README.mdClifford Wolf2019-09-051-1/+2
| | | | | | | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Rename conflicting wires on flatten/techmap, add "hierconn" attribute, fixes ↵Clifford Wolf2019-09-052-8/+27
| | | | | | | | | | | | | | | | | | #1220 Signed-off-by: Clifford Wolf <clifford@clifford.at>
| * | Add flatten handling of pre-existing wires as created by interfaces, fixes #1145Clifford Wolf2019-09-051-8/+20
|/ / | | | | | | Signed-off-by: Clifford Wolf <clifford@clifford.at>
* | Merge pull request #1356 from emilazy/fix-makefile-shellwhitequark2019-09-051-3/+3
|\ \ | | | | | | Use $(shell :; ...) in Makefile to force shell
| * | Use $(shell :; ...) in Makefile to force shellEmily2019-09-051-3/+3
|/ / | | | | | | | | | | | | | | | | | | | | | | | | | | | | | | Did you think that `$(shell command -v ...)` would actually get run by the shell? Foolish mortal; GNU Make is obviously far more wise than thee, as it optimizes it to a direct -- and hence broken (since `command` is a shell builtin) -- exec. This horrifying contortion ensures that an actual shell runs the command and fixes the behaviour. @Shizmob found the source of this misbehaviour; turns out gmake has a hard-coded, incomplete list of shell builtins: https://github.com/mirror/make/blob/715c787dc69bac37827a7d6ea6d40a86c55b5583/src/job.c#L2691 This contains `command`, but the whole function is full of horrible heuristic garbage so who knows. I'm so sorry.
* | Merge pull request #1354 from emilazy/remove-which-usewhitequark2019-09-041-3/+3
|\ \ | | | | | | Replace `which` with `command -v` in Makefile too
| * | Replace `which` with `command -v` in Makefile tooEmily2019-09-041-3/+3
| | |
* | | Merge pull request #1338 from YosysHQ/eddie/deferred_topEddie Hung2019-09-043-0/+58
|\ \ \ | | | | | | | | hierarchy -auto-top to work with (* top *) modules from read/read_verilog -defer
| * | | Adopt @cliffordwolf's suggestionEddie Hung2019-09-031-10/+3
| | | |
| * | | Expand test with `hierarchy' without -auto-topEddie Hung2019-09-031-0/+7
| | | |
| * | | Add `read -noverific` before readEddie Hung2019-09-031-0/+1
| | | |
| * | | Merge remote-tracking branch 'origin/master' into eddie/deferred_topEddie Hung2019-09-0372-415/+1857
| |\ \ \ | |/ / / |/| | |
* | | | Merge pull request #1351 from emilazy/remove-which-useClifford Wolf2019-09-032-2/+2
|\ \ \ \ | | |/ / | |/| / | |_|/ |/| | Use `command -v` rather than `which`
| * | Use `command -v` rather than `which`Emily2019-09-032-2/+2
|/ /
* | Merge branch 'master' of github.com:YosysHQ/yosysEddie Hung2019-09-026-21/+20
|\ \
| * \ Merge pull request #1344 from YosysHQ/eddie/ice40_signed_maccEddie Hung2019-09-013-12/+10
| |\ \ | | | | | | | | ice40_dsp to allow signed multipliers
| | * | Improve tests/ice40/macc.ys for SB_MAC16Eddie Hung2019-08-302-7/+10
| | | |
| | * | Do not restrict multiplier to unsignedEddie Hung2019-08-301-5/+0
| | | |
| * | | Merge pull request #1347 from mmicko/fix_select_error_msgClifford Wolf2019-09-011-2/+2
| |\ \ \ | | | | | | | | | | Fix select command error msg, fixes issue #1081
| | * | | Fix select command error msg, fixes issue #1081Miodrag Milanovic2019-09-011-2/+2
| | | | |
| * | | | Merge pull request #1346 from mmicko/fix_ecp5_cells_simDavid Shah2019-09-011-6/+7
| |\ \ \ \ | | |/ / / | |/| | | Fix TRELLIS_FF simulation model
| | * | | Fix TRELLIS_FF simulation modelMiodrag Milanovic2019-08-311-6/+7
| |/ / /
| * | | ecp5_gsr: Fix typoDavid Shah2019-08-311-1/+1
| | | | | | | | | | | | | | | | Signed-off-by: David Shah <dave@ds0.me>
* | | | Recognise built-in types (e.g. $_DFF_*)Eddie Hung2019-09-021-3/+4
|/ / /
* | | Missing dep for test_pmgenEddie Hung2019-08-301-1/+1
| | |
* | | Merge pull request #1340 from YosysHQ/eddie/abc_no_cleanEddie Hung2019-08-304-35/+35
|\ \ \ | |/ / |/| | abc9 to not call "clean" at end of run (often called outside)
| * | Nicer formattingEddie Hung2019-08-291-1/+7
| | |
| * | parse_xaiger() to do "clean -purge"Eddie Hung2019-08-291-1/+1
| | |
| * | Output has priority over input when stitching in abc9Eddie Hung2019-08-291-13/+10
| | |
| * | Group abc_* attribute doc with other attributesEddie Hung2019-08-291-17/+17
| | |
| * | abc9 to not call "clean" at end of run (often called outside)Eddie Hung2019-08-291-3/+0
| | |
* | | Merge pull request #1310 from SergeyDegtyar/masterEddie Hung2019-08-3037-1/+766
|\ \ \ | | | | | | | | Add new tests for ice40 architecture
| * | | macc test fixSergeyDegtyar2019-08-301-1/+1
| | | |
| * | | Fix macc testSergeyDegtyar2019-08-301-1/+1
| | | |
| * | | div_mod test fixSergeyDegtyar2019-08-301-1/+1
| | | |
| * | | fix div_mod testSergeyDegtyar2019-08-301-1/+1
| | | |
| * | | Fix test for counterSergeyDegtyar2019-08-301-1/+1
| | | |
| * | | Merge branch 'master' into masterSergey2019-08-306-27/+51
| |\ \ \
| * | | | Add new tests.SergeyDegtyar2019-08-3010-0/+200
| | | | |
| * | | | Remove unnecessary common.v(assertions for testbenches).SergeyDegtyar2019-08-301-47/+0
| | | | |
| * | | | Remove simulation from run-test.sh (unnecessary paths)SergeyDegtyar2019-08-301-16/+9
| | | | |
| * | | | Remove simulation from run-test.shSergeyDegtyar2019-08-301-6/+0
| | | | |
| * | | | Merge pull request #2 from YosysHQ/masterSergey2019-08-2910-127/+341
| |\ \ \ \ | | | |/ / | | |/| | Pull from upstream
| * | | | Merge pull request #3 from YosysHQ/Sergey/tests_ice40Sergey2019-08-2974-820/+3636
| |\ \ \ \ | | | | | | | | | | | | Merge my changes to tests_ice40 branch
| | * | | | Comment out *.sh used for testbenches as we have no moreEddie Hung2019-08-281-8/+8
| | | | | |
| | * | | | Use equiv for memory and dpramEddie Hung2019-08-284-168/+2
| | | | | |
generated by cgit v1.2.3 (git 2.25.1) at 2025-04-01 00:03:26 +0000