Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / wrsturgeon/inator issues and pull requests
#60 - Add `.envrc` for `direnv` magic
Pull Request -
State: closed - Opened by wrsturgeon about 1 year ago
#59 - Update automata theory in the README
Pull Request -
State: closed - Opened by wrsturgeon about 1 year ago
#59 - Update automata theory in the README
Pull Request -
State: closed - Opened by wrsturgeon about 1 year ago
#58 - Call operator with `^`
Pull Request -
State: closed - Opened by wrsturgeon about 1 year ago
#58 - Call operator with `^`
Pull Request -
State: closed - Opened by wrsturgeon about 1 year ago
#57 - Inductive call: another `Transition` instead of forcing a lateral move
Pull Request -
State: closed - Opened by wrsturgeon about 1 year ago
#57 - Inductive call: another `Transition` instead of forcing a lateral move
Pull Request -
State: closed - Opened by wrsturgeon about 1 year ago
#56 - Implement a Kleene-star operation
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#56 - Implement a Kleene-star operation
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#55 - Specify edge-case behavior
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#55 - Specify edge-case behavior
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#54 - Syntax for adding a fallback transition
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#54 - Syntax for adding a fallback transition
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#53 - Warn if a wildcard would erase a fallback
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#53 - Warn if a wildcard would erase a fallback
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#52 - Move fallback to `Curry::Scrutinize` to rule out a class of bugs
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#52 - Move fallback to `Curry::Scrutinize` to rule out a class of bugs
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#51 - Optional updates to allow an implicit polymorphic passthrough
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#51 - Optional updates to allow an implicit polymorphic passthrough
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#50 - Add open-close/push-pop semantics
Pull Request -
State: open - Opened by wrsturgeon over 1 year ago
#50 - Add open-close/push-pop semantics
Pull Request -
State: open - Opened by wrsturgeon over 1 year ago
#49 - Add an optional fallback transition to each state
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#49 - Add an optional fallback transition to each state
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#48 - Nest parsers in delimiting parsers (e.g. parentheses)
Pull Request -
State: open - Opened by wrsturgeon over 1 year ago
#48 - Nest parsers in delimiting parsers (e.g. parentheses)
Pull Request -
State: open - Opened by wrsturgeon over 1 year ago
#47 - Remove tags in favor of a Kleene-star operation
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#47 - Remove tags in favor of a Kleene-star operation
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#46 - Unobservable stack
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#46 - Unobservable stack
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#45 - Allow infix fixpoints (e.g. `a >> fixpoint("f") >> g`)
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#45 - Allow infix fixpoints (e.g. `a >> fixpoint("f") >> g`)
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#44 - Compute input type for `Graph`s
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#44 - Compute input type for `Graph`s
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#43 - Test 1/10 as many iterations to avoid taking 6 hours
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#43 - Test 1/10 as many iterations to avoid taking 6 hours
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#42 - Remove redundant sort
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#42 - Remove redundant sort
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#41 - Catch `unsafe`-related SIGSEGV
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#41 - Catch `unsafe`-related SIGSEGV
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#40 - Make `sort` an endofunctor; don't force nondeterminism
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#40 - Make `sort` an endofunctor; don't force nondeterminism
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#39 - Implement `fmt::Display` for `IllFormed<..>`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#39 - Implement `fmt::Display` for `IllFormed<..>`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#38 - Catch stack unwinding in tests
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#38 - Catch stack unwinding in tests
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#37 - Fix mistake in test setup
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#36 - Generalize deterministic automata back to nondeterministic as well
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#36 - Generalize deterministic automata back to nondeterministic as well
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#35 - Drop extremely difficult sorted-state guarantee
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#34 - Reorder CI to run Miri later
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#34 - Reorder CI to run Miri later
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#33 - Implement `ToSrc` for `Nondeterministic<..>`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#33 - Implement `ToSrc` for `Nondeterministic<..>`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#32 - Fix sorting errors
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#32 - Fix sorting errors
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#31 - Catch infinite recursion with a multithreaded stopwatch
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#31 - Catch infinite recursion with a multithreaded stopwatch
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#30 - Implement sequencing (parse B after A) with `>>`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#30 - Implement sequencing (parse B after A) with `>>`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#29 - Parse integers up to `usize::MAX`
Pull Request -
State: open - Opened by wrsturgeon over 1 year ago
#29 - Parse integers up to `usize::MAX`
Pull Request -
State: open - Opened by wrsturgeon over 1 year ago
#28 - Update automatically generated code
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#28 - Update automatically generated code
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#27 - Better Kleene-star testing
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#27 - Better Kleene-star testing
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#26 - Make non-accepting messages a set rather than a vector
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#25 - Allow the same tag on multiple states
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#24 - Rename `tag` to `tags`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#23 - Test `fixpoint`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#23 - Test `fixpoint`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#22 - Tracking issue: full JSON spec
Pull Request -
State: open - Opened by wrsturgeon over 1 year ago
#22 - Tracking issue: full JSON spec
Pull Request -
State: open - Opened by wrsturgeon over 1 year ago
#21 - Allow multiple error messages
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#20 - Force non-accepting states to yield an error message
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#19 - Smaller `Err` variant
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#18 - Add a sorting mechanism to keep states unambiguous
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#17 - Codegen fixes
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#16 - Force the JSON example to be correct eventually
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#16 - Force the JSON example to be correct eventually
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#15 - Allow states with different types in the same automaton
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#14 - Reduce tests to take <6h
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#13 - Allow multiple tags in nondeterministic automata (duh)
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#12 - Implement named fixpoints
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#11 - Tag states with optional names
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#10 - Comprehensive unit tests for the union operation
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#9 - Reduce property tests to avoid taking 6 hours
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#8 - Subset determinization
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#7 - Fix CI script
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#6 - Union (i.e. "or") on automata
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#5 - Matched-parens codegen working
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#4 - Fix branch detection in CI
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#3 - Different property-test counts for `dev`/`main`
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#2 - Fix codegen
Pull Request -
State: closed - Opened by wrsturgeon over 1 year ago
#1 - Remove UB from Lazy::PostponedReference
Pull Request -
State: closed - Opened by Seppel3210 over 1 year ago
- 3 comments