projects / nmutil.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
speed up ==, hash, <, >, <=, and >= for plain_data
[nmutil.git] / src / nmutil / picker.py
2022-08-04 Jacob Lifshayadd BetterMultiPriorityPicker and formal proof commit | commitdiff
2022-08-04 Jacob Lifshayadd formal proof for MultiPriorityPicker commit | commitdiff
2022-08-03 Jacob Lifshayadd comment on redundancy in PriorityPicker's arguments commit | commitdiff
2022-08-03 Jacob Lifshayformal test for PriorityPicker passes commit | commitdiff
2022-04-08 Jacob Lifshayadd SPDX-License-Identifier comments rather than using... commit | commitdiff
2022-04-08 Jacob Lifshayformat code commit | commitdiff
2020-12-04 Luke Kenneth Casso... add grant links, and record of funding under #538 commit | commitdiff
2020-08-29 Luke Kenneth Casso... add reversal and lsb/msb mode to PriorityPicker commit | commitdiff
2020-07-22 Luke Kenneth Casso... missed en_o on list of ports in PriorityPicker commit | commitdiff
2020-04-16 Luke Kenneth Casso... adjust multi priority picker to accept multiple inputs commit | commitdiff
2020-04-16 Luke Kenneth Casso... whitespace commit | commitdiff
2020-03-25 Luke Kenneth Casso... grr fix more names thanks to nmigen renaming commit | commitdiff
2020-03-18 Luke Kenneth Casso... realised that the enable lines will act just as well... commit | commitdiff
2020-03-17 Luke Kenneth Casso... realised that the MultiPriorityPicker only needs a... commit | commitdiff
2020-03-17 Luke Kenneth Casso... add indices output to MultiPriorityPicker commit | commitdiff
2020-03-17 Luke Kenneth Casso... create MultiPriorityPicker which can mutually-exclusive... commit | commitdiff
2020-02-09 Luke Kenneth Casso... split out nmutil library based on ieee754fpu code commit | commitdiff