Skip to content
This repository has been archived by the owner on Oct 28, 2024. It is now read-only.

Commit

Permalink
page about pluscal codebase
Browse files Browse the repository at this point in the history
  • Loading branch information
@FedericoPonzi
FedericoPonzi committed Jul 2, 2024
1 parent 834358b commit 00817ad
Showing 1 changed file with 12 additions and 0 deletions.
12 changes: 12 additions & 0 deletions src/codebase/pluscal.md
View file
Original file line number Diff line number Diff line change
@@ -0,0 +1,12 @@
# Pluscal (+cal)

To learn more about pluscal, the language and how the generation process works check this out: [https://github.com/tlaplus/tlaplus/blob/ab14a33e39c78e4c88e81b664b9a8c916b943cab/tlatools/org.lamport.tlatools/src/pcal/PlusCal.tla](https://github.com/tlaplus/tlaplus/blob/ab14a33e39c78e4c88e81b664b9a8c916b943cab/tlatools/org.lamport.tlatools/src/pcal/PlusCal.tla).


## Changing the pluscal translator
The pluscal translator can be thought as the pluscal "compiler" which takes as input pluscal code and produces tla+ in output.

For this reason, the pluscal translator is versioned. Any change to the pluscal traslator that could result in a different output, will required a verison bump.

See as an example: https://github.com/tlaplus/tlaplus/pull/978/files

0 comments on commit 00817ad

Please sign in to comment.