Leonardo de Moura
|
8c140ff86f
|
feat(lua): allow lua scripts (embedded in Lean files) to access the environment
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-11-10 11:14:04 -08:00 |
|
Leonardo de Moura
|
b7d8391306
|
refactor(lua): remove duplicate code, separate lua_exception, add missing #pragma once
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-11-08 11:59:47 -08:00 |
|
Leonardo de Moura
|
57b9657bf0
|
feat(lua): add lua_exception for wrapping lua errors, and improve Lua error messages in the Lean frontend
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-11-07 15:19:26 -08:00 |
|
Leonardo de Moura
|
a9b2be0b9c
|
feat(frontends/lean): add support for embedded Lua scripts in Lean files
Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
|
2013-11-07 13:56:04 -08:00 |
|