Python detup Examples

Example #1

def find_mc_context_ids2(experiment_id, strat, mls):
    q = "SELECT DISTINCT(context_id) FROM contexts \
       WHERE experiment_id = " + str(experiment_id) + " \
       AND compiler = 'pmlc' \
       AND max_leaf_size = " + str(mls) + " \
       AND input LIKE '%" + strat[0] + "%'"
    return (get.detup(db.select_values(q)))

Example #2

def find_mlton_context_ids(experiment_id, strat):
    q = "SELECT DISTINCT(context_id) FROM contexts \
       WHERE experiment_id = " + str(experiment_id) + " \
       AND compiler = 'mlton' \
       AND input LIKE '%" + strat[0] + "%'"
    return (get.detup(db.select_values(q)))

Example #3

File: leaf_size_experiment.py Project: ManticoreProject/benchmark

def find_mc_context_ids3(experiment_id):
    q = "SELECT DISTINCT(context_id) FROM contexts \
       WHERE experiment_id = " + str(experiment_id) + " \
       AND compiler = 'pmlc'"

    return (get.detup(db.select_values(q)))