Gradual-Typing/Grift issues and pull requests

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

Issue - State: open - Opened by SuChengHao about 1 year ago

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

Issue - State: open - Opened by Temurson over 3 years ago - 1 comment

#114 - Fixed Tuple-proj cast insertion with dynamic operations turned off

Pull Request - State: closed - Opened by Temurson over 3 years ago

#113 - Bug while compiling with --no-dyn-operations

Issue - State: closed - Opened by Temurson over 3 years ago - 2 comments

#112 - Typo fixes in `tests/suite/program/lib.grift`

Pull Request - State: open - Opened by mgree over 3 years ago

#111 - Clarify grammar

Pull Request - State: open - Opened by mgree over 3 years ago - 1 comment

#110 - Fix for #109

Pull Request - State: closed - Opened by akuhlens over 3 years ago

#109 - Indeterminate build?

Issue - State: closed - Opened by mgree over 3 years ago - 4 comments

#108 - Coercions Passing Style, Coercion Constant Folding, and LLVM Backend

Pull Request - State: closed - Opened by akuhlens about 4 years ago

#107 - Update README.md

Pull Request - State: closed - Opened by LuKC1024 over 4 years ago

#106 - adding a flag to keep C files produced by Grift in our benchmarks

Pull Request - State: closed - Opened by deyaaeldeen over 4 years ago

#105 - Could you provide the documentation of GTLC+?

Issue - State: closed - Opened by nyngwang over 4 years ago - 1 comment

#104 - tail call working in static code

Pull Request - State: closed - Opened by akuhlens over 4 years ago

#103 - fix a bug in type hashconsing

Pull Request - State: open - Opened by deyaaeldeen over 4 years ago

#102 - Unit Tests All Passing

Pull Request - State: closed - Opened by akuhlens over 4 years ago

#101 - fixing warnings in travis

Pull Request - State: closed - Opened by akuhlens over 4 years ago

#100 - Investigate why travis fails with undefined reference errors when running the tests for the runtime.

Issue - State: open - Opened by akuhlens over 4 years ago

#99 - Start Sketching Sham Backend

Pull Request - State: closed - Opened by akuhlens over 4 years ago

#98 - adding UniformClosure option to benchmarks/configs.rkt

Pull Request - State: closed - Opened by deyaaeldeen over 4 years ago

#97 - Add a data representation of Function proxies

Pull Request - State: closed - Opened by akuhlens almost 5 years ago

#96 - Building runtime with debugging symbols

Pull Request - State: closed - Opened by deyaaeldeen almost 5 years ago

#95 - Adding configuration files

Issue - State: open - Opened by deyaaeldeen almost 5 years ago

#94 - Coercion-passing style translation

Pull Request - State: closed - Opened by tdyydt almost 5 years ago - 8 comments

#93 - Mono write

Pull Request - State: closed - Opened by deyaaeldeen almost 5 years ago - 1 comment

#92 - LLVM Backend

Pull Request - State: closed - Opened by akuhlens almost 5 years ago - 1 comment

#91 - Basic sham install and test

Pull Request - State: closed - Opened by akuhlens almost 5 years ago

#90 - Fixing monotonic references

Pull Request - State: closed - Opened by deyaaeldeen almost 5 years ago

#89 - Adding support for while

Pull Request - State: closed - Opened by deyaaeldeen about 5 years ago - 1 comment

#88 - Adding queue of suspeneded casts to the runtime

Pull Request - State: closed - Opened by deyaaeldeen about 5 years ago - 1 comment

#87 - Travis to test grift without installing it as a package

Issue - State: open - Opened by deyaaeldeen about 5 years ago

#86 - fix tests modules that import grift as a package

Pull Request - State: closed - Opened by deyaaeldeen about 5 years ago

#85 - Prerequisite software for installing grift?

Issue - State: closed - Opened by peter-campora about 5 years ago - 2 comments

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

Issue - State: open - Opened by LuKC1024 about 5 years ago

#83 - Make contracts from these types.

Issue - State: open - Opened by akuhlens about 5 years ago

#82 - Explore what the "OBJ" type in "primitives.rkt" is used for and document.

Issue - State: open - Opened by akuhlens about 5 years ago

#81 - Type-based-casts and coercions are not equivalent

Issue - State: open - Opened by LuKC1024 about 5 years ago - 1 comment

#80 - replace Vector with Vect in type annotations

Pull Request - State: closed - Opened by LuKC1024 over 5 years ago - 2 comments

#79 - Update sieve.grift

Pull Request - State: closed - Opened by LuKC1024 over 5 years ago - 2 comments

#78 - typo

Pull Request - State: closed - Opened by deyaaeldeen almost 6 years ago

#77 - updated grammar

Pull Request - State: closed - Opened by deyaaeldeen almost 6 years ago

#76 - Possible Bug in Recursive Types Hashconsing

Issue - State: open - Opened by akuhlens almost 6 years ago
Labels: bug, question

#75 - Port from Typed-Racket to Racket

Pull Request - State: closed - Opened by akuhlens almost 6 years ago - 3 comments

#74 - Revisiting our processes

Issue - State: open - Opened by deyaaeldeen almost 6 years ago - 1 comment

#73 - sorting test cases

Pull Request - State: closed - Opened by LuKC1024 almost 6 years ago

#72 - A bug about casting to supertype

Issue - State: open - Opened by LuKC1024 almost 6 years ago - 1 comment
Labels: bug

#71 - Should casting to a subtype be allowed?

Issue - State: open - Opened by LuKC1024 almost 6 years ago - 1 comment

#70 - building with `make` fails when the path of source directory contains whitespace

Issue - State: open - Opened by LuKC1024 almost 6 years ago

#69 - short-circuit and, or; cond; related tests

Pull Request - State: closed - Opened by LuKC1024 almost 6 years ago

#68 - Move Away from Typed Racket

Issue - State: open - Opened by akuhlens almost 6 years ago

#67 - Add Style Guide

Issue - State: open - Opened by akuhlens almost 6 years ago

#66 - Rectypes

Pull Request - State: closed - Opened by akuhlens about 6 years ago

#65 - Document the implementation of the monotonic heap

Issue - State: closed - Opened by deyaaeldeen about 6 years ago - 1 comment

#64 - updating README

Pull Request - State: closed - Opened by deyaaeldeen about 6 years ago

#63 - doing monotonic access in the cast interpreter with no bound checks

Pull Request - State: closed - Opened by deyaaeldeen about 6 years ago - 1 comment

#62 - Copying tuples lazily while casting a monotonic heap

Pull Request - State: closed - Opened by deyaaeldeen about 6 years ago - 4 comments

#61 - Compile vector accesses in the cast interpreter without bound checks

Issue - State: closed - Opened by deyaaeldeen about 6 years ago
Labels: performance

#60 - fix bug in src/backend-c/runtime/make.rkt

Pull Request - State: closed - Opened by deyaaeldeen about 6 years ago

#59 - update info.rkt to create exes for configs.rkt and bench.rkt

Pull Request - State: closed - Opened by deyaaeldeen about 6 years ago - 1 comment

#58 - support output of a name for 1 config

Pull Request - State: closed - Opened by deyaaeldeen about 6 years ago

#57 - Moving benchmarks out

Pull Request - State: closed - Opened by deyaaeldeen about 6 years ago - 1 comment

#56 - Moving benchmarks to its own repository

Issue - State: closed - Opened by deyaaeldeen about 6 years ago - 4 comments

#55 - Minor enhancements to the benchmarking infrastructure

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago - 1 comment

#54 - fix all problems with running raco setup and update READMEs

Pull Request - State: closed - Opened by akuhlens over 6 years ago - 1 comment

#53 - fix some installation-time errors

Pull Request - State: closed - Opened by rfindler over 6 years ago - 2 comments

#52 - add basic parallelization of compiling directory

Pull Request - State: closed - Opened by akuhlens over 6 years ago

#51 - Add even and odd example from the ooplsa paper

Pull Request - State: closed - Opened by akuhlens over 6 years ago

#50 - Writing to tuples inside tuples in place when casted monotonically

Issue - State: closed - Opened by deyaaeldeen over 6 years ago
Labels: bug

#49 - Fix counting of longest proxy chain for functions

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#48 - Fix bug in coercion composition for tuples

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#47 - Extend cast profiler to handle Injects and Projects

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#46 - Fix castprofiler.c

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#45 - Remove the observation form

Issue - State: open - Opened by akuhlens over 6 years ago

#44 - Type manipulation operations such as consistent? and join should be more logically located.

Issue - State: open - Opened by akuhlens over 6 years ago

#43 - AST should correlate each syntax node to a src location

Issue - State: open - Opened by akuhlens over 6 years ago

#42 - Language AST should only be parameterized by the parts that change.

Issue - State: open - Opened by akuhlens over 6 years ago

#41 - Add benchmarks to CI

Issue - State: open - Opened by deyaaeldeen over 6 years ago

#40 - Turn off the cast profiler by default

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#39 - fix for the function uses count in the cast profiler

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#38 - writing cast profiler results to disk

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#37 - Improve tuple cast with statically known types.

Issue - State: open - Opened by akuhlens over 6 years ago
Labels: enhancement

#36 - Ray benchmark output differs in floating point precision.

Issue - State: closed - Opened by akuhlens over 6 years ago - 1 comment

#35 - Benchmarks

Pull Request - State: closed - Opened by akuhlens over 6 years ago

#34 - Cleaning dead code

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#33 - Cast profiler

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#32 - type hashconsing stress test failing

Issue - State: closed - Opened by deyaaeldeen over 6 years ago
Labels: bug

#31 - Update the Ref coercion to store kind information

Pull Request - State: closed - Opened by deyaaeldeen over 6 years ago

#30 - Remove obselete forms

Pull Request - State: closed - Opened by deyaaeldeen about 7 years ago

#29 - Removing magic numbers from hashcons.c

Pull Request - State: closed - Opened by deyaaeldeen about 7 years ago - 1 comment

#28 - Rename to Grift

Pull Request - State: closed - Opened by deyaaeldeen about 7 years ago

#27 - fixing error in float specialization

Pull Request - State: closed - Opened by akuhlens about 7 years ago

#26 - Moving types tags to the heap

Pull Request - State: closed - Opened by deyaaeldeen about 7 years ago - 2 comments
Labels: do not merge yet

#25 - Update README.md

Pull Request - State: closed - Opened by pnwamk about 7 years ago

#24 - add support for reading/writing configuration in file

Pull Request - State: closed - Opened by akuhlens about 7 years ago

#23 - Fix emit src loc

Pull Request - State: closed - Opened by deyaaeldeen about 7 years ago

#22 - Modular benchmarks

Pull Request - State: closed - Opened by deyaaeldeen about 7 years ago - 3 comments
Labels: blocked

#21 - Fix monotonic

Pull Request - State: closed - Opened by deyaaeldeen about 7 years ago

#20 - Code coverage for test suite.

Issue - State: open - Opened by akuhlens about 7 years ago

#19 - Getting rid of many recursive functions

Pull Request - State: closed - Opened by deyaaeldeen about 7 years ago - 1 comment

#11 - Runtime cast profiler

Issue - State: closed - Opened by deyaaeldeen about 7 years ago
Labels: enhancement

#10 - Change name of schml to grift

Issue - State: closed - Opened by akuhlens over 7 years ago

GitHub / Gradual-Typing/Grift issues and pull requests