2021.07.27
Jump to navigation
Jump to search
| Date | 2021-07-27 |
|---|---|
| Person | @KevinTung |
Context and Goal
- Found the containerized application of TLA and K-framework.
- 2021.07.26
To-Do
- Install and test TLA, K-Framework.
- Organize Meeting:2021.07.26/Ben,Kevin
- Run the dev.xlp.pub to thewiki.us workflow which secures thewiki.us deployment.
- Install IFrame which Jared requires and document the requirement in Application:dev.xlp.pub
- Report progress and mutual review.
Progress
- Namespace_Management
- Ideally, all the naming conventions should be configured here and the rules will apply to all the pages in the system.
- Finish Docker Workflow and need to test by other participants.
- How to account for their testing? User feedback?
- Fix the Dockerfile in [1]
- Changed the version of image to Debian:10
- Debian 10 cannot download cvc3
- Found medium article [2], which connects to github[3].
- Download and try a simple tla file on dev.xlp.pub.
- successfully use pcal, tlc, any, but failed to use tlatex [4]
- Installed kframework/kore [5]
Conclusion
https://thewiki.us/index.php/Namespace_Management#Namespace_Management_Rules_in_PKC