2022-11-16 |
Jacob Lifshay | speed up ==, hash, <, >, <=, and >= for plain_data
|
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_data...
|
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 |
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-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 passing...
|
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-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 |
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-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-01-06 |
Jacob Lifshay | remove unused import
|
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 |
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-10 |
Jacob Lifshay | add initial grev implementation
|
commit | commitdiff | tree |
2021-12-10 |
Jacob Lifshay | remove unused import
|
commit | commitdiff | tree |
2021-12-02 |
Jacob Lifshay | add nmigen/_toolchain/__init__ as toolchain.py to avoid...
|
commit | commitdiff | tree |
2021-12-02 |
Jacob Lifshay | remove redundant overrides of stuff that's aready in...
|
commit | commitdiff | tree |
2021-12-02 |
Jacob Lifshay | add missing import Statement for assertRepr
|
commit | commitdiff | tree |
2021-12-02 |
Jacob Lifshay | change FHDLTestCase to use get_test_path
|
commit | commitdiff | tree |
2021-12-02 |
Jacob Lifshay | switch test_lut to use FHDLTestCase
|
commit | commitdiff | tree |
2021-12-02 |
Jacob Lifshay | format code
|
commit | commitdiff | tree |
2021-11-17 |
Jacob Lifshay | add Array-based version of BitwiseLut, renaming old...
|
commit | commitdiff | tree |
2021-11-17 |
Jacob Lifshay | add formal tests for BitwiseLut
|
commit | commitdiff | tree |
2021-11-17 |
Jacob Lifshay | add BitwiseLut and tests
|
commit | commitdiff | tree |
2021-10-09 |
Jacob Lifshay | add deduped
|
commit | commitdiff | tree |
2021-10-08 |
Jacob Lifshay | move type info into doc strings, since lkcl complains...
|
commit | commitdiff | tree |
2021-10-01 |
Jacob Lifshay | add get_test_path function from simd_signal's util.py
|
commit | commitdiff | tree |
2020-10-07 |
Jacob Lifshay | add overflow detection to DIVS
|
commit | commitdiff | tree |
2020-10-07 |
Jacob Lifshay | format code
|
commit | commitdiff | tree |
2020-04-17 |
Jacob Lifshay | add flatten function
|
commit | commitdiff | tree |
2020-04-03 |
Jacob Lifshay | add build caching using ccache
|
commit | commitdiff | tree |
2020-04-03 |
Jacob Lifshay | tests pass
|
commit | commitdiff | tree |
2020-04-01 |
Jacob Lifshay | move clone paths to inside current directory
|
commit | commitdiff | tree |
2020-04-01 |
Jacob Lifshay | add test case for https://github.com/nmigen/nmigen...
|
commit | commitdiff | tree |
2020-04-01 |
Jacob Lifshay | switch nmigen upstream and add --depth 1
|
commit | commitdiff | tree |
2020-04-01 |
Jacob Lifshay | reformat apt-get command
|
commit | commitdiff | tree |
2020-03-26 |
Jacob Lifshay | add .gitlab-ci.yml
|
commit | commitdiff | tree |
|