JML理论梳理与工具链分析 JML作为一种行为接口规格语言，可以较为准确地对Java程序的行为进行描述。然而在本人使用过程中，由于其工具链的功能的极不完善，大多数的代码编写及测试还是依靠人力完成的，虽然它具有较高的严谨性，但使用体验并不是很好。 JML的注释结构 JML以javadoc注释的方式表示 ...
分类：
其他好文 时间：
2020-05-19 22:39:41
阅读次数：
56
dotnet命令介绍 dotnet命令是开发.NET Core 应用程序的一个新的跨平台工具链的基础。 它是跨平台滴，并且对支持的每个平台有相同的表现范围。 这意味着，当你学会如何使用工具后，你可以从如何支持的平台上以同样的方式使用它。 你安装好SDK后就可以使用dotnet命令了。 dotnet命 ...
分类：
Web程序 时间：
2020-05-16 21:13:15
阅读次数：
109
Create SSH link to Gitlab1. open "Git Bash"2. ssh-keygen -t rsa -C "name_of_gitlab_account"3. "Enter" three times4. C:\Users\Administrator\.ssh\ >> id ...
分类：
其他好文 时间：
2020-05-15 18:16:57
阅读次数：
108
字节码联盟是一个新成立的开源社区，致力于基于WebAssembly和WebAssembly系统接口(WASI)等标准来创建新的软件基础。Mozilla，Fastly，Intel和RedHat是创始成员。字节码联盟将通过其贡献成员的共同努力，提供最先进的运行时环境和相关的语言工具链，在这些环境中，安全性，效率和模块化都可以在尽可能广泛的设备和体系结构中共存。通过联盟做出的贡献和协同发展的技术利用了编
分类：
Web程序 时间：
2020-05-14 17:49:08
阅读次数：
91
1、安装交叉编译工具链 1.1 下载4.9.4版本的交叉编译器，并存放到/usr/local/arm目录 链接：https://releases.linaro.org/components/toolchain/binaries/4.9-2017.01/arm-linux-gnueabihf/ 1.2 ...
分类：
系统相关 时间：
2020-05-10 21:35:13
阅读次数：
92
rust 交叉编译树莓派程序 使用 rust 写树莓派程序时，如果直接在树莓派上进行编译，速度非常慢，如果是 zero 那更加是慢到受不了。因此最好是能通过开发机编译完后，直接放到树莓派上运行。 由于开发机上的 cpu 架构、操作系统和目标机不同，开发机通常是 x86 架构，系统可以是 mac、li ...
分类：
其他好文 时间：
2020-05-10 01:04:41
阅读次数：
68
1.hello,world GO是编译型语言。GO的工具链将程序的源文件转变成机器相关的原生二进制指令。这些工具可以通过单一的go，命令配合其子命令进行使用。最简单的子命令是润，它将一个或多个以.go为后缀的源文件进行编译、链接，然后运行生成的可执行文件。 ...
分类：
其他好文 时间：
2020-05-08 12:50:20
阅读次数：
62
推荐插件： C/C++（建议关闭补全和错误提示功能，因为实在是太烂了） ccls clangd Code Runner Cmake CMake Tools 其他好用的插件： GNU Assembler Language Support Bracket Pair Colorizer 2 Visual ...
分类：
编程语言 时间：
2020-05-05 10:39:40
阅读次数：
734
下载工具 链接：https://pan.baidu.com/s/1V9icqEQN5vXxfkDGRwNuNA提取码：1qpj 电脑安装过arcgis 10.2.2, 它会在C盘生成一个python的文件夹，再安装Python一次，2.7.11版本 按步骤执行，其中这里要选another locat ...
分类：
其他好文 时间：
2020-05-01 10:48:12
阅读次数：
59
使用的 I.MX6U-ALPHA 开发板是一个 Cortex-A7 内核的开发板，因此选择 arm-linux-gnueabihf Linaro GCC 编译器下载地址如下： 1 https://releases.linaro.org/components/toolchain/binaries/la ...
分类：
其他好文 时间：
2020-04-30 22:48:45
阅读次数：
70
