New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Docs: Nexus 2.0 Memory Checking System #111

Open

6 tasks

danielmarinq opened this issue Feb 29, 2024 · 0 comments

Assignees

Labels

Milestone

Contributor

danielmarinq commented Feb 29, 2024 •

edited

Loading

A full detailed description of the Nexus 2.0 IVC Memory Checking System

Description
Detailed Comparison with Nexus 1.0 Memory Checking System
Concrete choice of parameters
Diagram(s) of the mechanism based on @JensNexus's talks, presentations, and designs.
Reference to related literature
Reference to our code implementation

danielmarinq assigned govereau, Antiparadox, JensNexus and michel-nexus

govereau removed their assignment

govereau added the documentation label

govereau added this to the v2 milestone

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment