https://github.com/erwanlem/imp_debugger

Débogueur pour langage impératif avec inférence de type
https://github.com/erwanlem/imp_debugger

debugger inference ocaml

Last synced: 23 days ago
JSON representation

Débogueur pour langage impératif avec inférence de type

• Host: GitHub
• URL: https://github.com/erwanlem/imp_debugger
• Owner: erwanlem
• Created: 2024-02-03T10:36:27.000Z (about 1 year ago)
• Default Branch: main
• Last Pushed: 2024-04-08T18:23:13.000Z (10 months ago)
• Last Synced: 2025-01-19T16:10:33.571Z (23 days ago)
• Topics: debugger, inference, ocaml
• Language: OCaml
• Homepage:
• Size: 665 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Débogueur pour le langage Imp

## Travaux effectués

Les fonctionnalités implémentées sont les suivantes:

- Commandes du débogueur:

    - `next` : **pas en avant**

    - `undo` : **retour arrière**

    - `break n` **breakpoint** ligne n

    - `so` : **step over** (passage d'un bloc)

- **suivi des tableaux en mémoire**

- améliorations du langage

    - **inférence de type**

- affichage console

    - option affichage standard

    - option affichage avec *ncurses*

Le rapport du travail effectué est disponible dans le répertoire `rapport`.

## Utilisation

> Compilation :

>   dune build

>

> Exécution :

>   ./impcat.exe tests/min.imp

>

> Nettoyage :

>   dune clean

## Documentation:

**Ocaml Format**

https://hal.science/hal-01503081/file/format-unraveled.pdf

**Ocaml garbage collector**

https://gallium.inria.fr/~doligez/publications/cuoq-doligez-mlw-2008.pdf