Code

ChocoPy type-directed generator#259

Code

Draft

vasumv wants to merge 17 commits intomasterrohanpadhye/JQF:masterfrom vasu/type-directed-generatorsrohanpadhye/JQF:vasu/type-directed-generatorsCopy head branch name to clipboard

+1,073-25

Commits

Commits on Aug 28, 2024

• Init type directed ChocoPy generator

  vasumv

  committed
  d8636db

Commits on Aug 30, 2024

• Initial Tyche logging support

  vasumv

  committed
  890719a

• Initial Tyche logging support

  vasumv

  committed
  3f324fa

• Cleanup

  vasumv

  committed
  0ccfcd1

• Cleanup

  vasumv

  committed
  8ba7e1a

• Tyche event loggingg

  vasumv

  committed
  05c3cd7

Commits on Sep 5, 2024

• Add args loggign

  vasumv

  committed
  4786c1f

• Merge tyche

  vasumv

  committed
  625fb1a

• Add observeGuidance

  vasumv

  committed
  6309564

• Merge branch 'vasu/tyche_support' into vasu/type-directed-generators

  vasumv

  committed
  c93092c

Commits on Sep 12, 2024

• Initial type hierarchy

  vasumv

  committed
  4797dd6

Commits on Sep 18, 2024

• Merge branch 'master' into vasu/type-directed-generators

  vasumv

  committed
  209887f

• Added classdef

  vasumv

  committed
  6ab346f

Commits on Sep 19, 2024

• Added helper scopes, method calls, nonlocal + global

  vasumv

  committed
  3a137b1

• GPT generated (and fixed) comment summarizing generation strategy

  vasumv

  committed
  eb9957a

• Added type directed targets

  vasumv

  committed
  e94f057

• Rename test

  vasumv

  committed
  f4d6d08