Difference between revisions of "2021.07.27"

From PKC
Jump to navigation Jump to search
Line 10: Line 10:


==To-Do==
==To-Do==
* Install TLA, K-Framework.  
* Install and test TLA, K-Framework.  
* Organize [[Meeting:2021.07.26/Ben,Kevin]]
* Organize [[Meeting:2021.07.26/Ben,Kevin]]
* Documentation and report progress.  
* 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.


==Progress==
==Progress==


==Conclusion==
==Conclusion==

Revision as of 16:09, 26 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.

Progress

Conclusion