Skip to content
GitLab
Menu
Projects
Groups
Snippets
Loading...
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
Armillon Damien
infosec-ecomp
Commits
4c8b73f0
Commit
4c8b73f0
authored
Mar 02, 2021
by
Armillon Damien
Browse files
Merge remote-tracking branch 'le-remote-d-origine/master'
parents
53ff196a
224fc185
Changes
1
Hide whitespace changes
Inline
Side-by-side
src/main.ml
View file @
4c8b73f0
...
...
@@ -181,6 +181,7 @@ let _ =
end
;
let
compiler_res
=
try
pass_tokenize
input
>>=
fun
tokens
->
pass_parse
tokens
>>=
fun
(
ast
,
_
)
->
pass_elang
ast
>>=
fun
ep
->
...
...
@@ -200,6 +201,10 @@ let _ =
pass_linear_dse
linear
lives
>>=
fun
linear
->
run
"Linear after DSE"
!
linear_run_after_dse
exec_linear_prog
linear
;
pass_ltl_gen
linear
with
e
->
let
emsg
=
Printexc
.
to_string
e
^
"
\n
"
^
Printexc
.
get_backtrace
()
in
record_compile_result
~
error
:
(
Some
emsg
)
"global"
;
Error
emsg
in
begin
match
compiler_res
with
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment