AsliRoy / Compiler-Design-Laboratory
These are the various assignments that were done as a part of the Compiler Design Laboratory
☆15Updated 6 years ago
Related projects ⓘ
Alternatives and complementary repositories for Compiler-Design-Laboratory
- Compiler Design Lab Programs☆17Updated 3 years ago
- ☆35Updated 6 years ago
- Course Project in Compiler Design - A compiler for a subset of the C language☆34Updated 7 months ago
- C++ Mini Compiler using tools Lex and Yacc☆24Updated 5 years ago
- A minimalistic and high-performance SAT solver☆21Updated 8 months ago
- A tool to eliminate timing-based side channels☆48Updated last year
- A Speculation-Aware Collaborative Dependence Analysis Framework☆28Updated 4 months ago
- Ball Larus edge profiling with loop optimization☆25Updated last month
- A generic parser and tool package for the BTOR2 format.☆40Updated 2 months ago
- Run llvm test-suite benchmarks☆13Updated 3 years ago
- LLVM test suite benchmarks (260 benchmarks - 36 test suites)☆18Updated 2 years ago
- System to recognize infinite languages and react to string events☆26Updated 11 months ago
- Program instrumentation and cost function generation☆28Updated 3 months ago
- A very simple subset of C Compiler(Lexical Analyzer, Syntax Analyzer, Semantic Analyzer & Intermediate Code Generator) implemented in C++…☆25Updated 6 years ago
- A blog for LLVM(v9.0.0 or v11.0.0) beginner, step by step, with detailed documents and comments. Record the way I learn LLVM and accompli…☆100Updated 2 years ago
- Apron Numerical Abstract Domain Library☆114Updated 3 months ago
- Pono: A flexible and extensible SMT-based model checker☆82Updated last month
- NOELLE Offers Empowering LLVM Extensions☆77Updated this week
- Assignment submissions of the semester 2020-21-II offering of CS220 at IIT Kanpur☆12Updated 3 years ago
- A generic C++ API for SMT solving. It provides abstract classes which can be implemented by different SMT solvers.☆114Updated this week
- Cilk application benchmark programs☆9Updated 2 years ago
- Library for symbolic automata and symbolic visibly pushdown automata☆65Updated last year
- Reads a state transition system and performs property checking☆76Updated 2 weeks ago
- Collection of executable benchmarks☆43Updated 11 months ago
- Online demo without installing at - https://buildit.so/tryit☆157Updated this week
- Automata Benchmark Suite☆19Updated last year
- A compiler from TIP to llvm bitcode☆65Updated 2 months ago
- A graph coloring register allocator for LLVM.☆11Updated 7 years ago
- A c++ program to convert regular expression into Non-deterministic finite automata (NFA) using Thompson's construction.☆13Updated 6 years ago
- Bitwuzla is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, floating-point arithmetic, arrays a…☆212Updated this week