Mapping to `Ruler` functions to code

[THinnerichs]

Hey there,

I am very interested in using Ruler and extending some of its functionality. However, I struggle to locate a couple of functions from the paper. Could you maybe point me to snippets for the following functions?

• choose_eqs
• select
• is_valid (for any sample domain), and
• add_Terms(T,i)

Thank you so much for your help!

[chandrakananandi]

Hi!

Thanks for your interest. The Ruler code which we used for our OOPSLA 2021 evaluation is in this branch: https://github.com/uwplse/ruler/tree/oopsla21-aec

• choose_eqs:

  ruler/src/lib.rs

  Line 974 in e4217ed

  fn choose_eqs(&mut self, mut new_eqs: EqualityMap<L>) -> (EqualityMap<L>, EqualityMap<L>) {

  • shrink is also relevant:

    ruler/src/lib.rs

    Line 874 in e4217ed

    fn shrink(

• select:

  ruler/src/lib.rs

  Line 134 in e4217ed

  fn score(lhs: &Pattern<Self>, rhs: &Pattern<Self>) -> [i32; 5] {

  (we called it score in the implementation)

• is_valid for the bv domain:

  ruler/src/bv.rs

  Line 315 in e4217ed

  fn is_valid(

• add_terms: If you are referring to our enumeration strategy, see the implementation for the bv domain here:

  ruler/src/bv.rs

  Line 271 in e4217ed

  fn make_layer(synth: &Synthesizer<Self>, iter: usize) -> Vec<Self> {

I should mention that if you are interested in extending Ruler, you should probably consider building on top of our more recent Enumo tool from OOPSLA 2023.

In particular, add_terms is entirely deprecated and Enumo has a much more effective enumeration strategy that we have shown to be better than Ruler.

The code for Enumo is in this branch: https://github.com/uwplse/ruler/tree/oopsla23-aec and the main branch of this repository now has the Enumo implementation.

Please feel free to reach out if you have more questions!