Skip to content
GitLab
Projects
Groups
Snippets
Help
Loading...
Help
What's new
10
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Open sidebar
clean-and-itasks
clean-sapl
Commits
10a75182
Commit
10a75182
authored
Mar 20, 2016
by
Laszlo Domoszlai
Browse files
Options
Browse Files
Download
Email Patches
Plain Diff
add more array primitives
parent
02155248
Changes
1
Hide whitespace changes
Inline
Side-by-side
Showing
1 changed file
with
167 additions
and
5 deletions
+167
-5
src/clean.f
src/clean.f
+167
-5
No files found.
src/clean.f
View file @
10a75182
...
...
@@ -382,11 +382,23 @@
"inline_exp"
:
"_array_create1(:!1:)"
}
,
{
"sapl_fun"
:
"array_create2_lazy"
,
"arity"
:
2
,
"ext_fun"
:
"_array_create2_lazy$eval"
,
"inline_exp"
:
"_array_create2(:!1:,:2:)"
}
,
"sapl_fun"
:
"array_create1_B_I"
,
"arity"
:
1
,
"ext_fun"
:
"_array_create1$eval"
,
"inline_exp"
:
"_array_create1(:!1:)"
}
,
{
"sapl_fun"
:
"array_create1_B_R"
,
"arity"
:
1
,
"ext_fun"
:
"_array_create1$eval"
,
"inline_exp"
:
"_array_create1(:!1:)"
}
,
{
"sapl_fun"
:
"array_create1_B_B"
,
"arity"
:
1
,
"ext_fun"
:
"_array_create1$eval"
,
"inline_exp"
:
"_array_create1(:!1:)"
}
,
{
"sapl_fun"
:
"array_create2"
,
"arity"
:
2
,
...
...
@@ -394,6 +406,30 @@
"inline_exp"
:
"_array_create2(:!1:,:!2:)"
}
,
{
"sapl_fun"
:
"array_create2_B_I"
,
"arity"
:
2
,
"ext_fun"
:
"_array_create2$eval"
,
"inline_exp"
:
"_array_create2(:!1:,:!2:)"
}
,
{
"sapl_fun"
:
"array_create2_B_R"
,
"arity"
:
2
,
"ext_fun"
:
"_array_create2$eval"
,
"inline_exp"
:
"_array_create2(:!1:,:!2:)"
}
,
{
"sapl_fun"
:
"array_create2_B_B"
,
"arity"
:
2
,
"ext_fun"
:
"_array_create2$eval"
,
"inline_exp"
:
"_array_create2(:!1:,:!2:)"
}
,
{
"sapl_fun"
:
"array_create2_lazy"
,
"arity"
:
2
,
"ext_fun"
:
"_array_create2_lazy$eval"
,
"inline_exp"
:
"_array_create2(:!1:,:2:)"
}
,
{
"sapl_fun"
:
"array_update_lazy"
,
"arity"
:
3
,
"ext_fun"
:
"_array_update_lazy$eval"
,
...
...
@@ -406,6 +442,24 @@
"inline_exp"
:
"_array_update(:!1:,:!2:,:!3:)"
}
,
{
"sapl_fun"
:
"array_update_B_I"
,
"arity"
:
3
,
"ext_fun"
:
"_array_update$eval"
,
"inline_exp"
:
"_array_update(:!1:,:!2:,:!3:)"
}
,
{
"sapl_fun"
:
"array_update_B_R"
,
"arity"
:
3
,
"ext_fun"
:
"_array_update$eval"
,
"inline_exp"
:
"_array_update(:!1:,:!2:,:!3:)"
}
,
{
"sapl_fun"
:
"array_update_B_B"
,
"arity"
:
3
,
"ext_fun"
:
"_array_update$eval"
,
"inline_exp"
:
"_array_update(:!1:,:!2:,:!3:)"
}
,
{
"sapl_fun"
:
"array_replace_lazy"
,
"arity"
:
3
,
"ext_fun"
:
"_array_replace_lazy$eval"
,
...
...
@@ -418,6 +472,24 @@
"inline_exp"
:
"_array_replace(:!1:,:!2:,:!3:)"
}
,
{
"sapl_fun"
:
"array_replace_B_I"
,
"arity"
:
3
,
"ext_fun"
:
"_array_replace$eval"
,
"inline_exp"
:
"_array_replace(:!1:,:!2:,:!3:)"
}
,
{
"sapl_fun"
:
"array_replace_B_R"
,
"arity"
:
3
,
"ext_fun"
:
"_array_replace$eval"
,
"inline_exp"
:
"_array_replace(:!1:,:!2:,:!3:)"
}
,
{
"sapl_fun"
:
"array_replace_B_B"
,
"arity"
:
3
,
"ext_fun"
:
"_array_replace$eval"
,
"inline_exp"
:
"_array_replace(:!1:,:!2:,:!3:)"
}
,
{
"sapl_fun"
:
"array_select_lazy"
,
"arity"
:
2
,
"ext_fun"
:
"_array_select_lazy"
,
...
...
@@ -430,10 +502,58 @@
"inline_exp"
:
":!1:[:!2:+2]"
}
,
{
"sapl_fun"
:
"array_select_B_I"
,
"arity"
:
2
,
"ext_fun"
:
"_array_select"
,
"inline_exp"
:
":!1:[:!2:+2]"
}
,
{
"sapl_fun"
:
"array_select_B_R"
,
"arity"
:
2
,
"ext_fun"
:
"_array_select"
,
"inline_exp"
:
":!1:[:!2:+2]"
}
,
{
"sapl_fun"
:
"array_select_B_B"
,
"arity"
:
2
,
"ext_fun"
:
"_array_select"
,
"inline_exp"
:
":!1:[:!2:+2]"
}
,
{
"sapl_fun"
:
"array_uselect_lazy"
,
"arity"
:
2
,
"ext_fun"
:
"_array_uselect"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:[:!2:+2],:1:]"
}
,
{
"sapl_fun"
:
"array_uselect"
,
"arity"
:
2
,
"ext_fun"
:
"_array_uselect"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:[:!2:+2],:1:]"
}
,
{
"sapl_fun"
:
"array_uselect_B_I"
,
"arity"
:
2
,
"ext_fun"
:
"_array_uselect"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:[:!2:+2],:1:]"
}
,
{
"sapl_fun"
:
"array_uselect_B_B"
,
"arity"
:
2
,
"ext_fun"
:
"_array_uselect"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:[:!2:+2],:1:]"
}
,
{
"sapl_fun"
:
"array_uselect_B_R"
,
"arity"
:
2
,
"ext_fun"
:
"_array_uselect"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:[:!2:+2],:1:]"
}
,
{
"sapl_fun"
:
"array_size_lazy"
,
"arity"
:
1
,
"ext_fun"
:
"_array_size"
,
"inline_exp"
:
":!1:.length-2"
}
,
{
"sapl_fun"
:
"array_size"
,
...
...
@@ -442,10 +562,52 @@
"inline_exp"
:
":!1:.length-2"
}
,
{
"sapl_fun"
:
"array_size_B_I"
,
"arity"
:
1
,
"ext_fun"
:
"_array_size"
,
"inline_exp"
:
":!1:.length-2"
}
,
{
"sapl_fun"
:
"array_size_B_B"
,
"arity"
:
1
,
"ext_fun"
:
"_array_size"
,
"inline_exp"
:
":!1:.length-2"
}
,
{
"sapl_fun"
:
"array_size_B_R"
,
"arity"
:
1
,
"ext_fun"
:
"_array_size"
,
"inline_exp"
:
":!1:.length-2"
}
,
{
"sapl_fun"
:
"array_usize_lazy"
,
"arity"
:
1
,
"ext_fun"
:
"_array_usize"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:.length-2,:1:]"
}
,
{
"sapl_fun"
:
"array_usize"
,
"arity"
:
1
,
"ext_fun"
:
"_array_usize"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:.length-2,:1:]"
}
,
{
"sapl_fun"
:
"array_usize_B_I"
,
"arity"
:
1
,
"ext_fun"
:
"_array_usize"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:.length-2,:1:]"
}
,
{
"sapl_fun"
:
"array_usize_B_B"
,
"arity"
:
1
,
"ext_fun"
:
"_array_usize"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:.length-2,:1:]"
}
,
{
"sapl_fun"
:
"array_usize_B_R"
,
"arity"
:
1
,
"ext_fun"
:
"_array_usize"
,
"inline_exp"
:
"[0, '_Tuple2',:!1:.length-2,:1:]"
}
,
{
"sapl_fun"
:
"abort"
,
...
...
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