dsleung

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-27 11:42:06 +08:00

05f37c0c13 Remove rtio.sed.layouts from verification/restructuring TODO list

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-23 15:47:14 +08:00

f3fa369940 Fix grammatical error

1d1c1df125 Fix grammatical error in README

Compare 2 commits »

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-23 15:44:50 +08:00

1d1c1df125 Fix grammatical error in README

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-23 15:02:18 +08:00

b391f0e413 Remove dependence on custom version of nMigen

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-23 14:57:36 +08:00

e3a8229ac2 Rewrite sorting network to follow nMigen convention

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-23 11:15:56 +08:00

3c1db87457 Update README

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-23 10:43:50 +08:00

69a3e5606f Add mention of Nix in "Running the verification tasks"

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-23 10:39:27 +08:00

2f9d4a6348 Add instructions for running verification

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-23 10:32:04 +08:00

01026026fa Refine assertions for case with replacements in sorting network

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-22 13:32:19 +08:00

25a8a741bb Refine assertions for case with replacements in sorting network

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-22 12:54:02 +08:00

40930878a2 Add assertions for case with replacements

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-22 11:27:15 +08:00

04640794b9 Add breakdown of cmp_wrap() for reference

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-22 10:57:05 +08:00

1766fbeca9 Prepare rtio.sed.output_network for assertions on replacements

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-21 14:49:10 +08:00

c8775cba44 Remove outdated failing trace

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-21 14:03:42 +08:00

96d470921b Fix assertions for no replacements case

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-21 13:10:01 +08:00

b7a69557de Add assertion for no replacements given unique inputs

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-21 12:40:25 +08:00

67130ed79e Add uniqueness assertion for case with no replacements

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-20 13:05:44 +08:00

d8c40ce382 Add failing trace and trace analysis

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-20 11:40:26 +08:00

b9481cecf5 Reduce lane count to 4 for easier debugging

dsleung pushed to master at M-Labs/rtio-nmigen

2020-10-19 14:42:48 +08:00

577a8083f1 Add refactoring/restructuring to TODO list in README