Difference between revisions of "2021.07.26"
Jump to navigation
Jump to search
(Created page with "{{Activity |Date=2021-07-26 |Person=@KevinTung }} ==Context and Goal== Resolved conflict with Ben and align with Jared. ==To-Do== * Prepare meeting with Ben * Install TLA,a...") |
|||
| (One intermediate revision by the same user not shown) | |||
| Line 17: | Line 17: | ||
* Ben: https://github.com/talex5/tla; https://github.com/kframework/kore | * Ben: https://github.com/talex5/tla; https://github.com/kframework/kore | ||
* Ben: Should have done researched and double-checked | * Ben: Should have done researched and double-checked | ||
* Finished the bi-weekly report to Tsinghua. | |||
==Conclusion== | |||
[[Category:Daily Document]] | |||
Latest revision as of 04:02, 27 July 2021
| Date | 2021-07-26 |
|---|---|
| Person | @KevinTung |
Context and Goal
Resolved conflict with Ben and align with Jared.
To-Do
- Prepare meeting with Ben
- Install TLA,and K-framework
Progress
- I had researched for TLA deployment for about one hour. The question I had is that TLA+ was a desktop-based application with graphic user interface (based on the information on the official page). If we want to deploy it on the web, we should turn it into a web application. Then I was searching how it is possible to do this. There were few tools that could convert it and I checked the code base of TLA just to see little documentation. The docker container you offered me was out of my previous consideration. I will take a look at how it turns the tool into a web app, or they just simply developed another version which was not documented on the official website.
- Template:Logic Model 2 needs only one param to generate the required pages. Also when you click the parameter type (like Goal), you will be directed to the related pages
- Ben: https://github.com/talex5/tla; https://github.com/kframework/kore
- Ben: Should have done researched and double-checked
- Finished the bi-weekly report to Tsinghua.