utahplt / TrackedFloats.jl

Julia library providing tracking of floating point errors through a program resources
https://juliahub.com/ui/Packages/General/TrackedFloats
MIT License
34 stars 3 forks source link

Building out better recording infrastructure #18

Closed ashton314 closed 1 year ago

ashton314 commented 1 year ago

This PR makes it possible to set up "recording sessions", where you can get FloatTracker to fuzz a wider space in the program by remembering where previous injections happened and trying alternates.

Before this gets merged, there are a few items that need to be handled:

That's not an exhaustive checklist of every task needed to finish this PR, but those are some that need to be done before this thing merges.

ashton314 commented 1 year ago

Shelving for now; we'll get to recording sessions eventually. I think there's more pressing work. In the mean time, I'm going to merge this so that we don't diverge too much from main.