Difference between revisions of "2021.07.27"
Jump to navigation
Jump to search
| Line 29: | Line 29: | ||
** Download and try a simple tla file on dev.xlp.pub. | ** Download and try a simple tla file on dev.xlp.pub. | ||
** successfully use pcal, tlc, any, but failed to use tlatex [https://github.com/pmer/tla-bin/issues/10] | ** successfully use pcal, tlc, any, but failed to use tlatex [https://github.com/pmer/tla-bin/issues/10] | ||
* Installed kframework/kore [https://github.com/kframework/kore] | |||
==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 14:12, 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.
- 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