dafny是一种可验证的编程语言，由微软推出，现已经开源。 dafny能够自我验证，可以在VS Code中进行开发，在编辑算法时，写好前置条件和后置条件，dafny验证器就能...
发简信
IP属地：湖北
-
dafny : 微软推出的形式化验证语言
-
react-native项目中Android端gif奔溃
将项目中的react-native版本从0.45升级到了0.48后，发现Android端在显示gif时奔溃了，而ios端没有这个情况。 出错信息为: 1java.lang.N...
-
Android中线程那些事儿如何理解线程 在操作系统中，线程是操作系统调度的最小单元，同时线程又是一种受限的系统资源，即线程不可能无限制的产生，并且线程的创建和销毁都会有相应的开销，当系统中存在大量的线...
-
我的Android混淆（Proguard文件）是怎么写的
当前环境 Android Studio： 3.2.1Gradle 插件： 'com.android.tools.build:gradle:3.2.1'Gradle ： gra...
