| 2022-11-16 |
Jacob Lifshay | speed up ==, hash, <, >, <=, and >= for plain_data master |
commit | commitdiff | tree |
| 2022-10-13 |
Jacob Lifshay | change plain_data to ignore more base classes, so it... |
commit | commitdiff | tree |
| 2022-10-13 |
Jacob Lifshay | fix broken .pyi |
commit | commitdiff | tree |
| 2022-09-27 |
Jacob Lifshay | add plain_data.pyi to help type deduction for @plain_da... |
commit | commitdiff | tree |
| 2022-08-26 |
Jacob Lifshay | add note that migration to new PLRU should be blocked... |
commit | commitdiff | tree |
| 2022-08-19 |
Jacob Lifshay | add fixed PLRU |
commit | commitdiff | tree |
| 2022-08-19 |
Jacob Lifshay | copy plru.py -> plru2.py and add deprecation messages |
commit | commitdiff | tree |
| 2022-08-19 |
Jacob Lifshay | rename p_lru.txt to plru.txt so it shows up right next... |
commit | commitdiff | tree |
| 2022-08-19 |
Jacob Lifshay | autoformat all code |
commit | commitdiff | tree |
| 2022-08-19 |
Jacob Lifshay | format code with autopep8 |
commit | commitdiff | tree |
| 2022-08-18 |
Luke Kenneth... | i really hate f"....". replace with just bin(v) and... |
commit | commitdiff | tree |
| 2022-08-18 |
Luke Kenneth... | moved pop_count to its own separate module so that... |
commit | commitdiff | tree |
| 2022-08-18 |
Luke Kenneth... | whitespace in docstrings |
commit | commitdiff | tree |
| 2022-08-18 |
Jacob Lifshay | add WIP formal proof |
commit | commitdiff | tree |
| 2022-08-18 |
Jacob Lifshay | modify PLRU to allow access to internals by formal... |
commit | commitdiff | tree |
| 2022-08-16 |
Jacob Lifshay | add support for plain_data __repr__ with fields that... |
commit | commitdiff | tree |
| 2022-08-16 |
Jacob Lifshay | add fields and replace functions, like dataclasses... |
commit | commitdiff | tree |
| 2022-08-12 |
Jacob Lifshay | convert rest of dataclass uses to plain_data |
commit | commitdiff | tree |
| 2022-08-12 |
Jacob Lifshay | fix prefix_sum.py after 63ffb1aa and d7288021 |
commit | commitdiff | tree |
| 2022-08-12 |
Jacob Lifshay | finish implementing @plain_data() |
commit | commitdiff | tree |
| 2022-08-11 |
Jacob Lifshay | start adding @plain_data() decorator |
commit | commitdiff | tree |
| 2022-08-06 |
Luke Kenneth... | remove all asserts restricting types. |
commit | commitdiff | tree |
| 2022-08-05 |
Luke Kenneth... | remove dataclass and use of types |
commit | commitdiff | tree |
| 2022-08-05 |
Jacob Lifshay | add partial_prefix_sum_ops |
commit | commitdiff | tree |
| 2022-08-05 |
Jacob Lifshay | add tree_reduction and pop_count based off of dead... |
commit | commitdiff | tree |
| 2022-08-05 |
Jacob Lifshay | add Queue formal proof |
commit | commitdiff | tree |
| 2022-08-05 |
Jacob Lifshay | fix bad escape sequences from forgetting to make the... |
commit | commitdiff | tree |
| 2022-08-04 |
Jacob Lifshay | remove unneeded imports |
commit | commitdiff | tree |
| 2022-08-04 |
Jacob Lifshay | add byte_reverse formal proof |
commit | commitdiff | tree |
| 2022-08-04 |
Jacob Lifshay | add important note to byte_reverse's docs |
commit | commitdiff | tree |
| 2022-08-04 |
Jacob Lifshay | write output directory for formal test failures |
commit | commitdiff | tree |
| 2022-08-04 |
Jacob Lifshay | add BetterMultiPriorityPicker and formal proof |
commit | commitdiff | tree |
| 2022-08-04 |
Jacob Lifshay | split out sim_util.write_il from sim_util.do_sim |
commit | commitdiff | tree |
| 2022-08-04 |
Jacob Lifshay | add formal proof for MultiPriorityPicker |
commit | commitdiff | tree |
| 2022-08-03 |
Jacob Lifshay | add comment on redundancy in PriorityPicker's arguments |
commit | commitdiff | tree |
| 2022-08-03 |
Jacob Lifshay | formal test for PriorityPicker passes |
commit | commitdiff | tree |
| 2022-07-04 |
Jacob Lifshay | add sync domain if it isn't already there, making it... |
commit | commitdiff | tree |
| 2022-06-28 |
Jacob Lifshay | add smtbmc_opts argument to assertFormal to allow passi... |
commit | commitdiff | tree |
| 2022-06-24 |
Jacob Lifshay | switch smtlib2 logic to ALL to support floats |
commit | commitdiff | tree |
| 2022-05-12 |
Jacob Lifshay | pin some dependency versions |
commit | commitdiff | tree |
| 2022-05-11 |
Luke Kenneth... | stop possibility of infinite recursion in stages which |
commit | commitdiff | tree |
| 2022-05-10 |
Jacob Lifshay | rename proof_clz.py -> test_clz.py so it's run by pytest |
commit | commitdiff | tree |
| 2022-05-10 |
Jacob Lifshay | fix .gitlab-ci.yml |
commit | commitdiff | tree |
| 2022-05-05 |
Jacob Lifshay | rewrite test_clz.py to actually test both CLZ and clz. |
commit | commitdiff | tree |
| 2022-05-05 |
Jacob Lifshay | add clz function |
commit | commitdiff | tree |
| 2022-05-05 |
Jacob Lifshay | fix RippleMSB |
commit | commitdiff | tree |
| 2022-04-22 |
Jacob Lifshay | Revert "add reduce_only option to prefix_sum_ops" |
commit | commitdiff | tree |
| 2022-04-22 |
Jacob Lifshay | add reduce_only option to prefix_sum_ops |
commit | commitdiff | tree |
| 2022-04-22 |
Jacob Lifshay | autoformat code |
commit | commitdiff | tree |
| 2022-04-09 |
Luke Kenneth... | whitespace cleanup: |
commit | commitdiff | tree |
| 2022-04-09 |
Jacob Lifshay | add prefix sum render tests |
commit | commitdiff | tree |
| 2022-04-09 |
Jacob Lifshay | add prefix_sum and initial tests |
commit | commitdiff | tree |
| 2022-04-08 |
Jacob Lifshay | add SPDX-License-Identifier comments rather than using... |
commit | commitdiff | tree |
| 2022-04-08 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
| 2022-04-08 |
Jacob Lifshay | format and move comment block into fake docstring |
commit | commitdiff | tree |
| 2022-04-05 |
Luke Kenneth... | add default argument fn=None to treereduce (identity... |
commit | commitdiff | tree |
| 2022-04-05 |
Luke Kenneth... | create Ripple module, now joined by RippleMSB |
commit | commitdiff | tree |
| 2022-04-04 |
Jacob Lifshay | move clmul files into nmigen-gf.git |
commit | commitdiff | tree |
| 2022-03-27 |
Jacob Lifshay | fix accidentally wrong copyright year |
commit | commitdiff | tree |
| 2022-03-27 |
Jacob Lifshay | add CLMulAdd and tests |
commit | commitdiff | tree |
| 2022-03-01 |
Jacob Lifshay | add il generation by default |
commit | commitdiff | tree |
| 2022-02-15 |
Andrey Miroshnikov | Fixed input shift reg signal name |
commit | commitdiff | tree |
| 2022-02-13 |
Luke Kenneth... | add lut2 ilang output to lut.py to help testing |
commit | commitdiff | tree |
| 2022-01-31 |
Luke Kenneth... | store latch next in temporary |
commit | commitdiff | tree |
| 2022-01-06 |
Jacob Lifshay | remove unused import |
commit | commitdiff | tree |
| 2022-01-05 |
Luke Kenneth... | PLRU interface signals (acc_i and acc_en) were reversed |
commit | commitdiff | tree |
| 2022-01-05 |
Luke Kenneth... | use bit_length rather than log2_int function in mask.py |
commit | commitdiff | tree |
| 2021-12-23 |
Jacob Lifshay | redo grev |
commit | commitdiff | tree |
| 2021-12-23 |
Jacob Lifshay | remove redundant comments/docs |
commit | commitdiff | tree |
| 2021-12-22 |
Jacob Lifshay | add additional command in comment |
commit | commitdiff | tree |
| 2021-12-22 |
Jacob Lifshay | rewrite TreeBitwiseLut to actually use a tree rather... |
commit | commitdiff | tree |
| 2021-12-22 |
Jacob Lifshay | move writing rtlil into do_sim |
commit | commitdiff | tree |
| 2021-12-22 |
Jacob Lifshay | add copyright notices |
commit | commitdiff | tree |
| 2021-12-22 |
Jacob Lifshay | remove unnecessary <no space here> messages |
commit | commitdiff | tree |
| 2021-12-22 |
Jacob Lifshay | format code |
commit | commitdiff | tree |
| 2021-12-17 |
Luke Kenneth... | input is a keyword in python |
commit | commitdiff | tree |
| 2021-12-17 |
Luke Kenneth... | input is a keyword in python |
commit | commitdiff | tree |
| 2021-12-17 |
Luke Kenneth... | cleanup chunk_size and list of steps in GRev |
commit | commitdiff | tree |
| 2021-12-17 |
Luke Kenneth... | add NLnet Grant References |
commit | commitdiff | tree |
| 2021-12-17 |
Luke Kenneth... | * moved the grev formal correctness assertions into... |
commit | commitdiff | tree |
| 2021-12-17 |
Luke Kenneth... | more code-comments on BitwiseLut |
commit | commitdiff | tree |
| 2021-12-17 |
Luke Kenneth... | rewrite GRev. put in code-comments and some more TODOs |
commit | commitdiff | tree |
| 2021-12-17 |
Jacob Lifshay | clean up rest of grev.py docs |
commit | commitdiff | tree |
| 2021-12-17 |
Jacob Lifshay | clarify docs |
commit | commitdiff | tree |
| 2021-12-17 |
Jacob Lifshay | clarify docstring |
commit | commitdiff | tree |
| 2021-12-17 |
Jacob Lifshay | add grev test and formal proof |
commit | commitdiff | tree |
| 2021-12-17 |
Jacob Lifshay | clean up grev |
commit | commitdiff | tree |
| 2021-12-17 |
Jacob Lifshay | move do_sim and hash_256 to separate module |
commit | commitdiff | tree |
| 2021-12-17 |
Jacob Lifshay | add docs |
commit | commitdiff | tree |
| 2021-12-17 |
Jacob Lifshay | simplify lut.py |
commit | commitdiff | tree |
| 2021-12-12 |
Luke Kenneth... | whoops just step through i not list |
commit | commitdiff | tree |
| 2021-12-12 |
Luke Kenneth... | remove the pre-added array, remove the sub-function... |
commit | commitdiff | tree |
| 2021-12-11 |
Luke Kenneth... | more comments |
commit | commitdiff | tree |
| 2021-12-11 |
Luke Kenneth... | some more hints/comments |
commit | commitdiff | tree |
| 2021-12-11 |
Luke Kenneth... | add some comments (locations for comments to be added) |
commit | commitdiff | tree |
| 2021-12-10 |
Jacob Lifshay | add initial grev implementation |
commit | commitdiff | tree |
| 2021-12-10 |
Jacob Lifshay | remove unused import |
commit | commitdiff | tree |
| 2021-12-08 |
Luke Kenneth... | fix to nmutil workaround for detecting new Simulator API |
commit | commitdiff | tree |
| 2021-12-06 |
Luke Kenneth... | add a PLRUs module which selects between multiple PLRUs |
commit | commitdiff | tree |
| 2021-12-02 |
Jacob Lifshay | add nmigen/_toolchain/__init__ as toolchain.py to avoid... |
commit | commitdiff | tree |
| next |
projects / nmutil.git / shortlog