- 博客(3)
- 资源 (1)
- 收藏
- 关注
RSS订阅原创 keil 下载程序到stm32f407中遇到 no target connected问题
在将编译后的程序下载到stm32f407时无法下载，提示no target conected问题，打开魔术棒里的settings，SWDIO显示no target connected. 但退出魔术棒，一直长按reset键再重新打开魔术棒就可以看到SWDIO有设备。
2022-05-31 09:43:13
2190
1
原创 移植littlefs遇到的问题之 inline函数
在使用keil移植littlefs2.4.1代码到stm32f4的过程中，首先遇到了一个inline函数未定义的问题，究其原因，竟是keil的默认为C89,只要改变标准为C99错误即刻消除。问题：identifier "inline" is undefined解决方法：keil的魔术棒 ->C/C++ ->勾选C99Mode...
2022-05-28 10:17:47
756
原创 形式化验证工具coqIDE中遇到的"Unable to locate library yerenguohe"解决方法
1.对于在另一个文件中加载已经存在的文件来说，初学者一般都会遇到一个问题，就是：Unable to locate library yerenguohe.这句话表示无法加载指定的文件，那么解决 方法是什么呢？其实非常简单，首先，要确保被加载的文件已经通过coq中的combile buffer 功能将.v文件编译为相应的.vo文件，之后在新的文件中的首行写出 Add LoadPath “文件路径”...
2019-04-01 17:47:46
1858
4
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人