Gradual-Typing/Grift

Issues

• The srcloc in grift0 is shifted for bingind structures with only one sub-expression in body.

  #116 opened a year ago by SuChengHao
  0

• Inconsistent `gvector-set!` Behavior under Type-based-casts vs. Coercions

  #115 opened 4 years ago by Temurson
  1

• Bug while compiling with --no-dyn-operations

  #113 opened 4 years ago by Temurson
  2

• Indeterminate build?

  #109 opened 4 years ago by mgree
  4

• Could you provide the documentation of GTLC+?

  #105 opened 4 years ago by nyngwang
  1

• Investigate why travis fails with undefined reference errors when running the tests for the runtime.

  #100 opened 5 years ago by akuhlens
  0

• Adding configuration files

  #95 opened 5 years ago by deyaaeldeen
  0

• Document the implementation of the monotonic heap

  #65 opened 5 years ago by deyaaeldeen
  1

• Travis to test grift without installing it as a package

  #87 opened 5 years ago by deyaaeldeen
  0

• Prerequisite software for installing grift?

  #85 opened 5 years ago by peter-campora
  2

• Another case where type-based-casts and coercions are not equivalent

  #84 opened 5 years ago by LuKuangChen
  0

• Make contracts from these types.

  #83 opened 5 years ago by akuhlens
  0

• Explore what the "OBJ" type in "primitives.rkt" is used for and document.

  #82 opened 5 years ago by akuhlens
  0

• Type-based-casts and coercions are not equivalent

  #81 opened 5 years ago by LuKuangChen
  1

• A bug about casting to supertype

  #72 opened 6 years ago by LuKuangChen
  1

• Move Away from Typed Racket

  #68 opened 6 years ago by akuhlens
  0

• Possible Bug in Recursive Types Hashconsing

  #76 opened 6 years ago by akuhlens
  0

• Revisiting our processes

  #74 opened 6 years ago by deyaaeldeen
  1

• Should casting to a subtype be allowed?

  #71 opened 6 years ago by LuKuangChen
  1

• building with `make` fails when the path of source directory contains whitespace

  #70 opened 6 years ago by LuKuangChen
  0

• Add Style Guide

  #67 opened 6 years ago by akuhlens
  0

• Compile vector accesses in the cast interpreter without bound checks

  #61 opened 6 years ago by deyaaeldeen
  0

• Writing to tuples inside tuples in place when casted monotonically

  #50 opened 6 years ago by deyaaeldeen
  0

• Moving benchmarks to its own repository

  #56 opened 6 years ago by deyaaeldeen
  4

• Remove the observation form

  #45 opened 7 years ago by akuhlens
  0

• Type manipulation operations such as consistent? and join should be more logically located.

  #44 opened 7 years ago by akuhlens
  0

• AST should correlate each syntax node to a src location

  #43 opened 7 years ago by akuhlens
  0

• Language AST should only be parameterized by the parts that change.

  #42 opened 7 years ago by akuhlens
  0

• Add benchmarks to CI

  #41 opened 7 years ago by deyaaeldeen
  0

• Ray benchmark output differs in floating point precision.

  #36 opened 7 years ago by akuhlens
  1

• Runtime cast profiler

  #11 opened 7 years ago by deyaaeldeen
  0

• type hashconsing stress test failing

  #32 opened 7 years ago by deyaaeldeen
  0

• Improve tuple cast with statically known types.

  #37 opened 7 years ago by akuhlens
  0

• Change name of schml to grift

  #10 opened 7 years ago by akuhlens
  0

• Code coverage for test suite.

  #20 opened 7 years ago by akuhlens
  0

• Inline code for functions that have exactly one calling site.

  #17 opened 7 years ago by deyaaeldeen
  1

• Reimplement tuple and function glb functions iteratively

  #12 opened 7 years ago by deyaaeldeen
  0

• Need developmental documentation

  #18 opened 7 years ago by akuhlens
  0

• Make Understandable and Consistent Names for AST nodes

  #9 opened 7 years ago by akuhlens
  0

• We should standardize error reporting.

  #6 opened 7 years ago by akuhlens
  0