T0b1/regalloc2
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix doc-tests: escape figure properly

Browse Source
This commit is contained in:
Chris Fallin
2022-01-20 17:21:32 -08:00
parent ccd6b4fc2c
commit 2133606366
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
src/checker.rs
View File

@@ -45,11 +45,13 @@
//! //!
//! The analysis lattice is: //! The analysis lattice is:
//! //!
//! ```plain
//! Top (V) //! Top (V)
//! | //! |
//! 𝒫(V) // the Powerset of the set of virtual regs //! 𝒫(V) // the Powerset of the set of virtual regs
//! | //! |
//! Bottom ( ∅ ) // the empty set //! Bottom ( ∅ ) // the empty set
//! ```
//! //!
//! and the lattice ordering relation is the subset relation: S ≤ U //! and the lattice ordering relation is the subset relation: S ≤ U
//! iff S ⊆ U. The lattice meet-function is intersection. //! iff S ⊆ U. The lattice meet-function is intersection.