Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mercurytechnologies/ghc-specter issues and pull requests
#100 - Hiding queue and modNameRef from function arguments
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#100 - Hiding queue and modNameRef from function arguments
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#99 - Build on GHC 9.4
Pull Request -
State: closed - Opened by wavewave over 2 years ago
- 2 comments
#99 - Build on GHC 9.4
Pull Request -
State: closed - Opened by wavewave over 2 years ago
- 2 comments
#98 - Race condition in initialization correctly handled
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#98 - Race condition in initialization correctly handled
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#97 - Source file load upfront in the beginning
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#97 - Source file load upfront in the beginning
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#96 - Buttons for commands from help box
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#96 - Buttons for commands from help box
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#95 - breakpoint before and after runMeta
Pull Request -
State: closed - Opened by wavewave over 2 years ago
- 1 comment
#95 - breakpoint before and after runMeta
Pull Request -
State: closed - Opened by wavewave over 2 years ago
- 1 comment
#94 - Tabbed Supplementary View interface
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#94 - Tabbed Supplementary View interface
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#93 - Command help box on console
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#93 - Command help box on console
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#92 - Show the current target TH expression and renamed results
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#92 - Show the current target TH expression and renamed results
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#91 - Place breakpoints at additional points using source plugins
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#91 - Place breakpoints at additional points using source plugins
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#90 - Show blocker graph
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#90 - Show blocker graph
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#89 - Show blocker modules in both up/downstream direction interactively in TimingView
Pull Request -
State: closed - Opened by wavewave over 2 years ago
- 1 comment
#89 - Show blocker modules in both up/downstream direction interactively in TimingView
Pull Request -
State: closed - Opened by wavewave over 2 years ago
- 1 comment
#88 - Freezing/Thawing timing flow
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#88 - Freezing/Thawing timing flow
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#87 - Cache timing table computation
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#87 - Cache timing table computation
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#86 - Scroll to the source location when printing core
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#86 - Scroll to the source location when printing core
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#85 - Send HIE information as early as typecheck plugin
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#85 - Send HIE information as early as typecheck plugin
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#84 - Goto-source from console
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#84 - Goto-source from console
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#83 - Module breakpoint
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#83 - Module breakpoint
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#82 - Refine Core presentation
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#82 - Refine Core presentation
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#81 - Generate button from the result of list-core
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#81 - Generate button from the result of list-core
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#80 - list-core command and print-core per var
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#80 - list-core command and print-core per var
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#79 - GHC session can be started as paused by config
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#79 - GHC session can be started as paused by config
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#78 - Handling curried application and recursive binding in Core visualization
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#78 - Handling curried application and recursive binding in Core visualization
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#77 - Implement Core visualizer in HTML
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#77 - Implement Core visualizer in HTML
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#76 - Bug fix in core2tree
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#76 - Bug fix in core2tree
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#75 - Send structural Core data, not pretty-printed text
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#75 - Send structural Core data, not pretty-printed text
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#74 - Scroll adjustment for modgraph
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#74 - Scroll adjustment for modgraph
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#73 - Automatic scroll-down console when new entry comes
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#73 - Automatic scroll-down console when new entry comes
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#72 - Breakpoint at Core2Core transformation
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#72 - Breakpoint at Core2Core transformation
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#71 - Further style adjustment
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#71 - Further style adjustment
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#70 - Further style adjustment
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#70 - Further style adjustment
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#69 - Return to plain custom CSS
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#69 - Return to plain custom CSS
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#68 - Interactive phase-specific command from the console
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#68 - Interactive phase-specific command from the console
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#67 - UI layout change with console
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#67 - UI layout change with console
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#66 - Console command for proceed to next breakpoint (:next)
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#66 - Console command for proceed to next breakpoint (:next)
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#65 - Console interface for inspecting a paused GHC session
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#65 - Console interface for inspecting a paused GHC session
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#64 - Multiple breakpoints and send back the info where the module compilations are paused
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#64 - Multiple breakpoints and send back the info where the module compilations are paused
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#63 - Retrieve module name from parsedResultAction plugin
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#63 - Retrieve module name from parsedResultAction plugin
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#62 - Introducing DriverId
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#62 - Introducing DriverId
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#61 - Outbound/Inbound channel module separation
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#61 - Outbound/Inbound channel module separation
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#60 - Unify plugin via driverPlugin
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#60 - Unify plugin via driverPlugin
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#59 - Driver module reorg and server session type
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#59 - Driver module reorg and server session type
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#58 - add web_port to config yaml
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#58 - add web_port to config yaml
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#57 - Show additional info about GHC Session
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#57 - Show additional info about GHC Session
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#56 - Bug fix at the start
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#56 - Bug fix at the start
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#55 - Serial work queue. Ctrl-C workaround
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#55 - Serial work queue. Ctrl-C workaround
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#54 - ghc-specter.yaml configuration by default
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#54 - ghc-specter.yaml configuration by default
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#53 - Render call graph
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#53 - Render call graph
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#52 - GraphLayout module reorganization
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#52 - GraphLayout module reorganization
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#51 - Call Graph data extraction from a single module
Pull Request -
State: closed - Opened by wavewave over 2 years ago
#51 - Call Graph data extraction from a single module
Pull Request -
State: closed - Opened by wavewave over 2 years ago