Cornelius Aschermann

To be honest, I don't know if I will run into this issue, I was experimenting with this to get a feeling for the performance. As the second example seems...

There are two reasons why I'd prefer to use DDlog over souffle or crepe: First (and probably most importantly) the ability to use rust structs as ground terms, and to...

Yeah actually when I said rust types as ground terms, I meant the ddlog native types that map 1 to 1 to rust types that make it easy to work...

Wth. I tried to use recursion earlier, and I couldn't get it to work. https://github.com/vmware/differential-datalog/blob/master/doc/language_reference/language_reference.md also explicitly forbids recursion. But now I'm unable to build a minimal example where It...

Whatever was causing issues with recursive functions seems to have been an instance of PEBKAC... But there will be some need for external function calls to simplify formulas and to...

Currently, that is not supported, but this would be a very good contribution. Though you'd have to think about we handle the the fact that we can have multiple threads...

This repo mostly serves as a reference for our papers. We are actively working on this project internally, the most recent release of the backend is found here https://github.com/RUB-SysSec/redqueen and...

For the record: Bl1nnnk's patches are available here: https://github.com/Bl1nnnk/kAFL And there is a more up to date, (and for now) actively maintained version published by intel here: https://github.com/IntelLabs/kAFL/

I don't think it does. But they are based on the Redqueen back-end which already included a significant number of improvements, and there is a chance this already fixed some...

@vanhauser-thc that is correct (to the best of my knowledge). @benjaminy obviously feel free to experiment with that. There is a couple of approaches that were tried in the past...