issues
search
pnkfelix
/
krabcake
Umbrella repository for Krabcake experiments
Other
46
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Incorporate borrow mut fix and add an illustrative test
#25
pnkfelix
opened
1 year ago
1
kc: Create kc_as_raw macro and update related test
#24
bryangarza
closed
1 year ago
3
test demoing that C specifiers don't break things
#23
pnkfelix
closed
1 year ago
1
Add demos up to sect 3 3
#22
pnkfelix
closed
1 year ago
1
Add print-tag-of demo to baseline.rs
#21
pnkfelix
closed
1 year ago
1
fix bug in valgrind_do_client_request_expr
#20
pnkfelix
closed
1 year ago
3
tests need to be in C *and* Rust during initial prototype phase
#19
pnkfelix
opened
1 year ago
1
todo: double-check asm for valgrind_do_client_request_expr and so on
#18
pnkfelix
opened
1 year ago
2
Add filter flag to kc
#17
bryangarza
closed
1 year ago
1
Update submod to use normalized addresses that start from non-nullptr value.
#16
pnkfelix
closed
1 year ago
1
krabcake-vg submodule update
#15
pnkfelix
closed
1 year ago
0
Refactor tests to move more stuff to test dependencies crate, and turn on normalized output mode in the tests
#14
pnkfelix
closed
1 year ago
1
Makefile fragility when mixed with manual inner `./configure` invocation
#13
pnkfelix
opened
1 year ago
2
Add filter flag to kc, and use it to run baseline test in make go
#12
bryangarza
closed
1 year ago
2
Check out git submodules during CI and use rust nightly
#11
bryangarza
closed
1 year ago
0
Add CI GitHub action
#10
bryangarza
closed
1 year ago
1
Revise client request protocol
#9
pnkfelix
closed
1 year ago
0
added baseline.rs test that `make go` calls out to again
#8
pnkfelix
closed
1 year ago
3
Add new crate for UI tests
#7
bryangarza
closed
1 year ago
0
Todo: look into misbehavior from println interaction
#6
pnkfelix
opened
1 year ago
0
Todo: look into what is up with the debug build interaction
#5
pnkfelix
opened
1 year ago
0
Todo: make test for shadow-tags propagating through pointers that are themselves stored in memory locations.
#4
pnkfelix
opened
1 year ago
0
Tweaks to Rust defn of kc_borrow_mut macro
#3
pnkfelix
closed
1 year ago
3
Can't build without first building krabcake-vg/krabcake/rs_hello first
#2
bryangarza
closed
1 year ago
1
Port C demo over to Rust
#1
bryangarza
closed
1 year ago
0