Algorithms.TF.Simulate

Native and simulated arithmetic functions

increment_haskell

increment_simulate

incrementTF_haskell

incrementTF_simulate

doubleTF_haskell

doubleTF_simulate

addTF_haskell

addTF_simulate

multTF_haskell

multTF_simulate

pow17_haskell

pow17_simulate

mod3_haskell

mod3_simulate

mod3_alt_simulate

Native and simulated oracle functions

oracle_haskell

oracle_simulate

oracle_aux_haskell

oracle_aux_simulate

show_oracle_details

convertNode_haskell

convertNode_simulate

Testing functions

increment_table

incrementTF_table

doubleTF_table

addTF_table

multTF_table

pow17_table

mod3_table

oracle_table

oracle_table_detailed

convertNode_table

arithmetic_tests

oracle_tests