Difference between revisions of "2021.07.27"
Jump to navigation
Jump to search
(Created page with "{{Activity |Date=2021-07-27 |Person=@KevinTung }} ==Context and Goal== Found the containerized application of TLA and K-framework. 2021.07.26 ==To-Do== * Install TLA, K...") |
|||
| Line 4: | Line 4: | ||
}} | }} | ||
==Context and Goal== | ==Context and Goal== | ||
Found the containerized application of TLA and K-framework. | * Found the containerized application of TLA and K-framework. | ||
[[2021.07.26]] | * [[2021.07.26]] | ||
==To-Do== | ==To-Do== | ||
* Install TLA, K-Framework. | * Install TLA, K-Framework. | ||
* Organize [[Meeting:2021.07.26/Ben,Kevin]] | |||
* Documentation and report progress. | * Documentation and report progress. | ||
==Progress== | ==Progress== | ||
==Conclusion== | ==Conclusion== | ||
Revision as of 16:06, 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 TLA, K-Framework.
- Organize Meeting:2021.07.26/Ben,Kevin
- Documentation and report progress.