Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Buckets
  • Docs
  • Enterprise
  • Pricing
    • Website
      • Tasks
      • HuggingChat
      • Collections
      • Languages
      • Organizations
    • Community
      • Blog
      • Posts
      • Daily Papers
      • Hardware
      • Learn
      • Discord
      • Forum
      • GitHub
    • Solutions
      • Team & Enterprise
      • Hugging Face PRO
      • Enterprise Support
      • Inference Providers
      • Inference Endpoints
      • Storage Buckets

  • Log In
  • Sign Up

Sahek
/
kaysentinel

ethereum
formal-methods
evm
Model card Files Files and versions
xet
Community
kaysentinel / runtime /builder /src
76.7 kB
Ctrl+K
Ctrl+K
  • 3 contributors
History: 11 commits
Sahek's picture
Sahek
Phase 5: SimpleStorageRootDeriver + resolve_storage_roots; closes UnresolvedStorageRoot gap in PR3; restore ssz doc comments
bb080a7 4 months ago
  • ir
    Thread real TraceProvenance through lifecycle events; add CanonicalBalance scaffolding; fix then_owned compile bug; merge pre_states+generation+balance verification 4 months ago
  • lifecycle
    Phase 5: SimpleStorageRootDeriver + resolve_storage_roots; closes UnresolvedStorageRoot gap in PR3; restore ssz doc comments 4 months ago
  • errors.rs
    900 Bytes
    refactor(builder): flatten IR into relational tables (RawIr/CanonicalKey), rewrite partition.rs to match, add contextual TimelineError 4 months ago
  • lib.rs
    1.37 kB
    Phase 5: SimpleStorageRootDeriver + resolve_storage_roots; closes UnresolvedStorageRoot gap in PR3; restore ssz doc comments 4 months ago
  • partition.rs
    6.86 kB
    PR1: split ExecutionContext into Normative/Provisional/Trace; PR2: diagnostic isolation + semantic sensitivity conformance tests 4 months ago
  • reduce.rs
    1.46 kB
    refactor(builder): flatten IR into relational tables (RawIr/CanonicalKey), rewrite partition.rs to match, add contextual TimelineError 4 months ago
  • traits.rs
    720 Bytes
    refactor(builder): flatten IR into relational tables (RawIr/CanonicalKey), rewrite partition.rs to match, add contextual TimelineError 4 months ago