detcore-model 0.4.0

Core data model and types for Detcore, the Hermit deterministic execution engine.
Documentation 
1
2
3
4
5
6
7
8
9
10

/*
 * Copyright (c) Meta Platforms, Inc. and affiliates.
 * All rights reserved.
 *
 * This source code is licensed under the BSD-style license found in the
 * LICENSE file in the root directory of this source tree.
 */

mod replay_cursor;
pub use replay_cursor::ReplayCursor;