Difference between revisions of "2021.07.27"
Jump to navigation
Jump to search
| Line 22: | Line 22: | ||
** Ideally, all the naming conventions should be configured here and the rules will apply to all the pages in the system. | ** 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. | * Finish [[Docker Workflow]] and need to test by other participants. | ||
** How to account for their testing? User feedback? | ** How to account for their testing? User feedback? | ||
* Fix the Dockerfile in [https://github.com/talex5/tla/blob/master/Dockerfile] | |||
** Changed the version of image to Debian:10 | |||
** Debian 10 cannot download cvc3 | |||
* Found medium article [https://medium.com/software-safety/introduction-to-tla-model-checking-in-the-command-line-c6871700a6a2], which connects to github[https://github.com/pmer/tla-bin]. | |||
** Download and try a simple tla file on dev.xlp.pub. It works. | |||
==Conclusion== | ==Conclusion== | ||
[[Category:Daily Document]] | [[Category:Daily Document]] | ||
https://thewiki.us/index.php/Namespace_Management#Namespace_Management_Rules_in_PKC | https://thewiki.us/index.php/Namespace_Management#Namespace_Management_Rules_in_PKC | ||
Revision as of 13:14, 27 July 2021
| 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. It works.
Conclusion
https://thewiki.us/index.php/Namespace_Management#Namespace_Management_Rules_in_PKC