Skip to content

Issues: racket/redex

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

43 Open 135 Closed
43 Open 135 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

Reduce space between rendered rules of a judgement form
#264 opened Jun 29, 2023 by o6po5fcs
3
Redex PDF output contains a wrong font, while Racket REPL renders the correct font
#263 opened Jun 28, 2023 by o6po5fcs
2
define-metafunction does not check type signature on LHS
#255 opened Apr 26, 2022 by digama0
3
Redex's reduction graph windows sneakily hide part of term reductions
#253 opened Apr 6, 2022 by jasonhemann
1
Generating random expressions sometimes results in an infinite loop
#248 opened Sep 17, 2021 by joshuaharry
stepper doesn't display whole term... unless I *narrow* its box?
#243 opened Jul 21, 2021 by wilbowma
test-->>∃ #:steps n passes test if n > than the number of actual reduction steps for a term.
#241 opened May 30, 2021 by xyzwwwww
4
Contract violation error in complicated binding forms
#233 opened Mar 3, 2021 by david-christiansen
2
define-term in pattern position
#215 opened Jan 20, 2020 by wilbowma
1
generate-term from reduction relation bypasses #:domain.
#214 opened Dec 19, 2019 by florence
Feature request: “shallow” version of compatible-closure-context
#209 opened Nov 10, 2019 by lexi-lambda
5
define-extended-language+ overriding a variable-not-otherwise-mentioned with a variable-not-in fails.
#208 opened Oct 21, 2019 by florence
redex-check doesn't bind patterns normally
#207 opened Oct 19, 2019 by florence
test-judgment-holds incorrectly blames sub-derivations from other judgments
#204 opened Oct 5, 2019 by wilbowma
1
@wilbowma
1
documentation: what are generation failures
#201 opened Oct 3, 2019 by wilbowma
@wilbowma
4
cross plus small grammar causes infinite loop in term generation
#200 opened Oct 1, 2019 by florence
Feature request: explicit derivations for moded judgments enhancement
#198 opened Oct 1, 2019 by wilbowma
@wilbowma
9
redex-check #:satsifying not self-consistent; related to binding?
#196 opened Sep 27, 2019 by wilbowma
@bfetscher
6
variable-not-in uses wrong prefix when prefix ends in a number
#194 opened Sep 26, 2019 by florence
1
where/error gives uninformative error message
#193 opened Sep 20, 2019 by florence
define-extended-judgment-form should replace rules with same name
#192 opened Aug 25, 2019 by dvanhorn
1
[feature request] Clarify when redex-check generation fails because #:prepare returns a bad term
#183 opened May 9, 2019 by florence
generate-term + missnamed cross gives an internal error message
#181 opened May 8, 2019 by florence
Doc prose for bind pattern in reduction relations
#180 opened Apr 18, 2019 by takikawa
where/error is not rendered
#179 opened Mar 26, 2019 by shhyou
ProTip! Mix and match filters to narrow down what you’re looking for.