ku-progsys rbsyn issues

ku-progsys / rbsyn

Program synthesis for Ruby

BSD 3-Clause "New" or "Revised" License

94 stars 4 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bump activesupport from 7.0.4.1 to 7.1.1

#41 dependabot[bot] closed 1 year ago
0
Bump activesupport from 7.0.4.1 to 7.0.4.3

#40 dependabot[bot] closed 1 year ago
1
Bump activesupport from 7.0.3.1 to 7.0.4.1

#39 dependabot[bot] closed 1 year ago
1
Bump activerecord from 7.0.3.1 to 7.0.4.1

#38 dependabot[bot] closed 1 year ago
0
Bump activerecord from 6.1.4.1 to 7.0.3.1

#37 dependabot[bot] closed 2 years ago
1
VSCode Plugin

#36 ngsankha opened 2 years ago
1
pod#schedule_check_if_needed regression

#35 ngsankha opened 3 years ago
0
Bump activerecord from 6.0.2.1 to 6.1.3

#34 dependabot[bot] closed 3 years ago
0
Bump activesupport from 6.0.2.1 to 6.1.3

#33 dependabot[bot] closed 3 years ago
0
Update rake requirement from ~> 10.0 to ~> 13.0

#32 dependabot[bot] closed 3 years ago
0
ideas from separation logic

#31 ngsankha opened 4 years ago
0
efficient branching

#30 ngsankha opened 4 years ago
0
variable binding generation

#29 ngsankha opened 4 years ago
0
receiver of side effect method may be an expression

#28 ngsankha opened 4 years ago
0
handle overloaded methods

#27 ngsankha opened 4 years ago
0
better DSL for tests

#26 ngsankha opened 4 years ago
0
set ordering based on preconditions

#25 ngsankha opened 4 years ago
0
bug in disable side effect flags

#24 ngsankha closed 4 years ago
0
envref can be used for depth != 0

#23 ngsankha opened 4 years ago
0
merge environments

#22 ngsankha opened 4 years ago
0
Abstract program

#21 ngsankha opened 4 years ago
0
auto refactor common subexpression from basic blocks

#20 ngsankha opened 4 years ago
0
custom exception class

#19 ngsankha closed 4 years ago
1
petri nets?

#18 ngsankha opened 4 years ago
2
Custom sort logic for better program ordering

#17 ngsankha closed 4 years ago
0
Split elimination strategies into separate files

#16 ngsankha closed 4 years ago
0
Split prune strategies into separate files

#15 ngsankha closed 4 years ago
0
Make effect reachability graph

#14 ngsankha opened 4 years ago
0
Update InverseBranchFold strategy to not emit if

#13 ngsankha closed 4 years ago
2
Add envref handler to all the AST passes

#12 ngsankha closed 4 years ago
1
program size might change during synthesis branching conditions

#11 ngsankha opened 4 years ago
0
Eliminate programs that are not type correct

#10 ngsankha opened 4 years ago
1
referring variables in tests

#9 ngsankha closed 4 years ago
2
add holes

#8 ngsankha closed 4 years ago
1
Code cleanup

#7 ngsankha closed 4 years ago
0
Ordering of program elimination and branch pruning strategies

#6 ngsankha closed 4 years ago
1
DSL for specifications

#5 ngsankha closed 5 years ago
1
More benchmarks

#4 ngsankha closed 4 years ago
0
Full username_available? method

#3 ngsankha closed 4 years ago
1
Method argument hashes should support multiple key/value pairs

#2 ngsankha closed 5 years ago
1
Joins types are not correct

#1 ngsankha closed 5 years ago
0