盛世回首-CSDN博客

原创 MSVL统一模型验证器安装及使用手册

MSVL统一模型验证器安装及使用手册UMC4MSVL统一模型检测使用MSVL程序M描述模型，PPTL公式P表示性质，和传统模型检测方法不同的是，我们将性质取非后的PPTL公式PPP转成MSVL程序M'，将模型的MSVL程序与性质取非后转成的MSVL程序使用MSVL中的合取语句连接，组成新的MSVL程序M和M'，这样就把模型检测问题转换为程序M和M'是否可以正确执行的问题。使用编译器执行程序M和M'，根据执行结果确定性质的有效性。

2020-07-26 09:29:30 920 2

原创使用C++可变参数模板函数和void*实现反射函数调用

#include <iostream>#include <stdio.h>#include <vector>#include <tuple>using namespace std;class Base{public: virtual float* floatValue()=0; virtual char* charValue()=0; virtual int* intValue()=0; virtual int*.

2022-04-02 13:50:33 1005

原创 windows平台使用mingw64编译LLVM5.0.1

一、环境准备 windows 10 winrar (用于解压llvm源码) cmake 3.15.5 mingw64 5.3.0 （gun版本不能太高，否则会编译出现错误） python2 或者 python3 （3.7.3）注：cmake、mingw64、python均需配置系统环境变量。二、下载LLVM5.0.1和clang5.0.1源码LLVM Download Pagehttps://releases.llvm.org/5.0.1/ll

2021-10-27 12:24:19 883

原创 LLVM JIT finalizeObject失败或getFunctionAddress失败探究

环境：windows llvm5.0.1代码：#include "llvm/ExecutionEngine/GenericValue.h"#include "llvm/ExecutionEngine/MCJIT.h"#include "llvm/ExecutionEngine/Interpreter.h"#include "llvm/ExecutionEngine/SectionMemoryManager.h"#include "llvm/IR/Verifier.h"#include "

2021-08-22 14:03:01 313

原创 maven：将第三方jar包上传到本地仓库或远程仓库

导入本地仓库首先 CMD进入到 jar 包所在位置，运行mvn install:install-file -DgroupId=xxx -DartifactId=xxx -Dversion=xxx -Dfile= xxx.jar -Dpackaging=jar或打开cmd直接运行mvn install:install-file -DgroupId=xxx -DartifactId=xxx -Dversion=xxx -Dpackaging=jar -Dfile=绝对路径.jar导入远程仓库要在

2021-03-24 11:55:23 1839

原创 maven配置：从远程仓库(私服)下载jar包

第一步：修改setting.xml在客户端的 maven中setting.xml 文件配置私服的仓库，由于 setting.xml 中没有 repositories 的配置标签需要使用 profile 定义仓库。<profile>  <id>dev</id> <repositories> <repository> <!--仓库 id，repositories

2021-03-24 11:43:47 4694

原创 maven配置：将本地项目发布到远程仓库(私服)

第一步：修改settings.xml修改电脑上配置的maven环境中的settings.xml文件，配置连接私服的用户和密码。此用户名和密码用于私服校验，因为私服需要知道上传的账号和密码是否和私服中的账号和密码一致。<server> <id>releases</id> <username>admin</username> <password>admin123</password> </serve

2021-03-24 11:28:15 1838

原创无法将字符串[${item.createtime}]转换为属性[value]的类[java.util.Date]：[属性编辑器未注册到属性编辑管理器].(EL表达式无法解析异常)

https://blog.csdn.net/qq_35655602/article/details/111033171

2021-03-23 19:20:12 395

原创 com.mysql.jdbc.Driver 和 com.mysql.cj.jdbc.Driver的区别 serverTimezone设定

https://blog.csdn.net/superdangbo/article/details/78732700

2021-03-21 11:01:24 83

原创 Idea中webapp项目新建没有servlet解决方法

https://blog.csdn.net/Delicious_Life/article/details/89515363

2021-03-21 10:24:18 425

原创 error LNK2019: 无法解析的外部符号 __imp_ShellExecuteA，该符号在函数

解决方法：在stdafx.h文件中添加。#include <windows.h>#include <shellapi.h>#pragma comment(lib,"shell32.lib")

2021-03-07 15:09:36 1040 1

原创虚拟机Linux系统网络连接有eth1无eth0问题解决

第一步：必须root用户下Ifconfig –a 中有eth1与lo，无eth0Vim /etc/udev/rules.d/70-persistent-net.rules删除eth0所有信息eth1名字改为eth0 第二步Vim /etc/sysconfig/network-scripts/ifcfg-eth0第三步：系统—管理—服务启动N

2018-02-03 13:36:35 3224

qq_38340135的博客