CozySynthesizer cozy issues

CozySynthesizer / cozy

The collection synthesizer

https://cozy.uwplse.org

Apache License 2.0

209 stars 18 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Copy option values into sub-jobs

#124 Calvin-L closed 3 years ago
0
Resource leak fixes

#123 Calvin-L closed 4 years ago
0
Cozy ignores many command-line options

#122 Calvin-L closed 3 years ago
0
Dramatically reduce encoding times for some equality formulas

#121 Calvin-L opened 4 years ago
1
Segfault in Z3 API for some inputs

#120 Calvin-L closed 4 years ago
6
Graceful interrupts

#119 Calvin-L closed 4 years ago
6
examples/basic.ds gets much worse

#118 ricochet1k opened 4 years ago
3
Investigate explicit iteration primitives

#117 Calvin-L opened 4 years ago
0
Use backend specific implementation for UOp.Length

#116 izgzhen closed 1 year ago
0
More strict solver context checking

#115 izgzhen opened 4 years ago
0
Save before cleaning up threads

#114 izgzhen closed 4 years ago
0
EFlatMap related optimizations

#113 izgzhen closed 4 years ago
1
Fix EMapKeys codegen failure

#112 izgzhen closed 4 years ago
0
Basic support for Ruby backend

#111 izgzhen closed 4 years ago
2
Hard timeout abort

#110 izgzhen closed 4 years ago
7
heuristic based boolean sat solving

#109 izgzhen closed 4 years ago
15
select-flatmap synthesis is slow

#108 izgzhen opened 4 years ago
5
TTreeMultiset constructor bug

#107 izgzhen opened 5 years ago
0
Improve flatMap handling

#106 izgzhen closed 5 years ago
1
Failed codegen: EMapKeys

#105 izgzhen opened 5 years ago
6
ambiguous empty issue (WIP)

#104 izgzhen closed 5 years ago
2
Documented the jobs module

#103 Calvin-L closed 5 years ago
0
Use less state-full design for collecting metrics

#102 izgzhen opened 5 years ago
2
Allow collections of collections

#101 Calvin-L opened 5 years ago
0
clausedb example produces assertion error

#100 anhnamtran opened 5 years ago
1
WIP: Added a way to specify a limit to number of improvements

#99 anhnamtran closed 4 years ago
0
add redis-based global cache prototype

#98 izgzhen closed 5 years ago
7
Add lets inlining before encoding in TreeMultiset

#97 izgzhen closed 5 years ago
1
Implement an improvement iteration number based timeout mechanism

#96 izgzhen closed 4 years ago
6
NotImplementedError raised on maxbag.ds

#95 anhnamtran closed 5 years ago
4
Use replace_type to coerce type explicitly

#94 izgzhen closed 5 years ago
0
Counter for number of improvements done

#93 anhnamtran closed 5 years ago
1
Sorted implementation is still buggy

#92 izgzhen closed 5 years ago
0
check in generated code as end-to-end regresison test

#91 izgzhen closed 5 years ago
5
Check the type equivalence before reassigning

#90 izgzhen closed 5 years ago
2
add sorted, add ordered multiset implementation

#89 izgzhen closed 5 years ago
5
add sorting based on MultiTreeset in guava

#88 izgzhen closed 5 years ago
0
rethink `with_type`

#87 izgzhen closed 5 years ago
1
potential dead code?

#86 izgzhen closed 5 years ago
2
minor fix

#85 izgzhen closed 5 years ago
0
implement lval semantics for list index, add hardcoded sort

#84 izgzhen closed 5 years ago
1
a sane way to annotate generated code

#83 izgzhen closed 5 years ago
3
[codegen] unnecessary vector resize and vector copy

#82 izgzhen closed 5 years ago
3
add simple cache to cost model

#81 izgzhen closed 5 years ago
9
EListSlice optimization NotImplementedError

#80 izgzhen closed 5 years ago
0
Codegen refactor

#79 Calvin-L closed 5 years ago
0
try lark parser for frontend

#78 izgzhen closed 5 years ago
0
Fix examples

#77 izgzhen opened 5 years ago
3
add example testing to CI

#76 izgzhen closed 5 years ago
2
fix tuple copy

#75 izgzhen closed 5 years ago
2