projects / soc.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
soc.git
2020-07-24 Samuel A. Falvo IIProperties for MFMSR commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIReorganize code layout commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIWIP: SC properties more closely match doc'd behavior commit | commitdiff | tree
2020-07-24 Cole PoirierUpdate libreriscv/HDL_workflow with instructions how... commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIWIP: addressing code review, restoring proofs, etc. commit | commitdiff | tree
2020-07-24 Luke Kenneth... got fed up with bit-slice ordering crap. cut it out commit | commitdiff | tree
2020-07-24 Luke Kenneth... add better comments on field_slice commit | commitdiff | tree
2020-07-24 Luke Kenneth... returned field_slice to original, and added comments commit | commitdiff | tree
2020-07-24 Luke Kenneth... annoying, yet more typos commit | commitdiff | tree
2020-07-24 Luke Kenneth... annoying, typo commit | commitdiff | tree
2020-07-24 Luke Kenneth... better debug assert log message commit | commitdiff | tree
2020-07-24 Luke Kenneth... too much debug info going past, so add the test registe... commit | commitdiff | tree
2020-07-24 Luke Kenneth... missed import commit | commitdiff | tree
2020-07-24 Luke Kenneth... calling the test dictionary from the constructor is... commit | commitdiff | tree
2020-07-24 Luke Kenneth... whoops spelling commit | commitdiff | tree
2020-07-24 Luke Kenneth... add the div pipe kind plus prog.assembly to the assert... commit | commitdiff | tree
2020-07-24 Luke Kenneth... call test_write_ilang only once - ends up being called... commit | commitdiff | tree
2020-07-24 Luke Kenneth... fix how long div tests run, de-comment FSM and DivPipeCore commit | commitdiff | tree
2020-07-24 Luke Kenneth... argh! work-in-progress breaking / fixing how to do... commit | commitdiff | tree
2020-07-24 Luke Kenneth... whoops must add DivTestCasesLong to get it to produce... commit | commitdiff | tree
2020-07-24 Luke Kenneth... remove bad hack calling trunc_divs/trunc_mods commit | commitdiff | tree
2020-07-24 Luke Kenneth... re-enable commented-out div unit tests commit | commitdiff | tree
2020-07-24 Luke Kenneth... split out "all" div into separate unit test (takes... commit | commitdiff | tree
2020-07-24 Luke Kenneth... reduce variable size, continuation not needed commit | commitdiff | tree
2020-07-24 Luke Kenneth... comment about timeline does not exist commit | commitdiff | tree
2020-07-24 Luke Kenneth... ah ha! not using "with" was not calling the "close... commit | commitdiff | tree
2020-07-24 Luke Kenneth... read into a BytesIO to avoid "too many open files" commit | commitdiff | tree
2020-07-24 Luke Kenneth... whitespace / comments commit | commitdiff | tree
2020-07-24 Luke Kenneth... restore modification to caller.py from reversion of... commit | commitdiff | tree
2020-07-24 Luke Kenneth... Revert "working on div's test_pipe_caller" commit | commitdiff | tree
2020-07-24 Luke Kenneth... bug found in pseudocode reader when assembly code has... commit | commitdiff | tree
2020-07-24 Luke Kenneth... submodule update commit | commitdiff | tree
2020-07-24 Luke Kenneth... code review comments for trap and proof commit | commitdiff | tree
2020-07-24 Luke Kenneth... made it clear what is meant by the slice numbering... commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIRefactorin of common code commit | commitdiff | tree
2020-07-24 Samuel A. Falvo IIAddress code review comments commit | commitdiff | tree
2020-07-24 Jacob Lifshayworking on div's test_pipe_caller commit | commitdiff | tree
2020-07-24 Jacob Lifshayadd power-instruction-analyzer as a dependency commit | commitdiff | tree
2020-07-24 Jacob Lifshayformat commit | commitdiff | tree
2020-07-23 Luke Kenneth... syntax error commit | commitdiff | tree
2020-07-23 Luke Kenneth... support 32-bit mem width setting commit | commitdiff | tree
2020-07-23 Luke Kenneth... try SDRAM SDR commit | commitdiff | tree
2020-07-23 Luke Kenneth... allow imem to be 64/32 bit wide commit | commitdiff | tree
2020-07-23 Luke Kenneth... begin core in running state commit | commitdiff | tree
2020-07-23 Luke Kenneth... try different MEMTEST_xxx sizes with 64 bit bus width commit | commitdiff | tree
2020-07-23 Cole PoirierUpdate libreriscv HDL_workflow/coriolis2 commit | commitdiff | tree
2020-07-23 Jacob Lifshayadd all div* and mod* instructions to test_pipe_caller commit | commitdiff | tree
2020-07-22 Jacob Lifshayworking on fsm commit | commitdiff | tree
2020-07-22 Jacob LifshayMerge remote-tracking branch 'origin/master' commit | commitdiff | tree
2020-07-22 Jacob Lifshayformat code commit | commitdiff | tree
2020-07-22 Luke Kenneth... re-add CRG (clock reset generator) commit | commitdiff | tree
2020-07-22 Luke Kenneth... missing ports from issuer, when doing verilog commit | commitdiff | tree
2020-07-22 Luke Kenneth... add clock domain using snippet taken from random file commit | commitdiff | tree
2020-07-22 Luke Kenneth... cleanup in litex core.py commit | commitdiff | tree
2020-07-22 Luke Kenneth... update comments commit | commitdiff | tree
2020-07-22 Luke Kenneth... add dummy irq set/get commit | commitdiff | tree
2020-07-22 Luke Kenneth... add boot-helper.S etc from microwatt litex core commit | commitdiff | tree
2020-07-22 Luke Kenneth... set additional MSR bits according to v3.0B spec when... commit | commitdiff | tree
2020-07-22 Luke Kenneth... use (new) MSRb and PIb which has auto-bigendian numbers commit | commitdiff | tree
2020-07-22 Luke Kenneth... sigh, auto-create some little/big-endian classes for... commit | commitdiff | tree
2020-07-22 Luke Kenneth... missed import of Builder, set cpu_type to "None" tempor... commit | commitdiff | tree
2020-07-22 Luke Kenneth... begin converting litex sim to libre-soc commit | commitdiff | tree
2020-07-22 Luke Kenneth... whoops forgot field accessor commit | commitdiff | tree
2020-07-22 Luke Kenneth... do not use wildcard import commit | commitdiff | tree
2020-07-22 Luke Kenneth... start from vexriscv sim.py from commit | commitdiff | tree
2020-07-22 Luke Kenneth... correct syntax error commit | commitdiff | tree
2020-07-22 Luke Kenneth... first version of litex core (to be submitted upstream... commit | commitdiff | tree
2020-07-22 Luke Kenneth... whoops typo, 63-start not 3-start (doh) commit | commitdiff | tree
2020-07-22 Luke Kenneth... field number ordering wrong way round? commit | commitdiff | tree
2020-07-22 Luke Kenneth... syntax error commit | commitdiff | tree
2020-07-22 Luke Kenneth... review trap main_stage.py modifications: we are not... commit | commitdiff | tree
2020-07-22 Luke Kenneth... comments, add page spec numbers for branch ops into... commit | commitdiff | tree
2020-07-22 Luke Kenneth... add comment headings with spec page numbers commit | commitdiff | tree
2020-07-22 Luke Kenneth... comment on op.insn ordering commit | commitdiff | tree
2020-07-22 Luke Kenneth... code-shuffle, add comments commit | commitdiff | tree
2020-07-22 Luke Kenneth... add TT.size and use it in PowerDecoder and trap input... commit | commitdiff | tree
2020-07-22 Luke Kenneth... inline comments in trap proof commit | commitdiff | tree
2020-07-22 Luke Kenneth... note that traptype MUST increase in bitwidth correspond... commit | commitdiff | tree
2020-07-22 Luke Kenneth... fix branch main_stage proof, add ctr 32-bit, fix BCREG commit | commitdiff | tree
2020-07-22 Luke Kenneth... rework branch proof to use br_input_record commit | commitdiff | tree
2020-07-22 Luke Kenneth... update README for pipe_data.py commit | commitdiff | tree
2020-07-22 Luke Kenneth... reduce number of FastRegs read ports commit | commitdiff | tree
2020-07-22 Luke Kenneth... comments on what goes into CommonPipeSpec commit | commitdiff | tree
2020-07-22 Samuel A. Falvo IIComplete FV properties for OP_TRAP instructions. commit | commitdiff | tree
2020-07-22 Samuel A. Falvo IIPEP8 compliance commit | commitdiff | tree
2020-07-22 Jacob Lifshayworking on FSMDivCoreStage commit | commitdiff | tree
2020-07-22 Jacob Lifshayfix test_div_state_fsm commit | commitdiff | tree
2020-07-21 Samuel A. Falvo IICompleted SC FV properties commit | commitdiff | tree
2020-07-21 Samuel A. Falvo IIRefine properties to comply with spec commit | commitdiff | tree
2020-07-21 Samuel A. Falvo IIFix where msr_i gets its value from commit | commitdiff | tree
2020-07-21 Samuel A. Falvo IIMerge in recent updates to TRAP FV properties. commit | commitdiff | tree
2020-07-21 Luke Kenneth... convert branch pipeline to use msr/cia as immediates commit | commitdiff | tree
2020-07-21 Luke Kenneth... put set_msr and set_cia back in for now commit | commitdiff | tree
2020-07-21 Luke Kenneth... interesting bug in test_compunit.py when there are... commit | commitdiff | tree
2020-07-21 Luke Kenneth... testing if MultiCompUnit can handle no input regs ... commit | commitdiff | tree
2020-07-21 Luke Kenneth... disable cxxsim for now commit | commitdiff | tree
2020-07-21 Luke Kenneth... move cia and msr to trap input record commit | commitdiff | tree
2020-07-21 Luke Kenneth... set ISACaller.msr rather than namespace[MSR] commit | commitdiff | tree
2020-07-21 Luke Kenneth... when running an exception (trap) after "reset" must... commit | commitdiff | tree
2020-07-21 Luke Kenneth... spurious imports of FHDLTestCase, should be from nmutil commit | commitdiff | tree
next