Linux系统安装Lustre V6教程
安装opam
打开终端，输入命令行。
1$ sudo apt install opam
查看opam版本号。
初始化opam。
1$ opam init
更新opam。
1$ opam update
通过opam安装Lustre V6
123$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"$ opam update$ opam install lustre-v6
安&# ...
Windows下docker安装教程--(未完)
来自：windows下docker的安装并使用 - Operater - 博客园 (cnblogs.com)
下载windows docker
1http://mirrors.aliyun.com/docker-toolbox/windows/docker-toolbox/
我下的是后缀ce.exe的最新版，下载完成后双击安装。
修改安装路径。
安装&# ...
Butterfly主题博客置顶操作
卸载hexo-generator-index，安装hexo-generator-index-pin-top。
12npm uninstall hexo-generator-index --savenpm install hexo-generator-index-pin-top --save
在需要置顶的文章的Front-matter中加上top: true/数字，数字越大，文章越靠前。
搞定！(●’◡’●)
Window下Lustre V6安装（未完待续）
安装opam
预先安装好opam，详情见：Window下OCaml和opam安装教程
通过opam安装Lustre V6
123$ opam repo add verimag-sync-repo "http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository"$ opam update$ opam install lustre-v6
(⊙﹏⊙)报错了*
不知道有没有安装成 ...
Window下OCaml和opam安装教程
博主本人安装opam主要是为了安装Lustre V6，虽然不知道管不管用，但是先安装了再说。(●’◡’●)
Opam install使用Graphical Installer应该可以一步到位，而不需要自己装opam& ...
Lustre V6相关资料
Lustre V6编译器的相关资料，慢慢学习。
参考网站：
https://www-verimag.imag.fr/Lustre-V6.html?lang=en
源文件包：
https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/lustre-v6
工具手册：
https://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/reactive-toolbox/#orgcd4ce3a
Lustre V6的语法规则 ...
8月任务清单及进展
认真小刘列8月任务清单了，好好学习，天天向上，希望月底能把任务都勾上✌。
2021-8-4
找找Lustre V6编译器，因为导师告诉我其他语言的编译器一般都ӱ ...
关于从Lustre语言到C语言的一些小疑问
SCADE KCG工具能将基于Lustre的建模语言翻译到C语言，是不是能直接将Lustre语言翻译为C语言？
在基于同步语言的开发工具中，最著名的是Scade，Scade是基于同步数& ...
从Lustre到C语言——KCG
KCG同步数据流语言，如 Lustre和 Signal，近年来在实时嵌入式安全攸关系统开发中得到了广泛应用，此类语言相关开发工具本身的安全性在这些领域中的&#x ...
Typora使用教程
转载自：[Typora使用教程]
多级标题
快捷键：CTRL + 1/2/3/4/5/6，数字对应标题级别
’#‘+空格，几个’#’表示几级标题
引用
‘>’+空格
‘>>’+空格，引用中再&#x ...