Skip to content

Issues: philnguyen/soft-contract

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

49 Open 71 Closed
49 Open 71 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Soundness bug with for/and iteration
#130 opened Apr 22, 2023 by jryans
2
Some dependencies confuse module resolution
#129 opened Apr 22, 2023 by jryans
3
Arithmetic operators with zero and one arguments
#127 opened Apr 26, 2021 by camoy
get-struct-info error
#126 opened Apr 26, 2021 by camoy
number literal in for clause
#124 opened Oct 7, 2020 by camoy
2
case-> and fake-contract
#119 opened Jun 14, 2020 by camoy
dev-adi-thm vectorof
#112 opened Feb 7, 2020 by camoy
dev-adi-thm branch hangs on simple loop
#111 opened Feb 5, 2020 by camoy
match-define: no matching clause for '() on multiple arguments
#110 opened Jan 28, 2020 by LaifsV1
Documentation on defining contracts?
#109 opened Dec 27, 2019 by LaifsV1
exn:missing contract violation
#104 opened Nov 21, 2017 by bennn
Why is this curried function unsafe?
#103 opened Nov 20, 2017 by dvanhorn
3
Add support for (contract-out (rename ....))
#92 opened Jun 27, 2017 by bennn
(Typed Racket) -𝒾: contract violation blaming <pkgs>/soft-contract/parse/private.rkt
#90 opened Jun 5, 2017 by bennn
3
Parse error when specifying contracts on keyword arguments
#78 opened May 3, 2017 by rosekunkel
1
Parse error when creating classes
#77 opened Apr 26, 2017 by rosekunkel
1
Tracking issue for verifying the benchmarks in gradual-typing-performance
#75 opened Apr 26, 2017 by rosekunkel
14 of 48 tasks
3
Random seg faults
#69 opened Apr 20, 2017 by philnguyen
Manolios hash example
#51 opened Jan 27, 2015 by dvanhorn
@philnguyen
Pull examples from QuickCheck paper
#50 opened Jan 27, 2015 by dvanhorn
@philnguyen
stxobj branch breaks on Travis CI bug
#49 opened Jan 23, 2015 by dvanhorn
@philnguyen
Plan for random testing enhancement
#47 opened Jan 20, 2015 by dvanhorn Random testing
Write down thoughts on mutation
#45 opened Jan 20, 2015 by dvanhorn
Turn guide programs in to test cases
#44 opened Jan 20, 2015 by dvanhorn
Develop annotation syntax for impurity
#43 opened Jan 20, 2015 by dvanhorn
ProTip! What’s not been updated in a month: updated:<2024-12-06.