Issues - phc-graph - Gitea: Git with a cup of tea

suzanne.soy/phc-graph

New Issue

Proof that well-typed programs with the extensions translate to well-typed programs in plain TR, with the same semantics #27

#33 opened 2021-10-04 19:46:49 +01:00 by jsmaniac Formalise type system extensions

Write memoir #26

#32 opened 2021-10-04 19:44:21 +01:00 by jsmaniac Write memoir

Formalise the semantics of typed-nanopass+graph programs (using redex?) #25

#31 opened 2021-10-04 19:43:49 +01:00 by jsmaniac Formalise type system extensions

Formalise what well-typed means for typed-nanopass+graph means #24

#30 opened 2021-10-04 19:43:11 +01:00 by jsmaniac Formalise type system extensions

Translate https://github.com/akeep/scheme-to-c #23

#29 opened 2021-10-04 19:40:38 +01:00 by jsmaniac Benchmark: translate all Nanopass examples

Translate https://github.com/nanopass/nanopass-framework-scheme #22

#28 opened 2021-10-04 19:39:58 +01:00 by jsmaniac Benchmark: translate all Nanopass examples

to infer the type for curry, check using identifier-binding if the id is imported, if so try to print its type using eval #21

#27 opened 2021-10-04 19:39:06 +01:00 by jsmaniac

Check for non-intersection of the union types in traversal.hl.rkt, using the non-intersection implementation from phc-adt. #20

#26 opened 2021-10-04 19:38:34 +01:00 by jsmaniac

Merge tagged-anytag-match into the regular match for tagged structures #19

#25 opened 2021-10-04 19:37:58 +01:00 by jsmaniac

Garbage collect graph #18

#24 opened 2021-10-04 19:35:54 +01:00 by jsmaniac

Drop MathJax, directly print Unicode or render via LaTeX (speed & licensing issues) #17

#23 opened 2021-10-04 19:34:11 +01:00 by jsmaniac Cleanup & presentation

Write "middle-dot" language extension #16

#22 opened 2021-10-04 19:31:23 +01:00 by jsmaniac

Relicensing #15

#21 opened 2021-10-04 19:30:33 +01:00 by jsmaniac Cleanup & presentation

Combine the graph passes into a single macro #14

#20 opened 2021-10-04 19:29:44 +01:00 by jsmaniac Graph low-level

Implement the third graph generation pass: replacing indices with promises #13

#19 opened 2021-10-04 19:28:49 +01:00 by jsmaniac Graph low-level

Implement the second graph generation pass: inline nodes #12

#18 opened 2021-10-04 19:28:07 +01:00 by jsmaniac Graph low-level

Implement the first graph generation pass, with a placeholder wrapping each mapping result #11

#17 opened 2021-10-04 19:27:11 +01:00 by jsmaniac Graph low-level

Implement graph #10

#16 opened 2021-10-04 19:26:08 +01:00 by jsmaniac Graph low-level

Cleanup invariants-phantom.hl.rkt #9

#15 opened 2021-10-04 19:25:26 +01:00 by jsmaniac Graph invariants

Run-time checkers for invariants #8

#14 opened 2021-10-04 19:24:43 +01:00 by jsmaniac Graph invariants

1 2