AsliRoy / Compiler-Design-Laboratory
These are the various assignments that were done as a part of the Compiler Design Laboratory
☆15Updated 6 years ago
Alternatives and similar repositories for Compiler-Design-Laboratory:
Users that are interested in Compiler-Design-Laboratory are comparing it to the libraries listed below
- Compiler Design Lab Programs☆17Updated 3 years ago
- LR Parser (LR(0), SLR(1), CLR(1) and LALR(1))☆64Updated last year
- A very simple subset of C Compiler(Lexical Analyzer, Syntax Analyzer, Semantic Analyzer & Intermediate Code Generator) implemented in C++…☆25Updated 6 years ago
- A minimalistic and high-performance SAT solver☆23Updated 11 months ago
- Generates loop invariants for program verification☆61Updated 4 years ago
- ITMO Academy: Pilot Course on Codeforce☆51Updated 3 years ago
- This is a C++ implementation of Graspan.☆32Updated last year
- RV-Monitor core system code☆16Updated 3 years ago
- Apron Numerical Abstract Domain Library☆121Updated last month
- The VerCors verification toolset for verifying parallel and concurrent software☆68Updated this week
- COBAYN: Compiler Autotuning Framework Using Bayesian Networks☆20Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆68Updated last week
- ☆16Updated 7 years ago
- ANTLR SMT-LIB v2 Grammar☆22Updated 3 years ago
- A library for building abstract interpretation-based analyses☆236Updated 4 months ago
- A verification tool for many memory models☆84Updated this week
- Synthesizing SQL queries from input / output examples☆45Updated 4 years ago
- The opensmt solver☆79Updated this week
- GramTest: A tool for Grammar based Test case generation☆85Updated last year
- Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…☆55Updated 5 years ago
- A model checker based on SAT solving and induction☆13Updated 9 years ago
- microsat☆132Updated 2 years ago
- AE-solver and Skolemizer☆16Updated 2 months ago
- Generic model checker for concurrent C programs (mirror repository)☆139Updated 5 months ago
- A stateless model checker powered by maximal causality reduction☆38Updated 4 years ago
- Universal Symbolic Virtual Machine☆23Updated this week
- ☆40Updated 5 years ago
- Problems and their solutions in C++.☆34Updated 2 years ago
- A tiny library which contains tools to convert, minimize and visualize Regular Expressions, NFA and DFA.☆12Updated 3 years ago
- This is java implementation of Graspan.☆20Updated last year