Skip to content

Extracted list_numbers.v with seq, seqZ, sum_list and max_list

Michael Sammlerrequested to merge
msammler/list_numbers into master

This is in preparation for adding the rotate functions.

Merge request reports