mattwparas / steel / 10674727713

45%

Build Type

push

github

Committed by web-flow

Commit Message

Experimental feature for thread safety (#258)

* checkpoint

* another checkpoint

* checkpoint again

* work in progress

* checkpoint

* terrible but it does compile now, so that is something

* decent checkpoint

* seems to compile now, just some clean up that needs to be done

* add imports

* rework random module

* checkpoint

* do not share the env between the kernel and the rest of the engines

* safepoints wip

* combine interrupts and safepoints into one thing

* simplify thread controlling

* safepoint handling

* more progress

* capture error on tasks

* fix some local issues

* fix build

* fix merge issues

* clean up

* more clean up

* fix shift reset

* checkpoint

* checkpoint

* fix tests

* setup dylibs

* depend on workspace version

* clean up the kernel

* add some more tests

* some more stuff

* tests sometimes take a while, use higher opt profile

* see if this fixes it

* fix normal build

* see what is happening

* did this work

* clean up

* set up new build stuff

* rename workflow

* fix build

* align smallvec versions

* test with different error message

* adjust tests

* typos

* try this

* separate env

* give this a shot

* try this annoying hack

* remove sync line

* in place update

* generate docs

* clean up warnings

* remove comment

* add pgo build

* upload release artifact

* set up workflows for each OS

* build

* remove prints

* try this out

* upload workflow for windows

* fix windows artifact build

* grab windows artifact

* set up nightly pgo runs

* set up nightly builds

* dont run on PR yet

Run Details

694 of 1500 new or added lines in 42 files covered. (46.27%)

1875 existing lines in 94 files now uncovered.

12513 of 25610 relevant lines covered (48.86%)

516819.1 hits per line