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

  Copy full SHA for d8636db

Commits on Aug 30, 2024

• Initial Tyche logging support

  vasumv

  committed
  890719a

  Copy full SHA for 890719a

• Initial Tyche logging support

  vasumv

  committed
  3f324fa

  Copy full SHA for 3f324fa

• Cleanup

  vasumv

  committed
  0ccfcd1

  Copy full SHA for 0ccfcd1

• Cleanup

  vasumv

  committed
  8ba7e1a

  Copy full SHA for 8ba7e1a

• Tyche event loggingg

  vasumv

  committed
  05c3cd7

  Copy full SHA for 05c3cd7

Commits on Sep 5, 2024

• Add args loggign

  vasumv

  committed
  4786c1f

  Copy full SHA for 4786c1f

• Merge tyche

  vasumv

  committed
  625fb1a

  Copy full SHA for 625fb1a

• Add observeGuidance

  vasumv

  committed
  6309564

  Copy full SHA for 6309564

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

  vasumv

  committed
  c93092c

  Copy full SHA for c93092c

Commits on Sep 12, 2024

• Initial type hierarchy

  vasumv

  committed
  4797dd6

  Copy full SHA for 4797dd6

Commits on Sep 18, 2024

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

  vasumv

  committed
  209887f

  Copy full SHA for 209887f

• Added classdef

  vasumv

  committed
  6ab346f

  Copy full SHA for 6ab346f

Commits on Sep 19, 2024

• Added helper scopes, method calls, nonlocal + global

  vasumv

  committed
  3a137b1

  Copy full SHA for 3a137b1

• GPT generated (and fixed) comment summarizing generation strategy

  vasumv

  committed
  eb9957a

  Copy full SHA for eb9957a

• Added type directed targets

  vasumv

  committed
  e94f057

  Copy full SHA for e94f057

• Rename test

  vasumv

  committed
  f4d6d08

  Copy full SHA for f4d6d08