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
CertiCompil
CompCert-KVX
Commits
fcc5b322
Unverified
Commit
fcc5b322
authored
Feb 16, 2018
by
Bernhard Schommer
Browse files
Renamed StructReturn to structPassing
parent
8cd40f0b
Changes
3
Hide whitespace changes
Inline
Side-by-side
cparser/Parse.ml
View file @
fcc5b322
...
...
@@ -19,7 +19,7 @@ module CharSet = Set.Make(struct type t = char let compare = compare end)
let
transform_program
t
p
name
=
let
run_pass
pass
flag
p
=
if
CharSet
.
mem
flag
t
then
pass
p
else
p
in
let
p1
=
(
run_pass
Struct
Return
.
program
'
s'
let
p1
=
(
run_pass
Struct
Passing
.
program
'
s'
(
run_pass
PackedStructs
.
program
'
p'
(
run_pass
Unblock
.
program
'
b'
(
run_pass
Bitfields
.
program
'
f'
...
...
cparser/Struct
Return
.ml
→
cparser/Struct
Passing
.ml
View file @
fcc5b322
File moved
cparser/Struct
Return
.mli
→
cparser/Struct
Passing
.mli
View file @
fcc5b322
File moved
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