philippgehrig / compilerbau

Compiler Project for Predicate Logic Based Language

Compilerbau

This project was graded with "passed"
This repo contains all the files for the university course: T3INF2002 Theoretische Informatik III - Labor Compilerbau

Contributors

This Laboratory was completed by

• Philipp Konstantin Gehrig
• Dinar Karchevskii

Task

The creation of a compiler for a predicate logic based language containing:

• Lexical Analysis
• Parsing
• Symbol Table
• Semantic Tree
• Code Optimisation
• Code Generation

Structure

This repository is structured in multiple different steps. E.G. the Folder compilerbau/flex comntaines all the system files after lexicaical analysis. This was done, because in e.g. the parser functions get included later on. By safing the different Workspaces in their own different folder, others that want to replicate this compiler, can do so more easily. The full compiler is at all times saved in the folder compilerbau/COMPILER

Build

At first you need to navigate to the Compiler inside the repo

cd COMPILER

Each Folder has its own MAKE-File:

make

In the building you are creating all the necessary object files. The final file is named: pl1c

Now you need to give the input file for the Compiler:

./pl1c <input-file>

Now the Comnpiler is running and the Code generation returns the optimized code.