ngsankha/rbsyn

Issues

• VSCode Plugin

  #36 opened 2 years ago by ngsankha
  1

• pod#schedule_check_if_needed regression

  #35 opened 3 years ago by ngsankha
  0

• ideas from separation logic

  #31 opened 4 years ago by ngsankha
  0

• custom exception class

  #19 opened 4 years ago by ngsankha
  1

• Ordering of program elimination and branch pruning strategies

  #6 opened 4 years ago by ngsankha
  1

• Split elimination strategies into separate files

  #16 opened 4 years ago by ngsankha
  0

• Split prune strategies into separate files

  #15 opened 4 years ago by ngsankha
  0

• efficient branching

  #30 opened 4 years ago by ngsankha
  0

• variable binding generation

  #29 opened 4 years ago by ngsankha
  0

• receiver of side effect method may be an expression

  #28 opened 5 years ago by ngsankha
  0

• handle overloaded methods

  #27 opened 5 years ago by ngsankha
  0

• better DSL for tests

  #26 opened 5 years ago by ngsankha
  0

• More benchmarks

  #4 opened 5 years ago by ngsankha
  0

• bug in disable side effect flags

  #24 opened 5 years ago by ngsankha
  0

• set ordering based on preconditions

  #25 opened 5 years ago by ngsankha
  0

• envref can be used for depth != 0

  #23 opened 5 years ago by ngsankha
  0

• Full username_available? method

  #3 opened 5 years ago by ngsankha
  1

• Update InverseBranchFold strategy to not emit if

  #13 opened 5 years ago by ngsankha
  2

• merge environments

  #22 opened 5 years ago by ngsankha
  0

• referring variables in tests

  #9 opened 5 years ago by ngsankha
  2

• Abstract program

  #21 opened 5 years ago by ngsankha
  0

• auto refactor common subexpression from basic blocks

  #20 opened 5 years ago by ngsankha
  0

• petri nets?

  #18 opened 5 years ago by ngsankha
  2

• Custom sort logic for better program ordering

  #17 opened 5 years ago by ngsankha
  0

• Make effect reachability graph

  #14 opened 5 years ago by ngsankha
  0

• Add envref handler to all the AST passes

  #12 opened 5 years ago by ngsankha
  1

• Eliminate programs that are not type correct

  #10 opened 5 years ago by ngsankha
  1

• program size might change during synthesis branching conditions

  #11 opened 5 years ago by ngsankha
  0

• Code cleanup

  #7 opened 5 years ago by ngsankha
  0

• add holes

  #8 opened 5 years ago by ngsankha
  1

• DSL for specifications

  #5 opened 5 years ago by ngsankha
  1

• Method argument hashes should support multiple key/value pairs

  #2 opened 5 years ago by ngsankha
  1

• Joins types are not correct

  #1 opened 5 years ago by ngsankha
  0