mirror/uvm32
1
Fork 0
mirror of https://github.com/ringtailsoftware/uvm32.git synced 2026-06-05 22:43:39 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions
207 commits 7 branches 0 tags 21 MiB
Commit graph

207 commits

This branch
This branch
All branches
Author SHA1 Message Date
Toby Jaffey
1ec79c079d Remove invalid if 2025-12-14 13:07:58 +00:00
Toby Jaffey
056c7b608f Don't create env on non-main 2025-12-14 13:02:14 +00:00
Toby Jaffey
3242393cb5 README change, for PR test 2025-12-14 12:59:26 +00:00
Toby Jaffey
7313047fd1 Simple fuzzer 2025-12-14 12:34:53 +00:00
Toby Jaffey
0736381925 Slim down mini-rv32imaa by removing zicsr and atomics - which are unused. 2025-12-14 11:49:28 +00:00
Toby Jaffey
861c75d80e Remove cycle counting and timers from mini-rv32ima 2025-12-14 11:19:23 +00:00
Toby Jaffey
a693fed59c Show coverage report for all uvm32 2025-12-14 11:15:59 +00:00
Toby Jaffey
5dc9acdf3d When a trap occurs in mini-rv32ima, always pass to the host rather than allowing running code to handle it. This would be important for a real OS, but the aim of uvm32 is embeddable logic - not full emulation. 
As all traps are caught by host, begin testing mini-rv32ima internals by checking PC oob and PC alignment.
 2025-12-14 11:00:45 +00:00
Toby Jaffey
be5dbbfa44 Latest doom binary (since crt0.S changes) 2025-12-14 11:00:26 +00:00
Toby Jaffey
8d67bf2fc3 Latest maze binary 2025-12-14 10:59:59 +00:00
Toby Jaffey
a635846e69 Remove -fpeel-loops, now that real issue has been fixed. 2025-12-14 09:50:14 +00:00
Toby Jaffey
044d600b86 Merge branch 'main' of github.com:ringtailsoftware/uvm32 2025-12-14 09:42:31 +00:00
Toby Jaffey
7a39a69f3d Move label 2025-12-14 09:42:03 +00:00
Toby Jaffey
14383da04d Only deploy from main branch 2025-12-14 09:41:11 +00:00
Toby Jaffey
b7269c23b3
Merge pull request #2 from 1player/main 
apps/maze: fix possible stack overflow
 2025-12-14 09:37:50 +00:00
Stéphane Travostino
cdfae7d453 apps/maze: fix possible stack overflow 
The original code this app is inspired from uses rand(), which returns
a number >= 0.
mulberry32() on the other hand can return a negative number, in which
case will overflow the accesses in the dirs array. Fix that by forcing
the result to be unsigned.
 2025-12-14 10:15:04 +01:00
Toby Jaffey
2c5f1e33fe Label
Some checks are pending
CI / test (ubuntu-latest) (push) Waiting to run
Details
2025-12-14 03:26:41 +00:00
Toby Jaffey
079cf2c9bd Add CI workflow to create a coverage badge via github pages 2025-12-14 03:08:59 +00:00
Toby Jaffey
cfc1286874 Regenerate binaries, now default crt0 has changed 2025-12-14 01:36:47 +00:00
Toby Jaffey
6adbc53ad9 Remove impossible states 2025-12-14 01:34:59 +00:00
Toby Jaffey
a5305d64dc Test that invalid lX opcodes trigger mini-rv32 internal core error 2025-12-14 01:21:42 +00:00
Toby Jaffey
fe51154698 Test for lb, lbu, lw, sb, sbu, sw explicitly 2025-12-14 00:58:35 +00:00
Toby Jaffey
2037f6e575 Test memory read outside of memory and extram regions. 2025-12-14 00:32:50 +00:00
Toby Jaffey
179466eae4 Refactor 2025-12-14 00:18:06 +00:00
Toby Jaffey
173d5056a5 Completely remove UVM32_STACK_PROTECTION unless enabled (requires manually changing crt0.S), as this saves 16 bytes on every .bin 2025-12-14 00:09:32 +00:00
Toby Jaffey
c1399fbe86 Test coverage reports info 2025-12-13 23:31:43 +00:00
Toby Jaffey
aae4eacfb8 Test getslice_fixed when a buffer is requests which exceeds memory 2025-12-13 23:29:45 +00:00
Toby Jaffey
a7b480fd11 Only use stackprotection when debugging 2025-12-13 23:26:32 +00:00
Toby Jaffey
6429d2cdaf Add test for string reading off end of extram 2025-12-13 23:24:24 +00:00
Toby Jaffey
2039de73f2 Rename getbuf to getslice 2025-12-13 23:15:06 +00:00
Toby Jaffey
b083008d7b Add test for reading slice in extram which is out of bounds 2025-12-13 23:10:49 +00:00
Toby Jaffey
18d787a7b9 Add test for extram becoming invalid while reading an "unterminated" buffer (slice) 2025-12-13 23:04:58 +00:00
Toby Jaffey
d1eace7b93 Improved warning message 2025-12-13 22:58:42 +00:00
Toby Jaffey
abc7a2c0ad Merge branch 'main' into cov
Some checks are pending
CI / test (ubuntu-latest) (push) Waiting to run
Details
2025-12-13 22:25:08 +00:00
Toby Jaffey
1c9e9296be xxd -n (set variable name) doesn't exist on all systems, use shell utilities to build the headers 
Fixes #1
 2025-12-13 22:20:38 +00:00
Toby Jaffey
bf80e58bd5 Add CI badge 2025-12-13 22:03:50 +00:00
Toby Jaffey
608a009fa2 Try different path for coverage md, use buildkit 2025-12-13 21:39:08 +00:00
Toby Jaffey
f6afd59bbf Publish code cov artefact 2025-12-13 21:30:46 +00:00
Toby Jaffey
bee38ce935 Revert "Attempt to add coverage badge" 
This reverts commit 6a2bfceabc.
 2025-12-13 20:14:10 +00:00
Toby Jaffey
6a2bfceabc Attempt to add coverage badge 2025-12-13 20:02:21 +00:00
Toby Jaffey
6434f0b0cb Smoke test of getProgramCounter 2025-12-13 19:21:05 +00:00
Toby Jaffey
5667598427 Test uvm32_getMemory() in a tautological manner 2025-12-13 19:19:39 +00:00
Toby Jaffey
99c0925db5 Test for invalid uvm32_arg_t 2025-12-13 19:17:58 +00:00
Toby Jaffey
59ade881c3 uvm32_hasEnded() test 2025-12-13 19:15:06 +00:00
Toby Jaffey
0018bdd249 Add test of reading cstring syscall argument which never terminates before hitting end of ram 2025-12-13 19:12:24 +00:00
Toby Jaffey
b1b4cbf583 Fix bug where memory was being used instead of extram when reading cstring from extram 2025-12-13 18:46:28 +00:00
Toby Jaffey
8a0604fc8d abs path 2025-12-13 18:22:02 +00:00
Toby Jaffey
faab397178 Remove accidental make clean on tests 2025-12-13 18:16:00 +00:00
Toby Jaffey
d72955690f Add test for extram being removed then invalid pointer being followed 2025-12-13 18:10:50 +00:00
Toby Jaffey
5b33478cad Coverage path 2025-12-13 18:10:32 +00:00