I wasn't able to find an implementation of the destruct() function described in the paper about Ironclad C++, or the specializations of the pointer types for atomic values. The free() functions do not call the destructor, so I don't think they are meant to be the equivalent of the destruct() functions. Is the code for these features available in a version of the code that hasn't been pushed to this repository yet?

Hello,

I've been excitedly reading your paper and wanted to try out IronClad -- is there any chance you could share your refactoring tool and/or your benchmarks, even if it isn't building properly or a bit messy?
I understand that the SpecCPU benchmarks are proprietary, but I can send you proof that I have a legal copy of Spec. Alternatively, the leveldb benchmark would be very interesting in its own right!

Thanks a lot for your help!

Is there any plans to add the validator to this project. I would find it very helpful.
If its in an unfinished state I can help to bring it to a finished state.

Thanks,
Guy