projects / soc.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
radix: reading first page table entry
[soc.git] / src / soc / fu / logical /
2021-01-04 Tobias Platentest_countzero.py: rename output files tree | commitdiff
2020-10-06 Luke Kenneth Casso... use pdecode2.do not pdecode2.e in test_pipe_caller... tree | commitdiff
2020-09-26 Cesar StraussConvert a few more tests to be able to use cxxsim tree | commitdiff
2020-09-07 Luke Kenneth Casso... bit of a big reorg of data structures tree | commitdiff
2020-08-27 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-27 Luke Kenneth Casso... reorg of SO handling related to CR0 tree | commitdiff
2020-08-26 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-26 Luke Kenneth Casso... use sub-test in logical test_pipe_caller tree | commitdiff
2020-08-24 Cole PoirierMerge branch 'master' of git.libre-soc.org:soc tree | commitdiff
2020-08-23 Michael NolanAdd copyright to files in fu/ that I was the primary... tree | commitdiff
2020-08-22 Luke Kenneth Casso... rename invert_a to invert_in because logical inverts RB tree | commitdiff
2020-08-22 Luke Kenneth Casso... add eqv to logical unit test tree | commitdiff
2020-08-22 Luke Kenneth Casso... add nor and nand to unit test tree | commitdiff
2020-08-22 Luke Kenneth Casso... bug in andc and orc, complement was taking place on... tree | commitdiff
2020-08-22 Luke Kenneth Casso... add andc and orc tests, failing because RB needs invers... tree | commitdiff
2020-08-14 Luke Kenneth Casso... divide logical pipe into 2 (simple phase last) tree | commitdiff
2020-07-29 Jacob Lifshayadd __init__.py to all source directories tree | commitdiff
2020-07-26 Luke Kenneth Casso... convert logical test case to new base class accumulator... tree | commitdiff
2020-07-25 Luke Kenneth Casso... add spec page numbers to logical ops tree | commitdiff
2020-07-22 Jacob LifshayMerge remote-tracking branch 'origin/master' tree | commitdiff
2020-07-22 Jacob Lifshayformat code tree | commitdiff
2020-07-14 Luke Kenneth Casso... reduce code size by using CompOpSubsetBase for ALU... tree | commitdiff
2020-07-12 Luke Kenneth Casso... rename InternalOp to MicrOp tree | commitdiff
2020-07-11 Luke Kenneth Casso... sorting out bigendian/littleendian including in qemu tree | commitdiff
2020-07-08 Jacob LifshayMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-07-07 Luke Kenneth Casso... remove unneeded record field from logical_input_record tree | commitdiff
2020-07-05 Luke Kenneth Casso... big reorg on PowerDecoder2, actually Decode2Execute1Type tree | commitdiff
2020-06-16 Luke Kenneth Casso... update popcount docstring tree | commitdiff
2020-06-11 Luke Kenneth Casso... rename get_sim_cr_a to get_wr_sim_cr_a for now tree | commitdiff
2020-06-10 Luke Kenneth Casso... use ALUHelpers in output stage of test_pipe_caller tree | commitdiff
2020-06-10 Luke Kenneth Casso... move to common ALUHelpers for Logical test_pipe_caller.py tree | commitdiff
2020-06-07 Luke Kenneth Casso... add missing args to ISA tree | commitdiff
2020-06-06 Luke Kenneth Casso... remove unneeded imports tree | commitdiff
2020-06-06 Luke Kenneth Casso... noticed the regular pattern in all pipe_data.py (regspecs). tree | commitdiff
2020-06-04 Luke Kenneth Casso... use common TestCase class in logical tree | commitdiff
2020-06-04 Luke Kenneth Casso... no global variables in test suites tree | commitdiff
2020-06-04 Luke Kenneth Casso... use copy of FHDLTestCase tree | commitdiff
2020-06-03 Tobias PlatenMerge branch 'master' of ssh://git.libre-riscv.org... tree | commitdiff
2020-06-03 Luke Kenneth Casso... remove rdflags in pipe_data.py (redundant) tree | commitdiff
2020-06-03 Luke Kenneth Casso... move obtaining simulator data into common function... tree | commitdiff
2020-06-02 Luke Kenneth Casso... rename regspecs to give a consistent naming scheme tree | commitdiff
2020-06-01 Luke Kenneth Casso... okaaay add a "rdflags" function which obtains the yes... tree | commitdiff
2020-06-01 Luke Kenneth Casso... remove use of reg3 in logical pipeline: CSV files moved... tree | commitdiff
2020-05-31 Luke Kenneth Casso... add logical compunit test tree | commitdiff
2020-05-29 Luke Kenneth Casso... module comments for popcount tree | commitdiff
2020-05-29 Luke Kenneth Casso... comments on popcount tree | commitdiff
2020-05-28 Luke Kenneth Casso... move simple_popcount out of class (does not use any... tree | commitdiff
2020-05-27 Luke Kenneth Casso... LogicalOutputData does not need XER.so tree | commitdiff
2020-05-27 Luke Kenneth Casso... remove XER.ca from logical Input Data - not needed tree | commitdiff
2020-05-27 Luke Kenneth Casso... cleanup logical main proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... add OP_CMPB formal proof tree | commitdiff
2020-05-24 Luke Kenneth Casso... split out Popcount into separate module: visually it... tree | commitdiff
2020-05-24 Luke Kenneth Casso... add copy of bpermd proof to logical formal proof (not... tree | commitdiff
2020-05-24 Luke Kenneth Casso... track down overwrite of variable b tree | commitdiff
2020-05-24 Michael NolanFix proof of bpermd module tree | commitdiff
2020-05-24 Michael NolanFix bpermd and make tests pass tree | commitdiff
2020-05-24 Michael NolanFix test_pipe_caller to conform to new Data() interface... tree | commitdiff
2020-05-24 Luke Kenneth Casso... convert logical to output Data on int reg tree | commitdiff
2020-05-24 Luke Kenneth Casso... output registers need to be Data type (consistently) tree | commitdiff
2020-05-23 Luke Kenneth Casso... add input / output stage missing modules tree | commitdiff
2020-05-22 Luke Kenneth Casso... cleanup logical pipe formal proof tree | commitdiff
2020-05-22 Luke Kenneth Casso... split out Logical Input and Output stages to common... tree | commitdiff
2020-05-22 Luke Kenneth Casso... soc.fu.logical.input_stage no different from ALU: delete tree | commitdiff
2020-05-22 Luke Kenneth Casso... comment tidyup tree | commitdiff
2020-05-21 Luke Kenneth Casso... add fu logical_input_record.py tree | commitdiff
2020-05-21 Luke Kenneth Casso... move Logical over to use CompLogicalOpSubset tree | commitdiff
2020-05-21 Luke Kenneth Casso... move common functionality between PipeSpecs to soc... tree | commitdiff
2020-05-21 Luke Kenneth Casso... move FU IntegerData to directory below tree | commitdiff
2020-05-21 Luke Kenneth Casso... convert to individual PipeSpecs for each pipeline tree | commitdiff
2020-05-20 Michael NolanMake test for bpermd exercise the module a bit more tree | commitdiff
2020-05-20 colepoirierAdded OP_BPERMD to fu/logical pipeline, with test tree | commitdiff
2020-05-20 Luke Kenneth Casso... add register specs to pipeline in/out so that they... tree | commitdiff
2020-05-20 Luke Kenneth Casso... formal proof rename on XER flags tree | commitdiff
2020-05-20 Luke Kenneth Casso... normalise XER regs carry/32 and SO tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_CNTZ tree | commitdiff
2020-05-20 Luke Kenneth Casso... add cross-reference to bugtracker and wiki tree | commitdiff
2020-05-20 Michael NolanAdd test for edge cases that were previously buggy tree | commitdiff
2020-05-20 Michael NolanDelete assume left over from testing tree | commitdiff
2020-05-20 Michael NolanAdd proof for OP_PRTY tree | commitdiff
2020-05-20 Michael NolanFormally verify OP_POPCNT tree | commitdiff
2020-05-20 Michael NolanFix bug with popcntd tree | commitdiff
2020-05-20 Luke Kenneth Casso... convert Logical to use new XER use of Data() tree | commitdiff
2020-05-20 Luke Kenneth Casso... whoops changed name of ALUInputData to LogicalInputData tree | commitdiff
2020-05-19 colepoirierRenamed bperm files in fu/logical and fu/logical formal... tree | commitdiff
2020-05-19 Luke Kenneth Casso... rename ALUPipeData to LogicalPipeData tree | commitdiff
2020-05-19 Luke Kenneth Casso... annoying syntax error tree | commitdiff
2020-05-19 Luke Kenneth Casso... code-shuffle on OP_CNTZ tree | commitdiff
2020-05-19 Michael NolanImplement 32 bit cntlz and cnttz tree | commitdiff
2020-05-19 Michael NolanActually implement cntlzd tree | commitdiff
2020-05-19 colepoirierAdded luke's suggested code to cover all 3 assertions... tree | commitdiff
2020-05-18 colepoirierAdded 2nd of 3 assertions for proof_bperm.py, currently... tree | commitdiff
2020-05-18 Luke Kenneth Casso... move countzero to fu/logical tree | commitdiff
2020-05-18 Luke Kenneth Casso... correct import after soc.fu move tree | commitdiff
2020-05-18 Luke Kenneth Casso... mass-rename of modules to soc.fu.* tree | commitdiff
2020-05-18 Luke Kenneth Casso... rename pipe to fu tree | commitdiff