Difference between revisions of "2021.07.27"

Revision as of 13:24, 27 July 2021

Date	2021-07-27
Person	@KevinTung

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.

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]

@@ Line 27: / Line 27: @@
 ** 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.
+** 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]
 ==Conclusion==
 [[Category:Daily Document]]
 https://thewiki.us/index.php/Namespace_Management#Namespace_Management_Rules_in_PKC