CozySynthesizer/cozy

Issues

• Cozy ignores many command-line options

  #122 opened 4 years ago by Calvin-L
  0

• select-flatmap synthesis is slow

  #108 opened 5 years ago by izgzhen
  5

• examples/basic.ds gets much worse

  #118 opened 4 years ago by ricochet1k
  3

• Hard timeout abort

  #110 opened 4 years ago by izgzhen
  7

• Segfault in Z3 API for some inputs

  #120 opened 4 years ago by Calvin-L
  6

• Investigate explicit iteration primitives

  #117 opened 5 years ago by Calvin-L
  0

• Use less state-full design for collecting metrics

  #102 opened 6 years ago by izgzhen
  2

• Implement an improvement iteration number based timeout mechanism

  #96 opened 5 years ago by izgzhen
  6

• More strict solver context checking

  #115 opened 5 years ago by izgzhen
  0

• TTreeMultiset constructor bug

  #107 opened 5 years ago by izgzhen
  0

• Failed codegen: EMapKeys

  #105 opened 6 years ago by izgzhen
  6

• Additional errors and warnings

  #23 opened 7 years ago by Calvin-L
  1

• Allow collections of collections

  #101 opened 6 years ago by Calvin-L
  0

• clausedb example produces assertion error

  #100 opened 6 years ago by anhnamtran
  1

• NotImplementedError raised on maxbag.ds

  #95 opened 6 years ago by anhnamtran
  4

• Sorted implementation is still buggy

  #92 opened 6 years ago by izgzhen
  0

• rethink `with_type`

  #87 opened 6 years ago by izgzhen
  1

• Use type annotations from standard `typing` module

  #50 opened 6 years ago by Calvin-L
  3

• [codegen] shallow/deep copy support for Java

  #74 opened 6 years ago by izgzhen
  3

• [codegen] unnecessary vector resize and vector copy

  #82 opened 6 years ago by izgzhen
  3

• potential dead code?

  #86 opened 6 years ago by izgzhen
  2

• try lark parser for frontend

  #78 opened 6 years ago by izgzhen
  0

• EListSlice optimization NotImplementedError

  #80 opened 6 years ago by izgzhen
  0

• Simplify implementations before code generation

  #49 opened 6 years ago by Calvin-L
  1

• EHeapElems is buggy

  #60 opened 6 years ago by izgzhen
  8

• Fix examples

  #77 opened 6 years ago by izgzhen
  3

• [codegen] support code-generation for Tuple type

  #70 opened 6 years ago by izgzhen
  6

• Solver cannot deal with string literals

  #20 opened 7 years ago by seizethedave
  2

• Specification-only primitives

  #67 opened 6 years ago by Calvin-L
  0

• Target language dependent synthesis

  #68 opened 6 years ago by Calvin-L
  0

• use extern to compare string with string literal causes model validation error

  #63 opened 6 years ago by izgzhen
  8

• Move `Map` primitives to structures module

  #51 opened 6 years ago by Calvin-L
  2

• implement visit_ESingleton for Java/CxxPrinter

  #55 opened 6 years ago by izgzhen
  10

• what is the use of to_heap in structures/heaps.py?

  #54 opened 6 years ago by izgzhen
  2

• Improved thread management

  #52 opened 6 years ago by Calvin-L
  3

• Synthesis with partial functions

  #19 opened 7 years ago by Calvin-L
  0

• Change `.t` to `.elem_type`

  #45 opened 6 years ago by Calvin-L
  8

• Pre-update / post-update

  #28 opened 7 years ago by Calvin-L
  0

• Common subexpression elimination

  #24 opened 6 years ago by seizethedave
  1

• Licensing information

  #41 opened 6 years ago by MostAwesomeDude
  1

• Synthesize code with let-expressions

  #38 opened 6 years ago by Calvin-L
  0

• Synthesize constructors

  #37 opened 6 years ago by Calvin-L
  0

• priority queue errors with NotImplementedError

  #32 opened 7 years ago by sasha-s
  1

• Undefined name 'ms' in cozy/syntax_tools.py

  #33 opened 7 years ago by cclauss
  1

• syntax.seq should use build_balanced_tree

  #27 opened 7 years ago by seizethedave
  0

• Native function call within Op produces confusing error

  #22 opened 7 years ago by seizethedave
  0

• Quick code review

  #29 opened 7 years ago by anhnamtran
  1

• Pretty printer should emit SDecl with "let" syntax

  #26 opened 7 years ago by seizethedave
  0

• Synthesis core ignores `hints` parameter

  #25 opened 7 years ago by Calvin-L
  0

• Synthesis with underspecified functions

  #21 opened 7 years ago by Calvin-L
  0