Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / cognitive-engineering-lab/aquascope issues and pull requests

#56 - Search in TerminatorKind::DropAndReplace for source-visible places

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#54 - Improve standalone experience

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#53 - Currently doesn't seem to work at all?

Issue - State: closed - Opened by Hypometric over 1 year ago - 1 comment

#51 - Basic support for region flow permissions

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#50 - Add inline permissions to mdbook-aquascope

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#49 - Bug: String slices break the interpreter

Issue - State: closed - Opened by benjaminbauer over 1 year ago - 2 comments

#48 - Add more exhaustive checking for boundary place search

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#47 - Add memory / time limits for spawned containers.

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#46 - Questions in the demo example

Issue - State: closed - Opened by danielesk over 1 year ago - 3 comments

#45 - Move hacky webpage updates into main

Issue - State: closed - Opened by willcrichton over 1 year ago

#44 - Fix the build

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#43 - Update Flowistry version

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#41 - Interpreter arrows repositioning incorrectly on window resize

Issue - State: closed - Opened by willcrichton over 1 year ago - 1 comment

#39 - Meaning of the icons?

Issue - State: closed - Opened by FrancescoSaverioZuppichini over 1 year ago - 2 comments

#38 - Boundary bug fix

Pull Request - State: closed - Opened by gavinleroy over 1 year ago

#37 - Restore regex matching for stepper annotations

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#36 - Small fixes based on feedback on ownership chapter

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#35 - Feature Requestion: Improved visualization of missing permission errors

Issue - State: open - Opened by xldenis over 1 year ago - 2 comments
Labels: permissions

#34 - Fix cargo-make in CI. Add better title and favicon to standalone.

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#33 - Fix endpoint for bug reporting

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#31 - Fix range sorting in widget utility

Pull Request - State: closed - Opened by willcrichton over 1 year ago

#30 - Complete all outstanding pre-release tasks

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#29 - Long-term TODOs

Issue - State: closed - Opened by willcrichton almost 2 years ago - 1 comment

#28 - Pre-release TODOs

Issue - State: closed - Opened by willcrichton almost 2 years ago

#27 - Boundary upgrade (+ misc pre-release things)

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#26 - Handling partially moved Adts

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#25 - Add support for closures in the interpreter

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#24 - fields of a struct with dtor cannot be moved out of

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#23 - trying to fix puppeteer tests from flaking

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#22 - Error handling

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#21 - Various UI improvements

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#20 - Add caching to mdbook-aquascope

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#19 - Standalone

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#18 - Factor most of post-dominators logic out into flowistry

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#17 - Docsdocsdocs

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#16 - Add support for executing borrowck-unsafe code

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#15 - Stepper doesn't support plain loop expression

Issue - State: closed - Opened by gavinleroy almost 2 years ago - 1 comment

#14 - Updated Stepper

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#13 - First pass at removing the term receiver-types, and replacing it with…

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#11 - A form of integration tests

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#10 - Improve interpreter styling + handling of pointer ranges

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#9 - Path emphasis stuff

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#8 - Clean up interpreter module, add tests + documentation

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#7 - Add mdbook preprocessor, runtime visualizer

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#6 - Perm stacks on paths

Pull Request - State: closed - Opened by gavinleroy almost 2 years ago

#5 - Hide code in embedded editor

Issue - State: closed - Opened by gavinleroy almost 2 years ago
Labels: enhancement

#4 - Worklist Dec 2022

Issue - State: closed - Opened by gavinleroy almost 2 years ago

#3 - Some changes

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#2 - Refactor frontend into workspace, get working mdbook prototype

Pull Request - State: closed - Opened by willcrichton almost 2 years ago

#1 - Reposition icons, make aquascope_serve the default run binary

Pull Request - State: closed - Opened by willcrichton almost 2 years ago