codebase:architecture

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
codebase:architecture [2025/09/23 01:14] – [Modules] typo: "can by run" => "can be run"; LaTex => LaTeX hfweicodebase:architecture [2026/02/07 13:55] (current) – typo: mplified to simplified hfwei
Line 10: Line 10:
 ==== The Standard Flow ==== ==== The Standard Flow ====
  
-This is a generalized mplified description of how this code is normally used, and the involved components. More detail will be given on some of these components in the following sections.+This is a generalized simplified description of how this code is normally used, and the involved components. More detail will be given on some of these components in the following sections.
  
   - (Optional) PCal code translated into TLA+ code. [[src/pcal/trans.java|pcal.trans]]::main   - (Optional) PCal code translated into TLA+ code. [[src/pcal/trans.java|pcal.trans]]::main
  • codebase/architecture.txt
  • Last modified: 2026/02/07 13:55
  • by hfwei