GuQiuhan / LLM-Based-Code-Generation-Method-for-Golang-Compiler-TestingLinks
State Key Laboratory for Novel Software Technology, Nanjing University, China
☆10Updated 2 months ago
Alternatives and similar repositories for LLM-Based-Code-Generation-Method-for-Golang-Compiler-Testing
Users that are interested in LLM-Based-Code-Generation-Method-for-Golang-Compiler-Testing are comparing it to the libraries listed below
Sorting:
- A tool for cross-checking Verilog compilers☆14Updated 9 months ago
- ☆16Updated 6 years ago
- ☆17Updated 2 years ago
- TVMFuzz: fuzzing tensor-level intermediate representation in TVM☆30Updated 5 years ago
- TEE hardware - based on the chipyard repository - hardware to accelerate TEE☆24Updated 3 years ago
- Program Analysis, Software Verification & Testing. Python3, CAS, Dafny, Z3, CVC4, UCLID, ZChaff, NuSMV, AFL, Scala, CBMC & LLVM Framework…☆39Updated 2 years ago
- A simple example of how LLVM can be used to gather static or dynamic facts about a program.☆73Updated 3 weeks ago
- outline and links for PLDI 2022 tutorial☆17Updated 3 years ago
- Source code for the equivalence checker presented in the PLDI 2019 paper, "Semantic Program Alignment for Equivalence Checking"☆44Updated 5 years ago
- Map2Check: Finding Software Vulnerabilities☆30Updated 5 years ago
- Assume-Guarantee REasoning Environment☆19Updated last month
- A brand new OS that runs in various kinds of TEEs and supports Linux ABI☆16Updated 4 years ago
- LLVM DSA fork for SeaHorn☆21Updated 6 years ago
- A enumerator for MLIR, relying on the information given by IRDL.☆22Updated last week
- A translation validation framework for MLIR☆92Updated 10 months ago
- This is the project repository of our ESEC/FSE 2021 paper: A Comprehensive Study of Deep Learning Compiler Bugs.☆23Updated 2 years ago
- GKLEE is a symbolic analyser and test generator tailored for CUDA C++ programs☆16Updated 11 years ago
- HeteroSim is a full system simulator supporting x86 multicore processors combined with a FPGA via bus-based architecture. Flexible design…☆21Updated 9 years ago
- ☆12Updated 3 years ago
- ☆20Updated last year
- Documentation☆45Updated 2 months ago
- Unikraft port of the lwip network stack☆14Updated last month
- OSDT社区（HelloGCC、HelloLLVM）组织的活动中的报告☆47Updated 4 years ago
- System for verifying the correctness of generated Copilot programs☆17Updated 8 months ago
- ☆15Updated 6 years ago
- LLVM-Canon aims to transform LLVM modules into a canonical form by reordering and renaming instructions while preserving the same semanti…☆31Updated last year
- Visualization of LLVM IR☆59Updated 11 years ago
- SCTBench: a set of C/C++ pthread benchmarks for evaluating concurrency testing techniques.☆32Updated 4 years ago
- ☆46Updated 3 years ago
- ☆13Updated 5 months ago