Leonardo de Moura
|
aa5eea6416
|
feat(frontends/lean): add scope management to parser_state, remove unnecessary undef_ids
|
2017-02-08 11:58:14 -08:00 |
|
diakopter
|
91b526fdd1
|
chore(frontends/lean): clang warnings
|
2017-02-05 14:03:15 -08:00 |
|
Leonardo de Moura
|
160011b80e
|
feat(frontends/lean/parser_state): parser_state API
|
2017-02-04 13:38:53 -08:00 |
|
Leonardo de Moura
|
36dc796f6c
|
refactor(frontends/lean): add more parser_state methods
|
2017-02-04 11:37:26 -08:00 |
|
Leonardo de Moura
|
d7ab2bb196
|
feat(frontends/lean): add basic parser_state methods
|
2017-02-04 10:57:51 -08:00 |
|
Leonardo de Moura
|
abe0f1f386
|
feat(frontends/lean): new parser_state skeleton
|
2017-02-03 21:01:49 -08:00 |
|