summaryrefslogtreecommitdiff
path: root/proofs/lfsc_checker/code.h
blob: 9d00a637855941465542c3ed9710f8ad242bcf03 (plain) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

#ifndef SC2_CODE_H
#define SC2_CODE_H

#include "expr.h"

Expr *read_code();
Expr *check_code(Expr *); // compute the type for the given code
Expr *run_code(Expr *); 

int read_index();

extern bool dbg_prog;
extern bool run_scc;

#endif
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback