Files

elf2hex
riscv-memory-model
riscv-tests
softfloat-hs
src
- Platform
- Spec
  - CSR.hs
  - CSRField.hs
  - CSRFile.hs
  - CSRFileIO.hs
  - CSRGetSet.hs
  - CSRSpec.hs
  - Decode.hs
  - Execute.hs
  - Execute32.hs
  - ExecuteA.hs
  - ExecuteA64.hs
  - ExecuteCSR.hs
  - ExecuteF.hs
  - ExecuteF64.hs
  - ExecuteI.hs
  - ExecuteI64.hs
  - ExecuteM.hs
  - ExecuteM64.hs
  - Machine.hs
  - Memory.hs
  - Spec.hs
  - VirtualMemory.hs
- Tandem
- Utility
test
.gitignore
.gitmodules
.travis.yml
ChangeLog.md
LICENSE
Makefile
READING.md
README.md
Setup.hs
clean-circuit.sh
device_tree
device_tree.bin
exceptions.md
hie.yaml
install.sh
install_riscv_gcc.sh
linux-build.md
loc.py
loc.sh
make-circuit.sh
package.yaml
riscv-compliance.py
riscv-semantics.cabal
riscv.als
run_riscv_mm_litmus.sh
setup.sh
stack.yaml

Spec

revert changes made by clash sed script hack that were not meant to b…

May 24, 2023

2d039fc · May 24, 2023

Name	Name	Last commit message	Last commit date
parent directory ..
CSR.hs	CSR.hs	make more hs-to-coq friendly	Nov 8, 2020
CSRField.hs	CSRField.hs	Add new target using IOArray for csr file. Strictify returns.	Feb 5, 2019
CSRFile.hs	CSRFile.hs	Fix bugs in the Spec found booting linux.	Jan 30, 2019
CSRFileIO.hs	CSRFileIO.hs	Add new target using IOArray for csr file. Strictify returns.	Feb 5, 2019
CSRGetSet.hs	CSRGetSet.hs	more Coq translation tweaks	Nov 8, 2020
CSRSpec.hs	CSRSpec.hs	make clash work again (modulo sed hack)	Nov 14, 2020
Decode.hs	Decode.hs	revert changes made by clash sed script hack that were not meant to b…	May 24, 2023
Execute.hs	Execute.hs	Initial refactoring, introduction of platform-specific handlers.	Jan 17, 2019
Execute32.hs	Execute32.hs	Milestone memory models	Nov 1, 2020
ExecuteA.hs	ExecuteA.hs	consistently perform all operations on type t	May 10, 2019
ExecuteA64.hs	ExecuteA64.hs	consistently perform all operations on type t	May 10, 2019
ExecuteCSR.hs	ExecuteCSR.hs	more Coq translation tweaks	Nov 8, 2020
ExecuteF.hs	ExecuteF.hs	Propagate SourceType for memory instructions to the whole project	Feb 27, 2019
ExecuteF64.hs	ExecuteF64.hs	Initial refactoring, introduction of platform-specific handlers.	Jan 17, 2019
ExecuteI.hs	ExecuteI.hs	Fixing inconsistent Run.hs, use default instance	May 23, 2023
ExecuteI64.hs	ExecuteI64.hs	Propagate SourceType for memory instructions to the whole project	Feb 27, 2019
ExecuteM.hs	ExecuteM.hs	Initial refactoring, introduction of platform-specific handlers.	Jan 17, 2019
ExecuteM64.hs	ExecuteM64.hs	Initial refactoring, introduction of platform-specific handlers.	Jan 17, 2019
Machine.hs	Machine.hs	Rebring cacheAcces, but simplified	Nov 20, 2020
Memory.hs	Memory.hs	Initial refactoring, introduction of platform-specific handlers.	Jan 17, 2019
Spec.hs	Spec.hs	remove debug output	Nov 9, 2020
VirtualMemory.hs	VirtualMemory.hs	uncomment VirtualMemory.translate, now running	Nov 9, 2020

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Files

Spec

Spec

Files

Spec

Directory actions

More options

Directory actions

More options

Latest commit

History

Spec

Folders and files

parent directory