afff588a4b
Remove dirty_enabled from cfg_t
The addition of Svadu support and removal of --mmu-dirty
command line flag results in the dirty_enabled configuration state
no longer being used. Remove the remnants of this state.
4 years ago
67bbdf5506
Add trigger_count field to cfg_t
4 years ago
5e1bdfc496
Use nproc or hw.ncpu instead of -j4 to build spike.
4 years ago
582f4d442e
Refactor build-spike out of test-spike.
4 years ago
e402a8353d
implement get_size() getter for mem_cfg_t object
NFT. We also mark `base` and `size` fields as private.
4 years ago
a606da640b
implement get_base() getter for mem_cfg_t object
NFC. The intention is for `base` and `size` fields of mem_cfg_t
to be private members. This is the fist part of this commit.
4 years ago
c4e7c88728
Add cfg_t field to enable PTE dirtying
4 years ago
044fedabee
Untabify ci-tests/testlib.c
4 years ago
a11af65d0e
Add --[no-]misaligned command-line options
They don't do anything yet.
4 years ago
46e6be48e9
Add github actions test that installed headers are usable
4 years ago
054a4aa579
Engage non-virtual-dtor warning in CI tests
4 years ago
ab20d616ae
Expand set of warnings we error on in CI
4 years ago
d17b176788
Actually run a program in CI
To avoid long CI times, keep the program in binary form.
To avoid storing binary files in this repository, store the binaries as
an asset on a github release.
4 years ago
1c227a1d3b
In CI, check that help message prints without error
4 years ago
7cf82d72f1
Run CI with -Werror
4 years ago
648e16e778
Add basic continuous-integration flow
6 years ago
Aaron Durbin
Jerry Zhao
Tim Newsome
Parshintsev Anatoly
Andrew Waterman