issues
search
chipsalliance
/
synlig
SystemVerilog support for Yosys
Apache License 2.0
159
stars
21
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Build(deps): Bump third_party/yosys from `0fc5812` to `1bf908d`
#2601
dependabot[bot]
opened
12 hours ago
0
Build(deps): Bump third_party/surelog from `4d8ef9e` to `c0cdf5f`
#2600
dependabot[bot]
closed
6 hours ago
1
Run formal
#2599
alaindargelas
closed
3 hours ago
0
Build(deps): Bump third_party/yosys from `0fc5812` to `59404f8`
#2598
dependabot[bot]
closed
12 hours ago
1
Build(deps): Bump third_party/sv2v from `e9c01d2` to `5374679`
#2597
dependabot[bot]
opened
1 day ago
1
Build(deps): Bump third_party/sby from `d9a5845` to `62d1708`
#2596
dependabot[bot]
opened
1 day ago
1
Build(deps): Bump third_party/surelog from `4d8ef9e` to `01f0d2f`
#2595
dependabot[bot]
closed
12 hours ago
2
Build(deps): Bump third_party/surelog from `4d8ef9e` to `6b6c364`
#2594
dependabot[bot]
closed
1 day ago
2
Adjust Synlig Makefile to submodule changes
#2593
kamilrakoczy
opened
5 days ago
1
Build(deps): Bump third_party/surelog from `4d8ef9e` to `2c20a5e`
#2592
dependabot[bot]
closed
4 days ago
2
Allow to build Synlig as Python module
#2591
kamilrakoczy
opened
6 days ago
3
Build(deps): Bump third_party/surelog from `e023cda` to `4d8ef9e`
#2590
dependabot[bot]
closed
6 days ago
1
Build(deps): Bump third_party/surelog from `e023cda` to `d25e405`
#2589
dependabot[bot]
closed
6 days ago
2
Build(deps): Bump third_party/black_parrot_sdk from `337699d` to `a714d98`
#2588
dependabot[bot]
closed
6 days ago
1
Build(deps): Bump third_party/black_parrot from `65c7db6` to `710b0ea`
#2587
dependabot[bot]
opened
1 week ago
1
Build(deps): Bump third_party/yosys from `0fc5812` to `8e1e2b9`
#2586
dependabot[bot]
closed
1 day ago
1
Build(deps): Bump third_party/ibex from `87dfd07` to `f92d599`
#2585
dependabot[bot]
opened
1 week ago
1
Build(deps): Bump third_party/black_parrot_tools from `c552b44` to `2c2df67`
#2584
dependabot[bot]
closed
6 days ago
1
Build(deps): Bump third_party/black_parrot_sdk from `337699d` to `5c48d90`
#2583
dependabot[bot]
closed
1 week ago
2
Build(deps): Bump third_party/black_parrot_tools from `c552b44` to `cfc50a3`
#2582
dependabot[bot]
closed
1 week ago
2
Build(deps): Bump third_party/surelog from `e023cda` to `925c3ca`
#2581
dependabot[bot]
closed
1 week ago
2
Build(deps): Bump third_party/black_parrot from `65c7db6` to `5a1473f`
#2580
dependabot[bot]
closed
1 week ago
2
Build(deps): Bump third_party/ibex from `87dfd07` to `4ed20f4`
#2579
dependabot[bot]
closed
1 week ago
2
Build(deps): Bump third_party/ibex from `87dfd07` to `6a33f69`
#2578
dependabot[bot]
closed
1 week ago
2
Cleanup repository structure
#2577
kamilrakoczy
closed
1 week ago
1
Decrease formal verification logs size
#2576
kamilrakoczy
closed
1 week ago
1
Unify README indentation
#2575
kamilrakoczy
closed
1 week ago
1
Refactor parsing tests CI
#2574
kamilrakoczy
closed
1 week ago
1
Fix testing README with tuttest
#2573
kamilrakoczy
closed
1 week ago
1
Build(deps): Bump third_party/yosys from `0fc5812` to `4d581a9`
#2572
dependabot[bot]
closed
1 week ago
1
Build(deps): Bump third_party/ibex from `87dfd07` to `2617c43`
#2571
dependabot[bot]
closed
1 week ago
2
Build(deps): Bump third_party/eqy from `7b16456` to `d327440`
#2570
dependabot[bot]
closed
1 week ago
2
Build(deps): Bump third_party/yosys from `0fc5812` to `c884624`
#2569
dependabot[bot]
closed
1 week ago
1
Build(deps): Bump third_party/sby from `67a7821` to `d9a5845`
#2568
dependabot[bot]
closed
1 week ago
2
Fix testing of downloading release from README
#2567
kamilrakoczy
closed
2 weeks ago
1
[#65257] Update read_systemverilog command message
#2566
kamilrakoczy
closed
2 weeks ago
1
Build(deps): Bump third_party/surelog from `5f6e20e` to `e023cda`
#2565
dependabot[bot]
closed
2 weeks ago
1
mismatched input '#' expecting <EOF> error
#2564
gkamendje
closed
2 weeks ago
1
Update testing README with tuttest
#2563
kamilrakoczy
closed
2 weeks ago
1
Build(deps): Bump third_party/yosys from `0fc5812` to `c8b42b7`
#2562
dependabot[bot]
closed
2 weeks ago
1
Make synlig build/install depend on surelog
#2561
kamilrakoczy
closed
2 weeks ago
1
Recent builds cannot find share/
#2560
thirtythreeforty
closed
2 weeks ago
2
Change Synlig exit message
#2559
kamilrakoczy
closed
2 weeks ago
1
Change format of release package
#2558
kamilrakoczy
closed
2 weeks ago
1
Move yosys_mod to src directory
#2557
kamilrakoczy
closed
2 weeks ago
1
Bump upload-artifact and download-artifact versions
#2556
kamilrakoczy
closed
2 weeks ago
1
Build(deps): Bump third_party/yosys from `0fc5812` to `229d1ea`
#2555
dependabot[bot]
closed
2 weeks ago
1
Update Synlig prompt
#2554
kamilrakoczy
closed
2 weeks ago
1
Fail CI on every result difference
#2553
kamilrakoczy
closed
2 weeks ago
1
Setup Github release and enable systemwide installation
#2552
kamilrakoczy
closed
2 weeks ago
1
Next