aboutsummaryrefslogtreecommitdiff
AgeCommit message (Expand)AuthorFilesLines
4 hoursFix consecutive builds of the OCaml emulatorHEADmasterTim Hutt1-2/+6
2 daysAdd missing mstatus.MPP legalizationVed Shanbhogue2-0/+20
7 daysAdd Zaamo and ZalrscVed Shanbhogue2-6/+10
7 daysDon't hard-code GCC in MakefileEt7f32-3/+3
9 daysCheck misalignment of AMOs before address translation (#471)Tim Hutt1-1/+3
2024-06-04Merge pull request #477 from Timmmm/user/timh/silly_switchBill McSpadden2-155/+72
2024-06-03Remove unnecessary matches for loads/storesTim Hutt2-155/+72
2024-06-03Merge pull request #468 from Timmmm/user/timh/cheri_width_bytesBill McSpadden6-23/+30
2024-06-03Change ext_data_get_addr to use bytes for widthTim Hutt6-23/+30
2024-06-03Use multiple threads for LTOMudassir Ali1-1/+1
2024-05-23Merge pull request #456 from KotorinMinami/masterBill McSpadden5-20/+162
2024-05-23Merge pull request #473 from Timmmm/user/timh/remove_duplicate_mem_readsBill McSpadden1-8/+0
2024-05-23Merge pull request #476 from Timmmm/user/timh/minor_fixesBill McSpadden2-5/+3
2024-05-23Merge pull request #483 from Alasdair/c23_warn_fixBill McSpadden2-2/+2
2024-05-21Update bitfield syntaxJordan Carlin3-6/+6
2024-05-21Merge pull request #479 from jordancarlin/remove_unused_reg_name_functionsBill McSpadden2-84/+0
2024-05-21csim: Fix C23 compatability warningAlasdair2-2/+2
2024-05-20Fix mext whitespaceJordan Carlin1-53/+53
2024-05-20Merge pull request #458 from Alasdair/interfaceBill McSpadden8-454/+194
2024-05-20Merge pull request #461 from Timmmm/user/timh/fix_pte_sizeBill McSpadden1-17/+18
2024-05-20Merge pull request #469 from Timmmm/user/timh/have_atomicsBill McSpadden1-176/+161
2024-05-20Merge pull request #480 from jordancarlin/have_MulDivBill McSpadden1-42/+12
2024-05-18Move haveMulDiv() guard to encdec for M extensionJordan Carlin1-42/+12
2024-05-19Remove effect from vext_vsetJordan Carlin1-1/+1
2024-05-18Remove unused (f)reg_name_abi functionsJordan Carlin2-84/+0
2024-05-17Replace some bits(12)s with csregTim Hutt2-2/+2
2024-05-16Merge pull request #359 from XinlaiWan/masterBill McSpadden2-81/+98
2024-05-16Merge branch 'master' into masterBill McSpadden29-138/+223
2024-05-15Add some missing explicit var declarationsTim Hutt4-20/+20
2024-05-15Remove duplicate type declarations for mem_readTim Hutt1-8/+0
2024-05-15Handle 34-bit PMP address overflowTim Hutt1-18/+25
2024-05-15Don't read or write 8 bytes for 4-byte PTEsTim Hutt1-17/+18
2024-05-15Minor style fixesTim Hutt2-5/+3
2024-05-14Move haveAtomics() guard for atomic instructions to guard clausesTim Hutt1-176/+161
2024-05-14fix format problem and prevent different nameKotorinMinami1-3/+3
2024-05-12Refactor MUL instructionAlasdair3-34/+28
2024-05-10lem: Add PMP related stubs for Isabelle buildAlasdair1-0/+8
2024-05-10Makefile: Make sure OPAMCLI is 2.0 in all subshellsAlasdair1-5/+7
2024-05-11Change immediates to be signed in assemblyKotorinMinami5-20/+162
2024-05-10Remove theorem prover targets from default Makefile rule (#464)Alasdair Armstrong1-1/+1
2024-05-09Replace vmandnot and vmornot with vmandn and vmorn - Issue #421 (#465)Shivang Mishra2-7/+7
2024-05-07Add missing decoder guards for crypto extensionsTim Hutt2-29/+29
2024-05-07Add Svinval extension.Martin Berger2-3/+3
2024-05-07fixup! fixup! fixup! Add Svinval extension.Martin Berger3-46/+54
2024-05-07fixup! fixup! Add Svinval extension.Martin Berger2-3/+2
2024-05-07fixup! Add Svinval extension.Martin Berger8-0/+20
2024-05-07Add Svinval extension.Martin Berger1-0/+46
2024-04-30Adapt memory builtins for Sail concurrency interfaceAlasdair8-454/+194
2024-04-29split fcvtmod.w.d invalid check into 2 if statementsJordan Carlin1-1/+2
2024-04-29Correct fcvtmod.w.d flag generation logicJordan Carlin1-1/+3
generated by cgit v1.1 at 2024-06-21 01:47:00 +0000