Pinned Repositories
ant-design-vue
🌈 An enterprise-class UI components based on Ant Design and Vue. 🐜
backend
course-v3
The 3rd edition of course.fast.ai
esbmc
The efficient SMT-based bounded model checker
ESBMC-ML
We describe and evaluate the application of machine learning technology to help ESBMC achieve better results in SV-COMP. ESBMC is an SMT-based verification tool for C programs, which allows the user to choose different SMT solvers, encoding methods, and verification approaches by selecting different parameters. However, different parameter combinations have different effects when verifying C programs. Therefore, we convert the C source code into AST and extract feature vectors from AST as samples. Similarly, we encode the verification result of ESBMC into the sample label. We use four machine learning models, and the data sets come from three sub-categories of SV-COMP. After a comprehensive evaluation, we have found that the decision tree model is more suitable because its training time is short, and various evaluation benchmarks are better than other models. Therefore, in this competition, we use the trained model as the default parameter recommender of ESBMC and modify the model parameters based on the feedback of the verification results to obtain better effects.
Go_Practice
gojsonschema
An implementation of JSON Schema, draft v4 v6 & v7 - Go language
guitar-tuner
A web-based guitar tuner
langchain-ChatGLM
langchain-ChatGLM, local knowledge based ChatGLM with langchain ｜ 基于本地知识的 ChatGLM 问答
pycparser
:snake: Complete C99 parser in pure Python
Grassgod's Repositories
Grassgod/pycparser
:snake: Complete C99 parser in pure Python
Grassgod/ant-design-vue
🌈 An enterprise-class UI components based on Ant Design and Vue. 🐜
Grassgod/backend
Grassgod/course-v3
The 3rd edition of course.fast.ai
Grassgod/esbmc
The efficient SMT-based bounded model checker
Grassgod/ESBMC-ML
We describe and evaluate the application of machine learning technology to help ESBMC achieve better results in SV-COMP. ESBMC is an SMT-based verification tool for C programs, which allows the user to choose different SMT solvers, encoding methods, and verification approaches by selecting different parameters. However, different parameter combinations have different effects when verifying C programs. Therefore, we convert the C source code into AST and extract feature vectors from AST as samples. Similarly, we encode the verification result of ESBMC into the sample label. We use four machine learning models, and the data sets come from three sub-categories of SV-COMP. After a comprehensive evaluation, we have found that the decision tree model is more suitable because its training time is short, and various evaluation benchmarks are better than other models. Therefore, in this competition, we use the trained model as the default parameter recommender of ESBMC and modify the model parameters based on the feedback of the verification results to obtain better effects.
Grassgod/Go_Practice
Grassgod/gojsonschema
An implementation of JSON Schema, draft v4 v6 & v7 - Go language
Grassgod/guitar-tuner
A web-based guitar tuner
Grassgod/langchain-ChatGLM
langchain-ChatGLM, local knowledge based ChatGLM with langchain ｜ 基于本地知识的 ChatGLM 问答
Grassgod/learning-note
java开发 面试八股文 （个人的面试及工作总结）
Grassgod/msc-web
Grassgod/NBMiner
NVIDIA & AMD GPU Miner for ETH, RVN, GRIN, BEAM, CFX, AE, SERO, ERGO
Grassgod/pdfminer.six
Community maintained fork of pdfminer - we fathom PDF
Grassgod/sv-benchmarks
Collection of Verification Tasks