All Questions
3 questions
1
vote
1
answer
139
views
How to verify C functions with array parameters using Isabelle
I am using Isabelle to verify a C program. During the verification process, I used the c-parser install-C-file to load the code, but the following issue occurred：
attempt to cause decay to pointer on ...
1
vote
0
answers
618
views
How to use a Switch to switch from Wifi Access Point mode to STA in esp32
I am doing an autonomous car project, I need manual control as well as an autonomous function, so the manual control is done through wifi using "gesture control" and for the autonomous control I want ...
- 37
-1
votes
1
answer
170
views
How do I determine the internal HWND used by COM in my current process?
I want to Post messages directly to the HWND that's owned by COM in my process. How do I get the HWND that COM is using in single-threaded-apartment mode?
- 8,986