Theodor Arsenij

Supporting changes for the: https://github.com/0vercl0k/wtf/pull/186

This pull-request is mostly about these changes: - Fixed multiple QT-related issues with floats (some of these issues were fixed in this pr: https://github.com/gaasedelen/tenet/pull/18 but id doesn't cover them all)...

Added experimental Compcov/LAF support for the Bochs backend

1

Hi! This summer I've worked on adding LAF/Compcov support for WTF. This pull-request is the essence of this experiment. I tried to make the code as "production"-ready as possible but...

Fix updating GcPtr's internal pointer (get rid of offsetof and use RTTI + pointer to a member?)

2

This might require rewriting GcPtr base class to contain pointer to an object?

1. Make GC pass-based (do we need it?) Future work - explore some different approaches: "So the solution Azul proposes goes like this: They establish a "read barrier" that allows...

There are 2 possible ways of how it should be architectured: 1. Pass-based with some heuristics to find which layouting algorithm to use. 2. General layouting algorithm which will use...

Currently, the architecture is bad. We shouldn't use treap to facilitate all request from free list. Consider using caches, etc. - [ ] Experiment with [coz-profiler](https://github.com/plasma-umass/coz) Example profiling data: 

Linked to #67

### Potential solution - 1 1. Can be formulated in terms of discrete knapsack w/o repetitions: 2. Item value: number of outgoing pointers / ingoing pointers. "Weight": size of the...