Ampliphi-to-Varphi Online Compiler

Load Example
abs_diff
add
and
eq
gt
index_complex
index_complex_loop
index_complex_sum
index_complex_write
index_procedure
index_reverse_array
index_simple
index_simple_write
jump_if_false
load_bool
load_int
lt
max
multiple_calls
multiply
nested_calls
not
opt_array_folding
opt_complex_loop
opt_constant_folding
opt_dead_code
opt_if_true_false
opt_temp_reduction
opt_while_false
or
reassign_variable
simple_call
sub
Ampliphi Docs

Compiled Varphi Output