riscv
/
yosys
mirror of https://github.com/YosysHQ/yosys.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity
14,589 Commits 92 Branches 51 Tags 41 MiB
Commit Graph

14589 Commits

Author SHA1 Message Date
Alain Dargelas e8e806f2ca Consolidate tests 2024-12-19 13:54:25 -08:00
Emil J. Tywoniak 325b0e3f33 peepopt_multdiv_c: add forgotten -assert 2024-12-19 15:22:14 +01:00
alaindargelas bb49acd7fc
Merge pull request #11 from alainmarcel/new_peepopts 
A or B width extend
 2024-12-18 21:49:18 -08:00
Alain Dargelas 45500f4dd9 A or B width extend 2024-12-18 21:48:33 -08:00
alaindargelas 7270cd3979
Merge pull request #10 from alainmarcel/new_peepopts 
Remove redundant code
 2024-12-18 21:23:26 -08:00
Alain Dargelas eb4e147edd Merge branch 'new_peepopts' of github.com:alainmarcel/yosys_akash into new_peepopts 2024-12-18 21:11:39 -08:00
Alain Dargelas fc4761610e Remove redundant code 2024-12-18 21:04:53 -08:00
alaindargelas 1ad1a0a1b9
Merge pull request #9 from alainmarcel/new_peepopts 
Check for overflow, remove obsolete code, fix test
 2024-12-18 20:47:57 -08:00
Alain Dargelas cd9e45d1f5 Check for overflow, remove obsolete code, fix test 2024-12-18 20:47:03 -08:00
alaindargelas 32406ea1e3
Merge pull request #8 from alainmarcel/new_peepopts 
Back to equiv_opt for multdiv tests
 2024-12-18 20:22:58 -08:00
Alain Dargelas 24c012aa6d Back to equiv_opt for multdiv tests 2024-12-18 20:22:35 -08:00
Alain Dargelas 6db406f5c2 Back to equiv_opt for multdiv tests 2024-12-18 20:21:44 -08:00
Emil J. Tywoniak 1c774f41ee peepopt_muldiv_c: remove write_verilog from test 2024-12-18 21:24:04 +01:00
alaindargelas d98b224d07
Merge pull request #7 from alainmarcel/new_peepopts 
Leave comment about signage assumption
 2024-12-18 11:36:59 -08:00
Alain Dargelas 53cf38c656 Leave comment about signage assumption 2024-12-18 11:36:21 -08:00
alaindargelas 50c93f7726
Merge pull request #6 from alainmarcel/new_peepopts 
Code review fix, bail out on integers above 64 bits
 2024-12-18 11:29:18 -08:00
Alain Dargelas 0f8356d485 Code review fix, bail out on integers above 64 bits 2024-12-18 11:28:32 -08:00
alaindargelas ceb5d2a662
Merge pull request #5 from alainmarcel/new_peepopts 
Convert to miter/sat
 2024-12-18 10:55:42 -08:00
Alain Dargelas 7b70ba4fd6 Convert to miter/sat 2024-12-18 10:54:54 -08:00
Akash Levy 029c25536c
Merge pull request #4 from alainmarcel/new_peepopts 
Switch formal proof to use miter/sat
 2024-12-18 10:53:11 -08:00
Alain Dargelas ff5237f4b2 Switch formal proof to use miter/sat 2024-12-18 10:37:51 -08:00
Akash Levy d81bda8ce7
Merge pull request #3 from alainmarcel/new_peepopts 
Passing equiv for simplest muxadd case, prevent multiple match/rewiri…
 2024-12-18 09:17:41 -08:00
Emil J. Tywoniak 8e78720f05 peepopt_muldiv_c: add test 2024-12-18 14:40:05 +01:00
Alain Dargelas 5212ad7d12 Passing equiv for simplest muxadd case, prevent multiple match/rewiring on same mux-add pair 2024-12-17 21:40:42 -08:00
Akash Levy 6c5d7ccdd8
Merge pull request #2 from alainmarcel/new_peepopts 
Fix code review issue
 2024-12-17 17:05:10 -08:00
Alain Dargelas 297923272d Fix code review issue 2024-12-17 16:03:37 -08:00
Akash Levy f9ae66d2e4
Update peepopt_muldiv_c.pmg 2024-12-17 15:50:37 -08:00
Akash Levy b4fa7dc5aa
Update peepopt_muxadd.pmg 2024-12-17 15:50:13 -08:00
Akash Levy cfadf28460
Merge pull request #1 from alainmarcel/new_peepopts 
Compiles and transforms correctly, fails equiv
 2024-12-17 15:47:53 -08:00
Alain Dargelas 8a6c1005e3 Clean after opt 2024-12-17 15:45:36 -08:00
Alain Dargelas 3b7388888c Compiles and transforms correctly, fails equiv 2024-12-17 15:33:31 -08:00
Martin Povišer 0e15edd099 Add muxadd peepopt tests 2024-12-17 15:11:44 +01:00
Akash Levy 2375879b32
Update peepopt_muldiv_c.pmg 2024-12-17 04:19:16 -08:00
Akash Levy 0ddb3d7d81
Merge branch 'YosysHQ:main' into new_peepopts 2024-12-17 04:18:00 -08:00
N. Engelhardt 7a362f1f74
Merge pull request #4813 from YosysHQ/micko/mxe_removal 
Unsupported targets removal
 2024-12-16 15:29:52 +01:00
github-actions[bot] 4581f75b03 Bump version 2024-12-13 00:23:01 +00:00
N. Engelhardt f384eac28b
Merge pull request #4815 from YosysHQ/verific_bounds_fix 
Verific frontend: fix `top_bound`/`bottom_bound` attributes
 2024-12-12 12:59:55 +01:00
N. Engelhardt 378864d33b bound attributes: handle vhdl null ranges 2024-12-12 11:42:39 +01:00
github-actions[bot] e32e199ca8 Bump version 2024-12-12 00:22:44 +00:00
N. Engelhardt 03033ab6d4 add more tests for bounds attributes, fix attributes appearing in verilog 2024-12-11 16:11:02 +01:00
Miodrag Milanovic b9e04297f8 Remove cygwin support, users should use gcc target for it 2024-12-11 12:36:21 +01:00
Miodrag Milanovic c99941971f remove AFL gcc support 2024-12-11 12:34:48 +01:00
Miodrag Milanovic 6c3ae946ba Completely remove MXE support 2024-12-11 12:34:03 +01:00
Miodrag Milanovic e91e95f501 Next dev cycle 2024-12-11 09:01:32 +01:00
Miodrag Milanovic aaa5347494 Release version 0.48 2024-12-11 08:35:36 +01:00
github-actions[bot] 1f6153a55a Bump version 2024-12-11 00:22:54 +00:00
Martin Povišer 4bd6061709
Merge pull request #4799 from povik/wrapcell-unused 
wrapcell: Optionally track unused outputs
 2024-12-10 21:16:28 +01:00
Martin Povišer 3ce7283e12
Merge pull request #4809 from povik/rm-global-tcl-h 
kernel: Remove global `tcl.h` include
 2024-12-10 20:36:34 +01:00
Martin Povišer 86fad8f6f5
Merge pull request #4803 from povik/write_verilog-buf 
write_verilog: Use assign for `$buf`
 2024-12-10 20:10:58 +01:00
Martin Povišer f7ad003a6f
Merge pull request #4802 from povik/abc9-box-repeat 
Adjust `abc9_ops -prep_box` to allow repeated invocation
 2024-12-10 20:08:17 +01:00