Ecosyste.ms: Issues

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

GitHub / team-checkr/checkr issues and pull requests

#55 - Make it more clear that you are viewing the reference implementation

Issue - State: open - Opened by oeb25 8 months ago
Labels: enhancement

#54 - Windows Canonicalize Fix

Pull Request - State: closed - Opened by martin045k 9 months ago

#53 - Update canonicalize usage

Pull Request - State: closed - Opened by martin045k 9 months ago - 1 comment

#52 - Debug build issues on Windows

Issue - State: open - Opened by oeb25 10 months ago
Labels: bug

#51 - Version 3

Pull Request - State: open - Opened by oeb25 10 months ago

#50 - Implement PV, and algorithm for generating pre-con

Pull Request - State: open - Opened by bajers12 about 1 year ago

#49 - Modular layout initiative

Pull Request - State: open - Opened by oeb25 about 1 year ago

#48 - Dir path bug

Pull Request - State: open - Opened by martin045k about 1 year ago

#47 - Update cargo-dist 0.2

Pull Request - State: closed - Opened by oeb25 about 1 year ago

#46 - chore: Update dependencies

Pull Request - State: closed - Opened by oeb25 about 1 year ago

#45 - Loops in Program Verificaiton

Issue - State: open - Opened by albertolluch over 1 year ago
Labels: student project idea

#44 - Program Graph Isomorphism

Issue - State: open - Opened by albertolluch over 1 year ago
Labels: student project idea

#43 - Timeout child processes are not killed

Issue - State: open - Opened by oeb25 over 1 year ago
Labels: bug

#40 - fix: Canonicalize relative paths before giving them to `Command`

Pull Request - State: open - Opened by oeb25 over 1 year ago

#39 - Non Deterministic Graph to Deterministic Graph

Pull Request - State: closed - Opened by martin045k over 1 year ago - 3 comments

#38 - Specifying directory path in Inspectify

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

#37 - Specifying directory path in Inspectify

Issue - State: open - Opened by martin045k over 1 year ago - 5 comments
Labels: bug

#36 - Problem with custom fresh variable name start by _f in task 4

Issue - State: closed - Opened by SUIFENGSK over 1 year ago - 2 comments
Labels: bug

#35 - Or and And in LogicOp

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

#34 - IO and `programs.toml` refactor

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

#33 - Unary minus refactor

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

#32 - Make unary minus checked

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

#31 - Overflow handling for unary minus

Issue - State: closed - Opened by martin045k over 1 year ago - 1 comment
Labels: bug

#30 - Power associativity

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

#29 - Operator Associativity in Inspectify

Issue - State: closed - Opened by martin045k over 1 year ago - 1 comment
Labels: bug

#28 - Node ordering in inspectify should be consistent

Issue - State: closed - Opened by oeb25 over 1 year ago
Labels: enhancement

#27 - When checko fails to push results for one repo, the whole pushing process stops

Issue - State: closed - Opened by albertolluch over 1 year ago - 4 comments
Labels: bug

#26 - Checko fails when checking out `results` branch

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

#25 - Create results branch if it does not exists in `checko push-results-to-repos`

Issue - State: closed - Opened by oeb25 over 1 year ago - 1 comment
Labels: bug

#24 - num_shown should not be hard coded to 2 :)

Issue - State: closed - Opened by albertolluch over 1 year ago - 1 comment
Labels: enhancement

#22 - Trace Length not respected in Inspectify

Issue - State: closed - Opened by alessionossa over 1 year ago - 2 comments
Labels: bug

#21 - Bug in sign analysis?

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

#20 - Enhancement: use arbitrary size integers

Issue - State: open - Opened by albertolluch over 1 year ago - 3 comments
Labels: enhancement, wontfix

#18 - Support debugging graph output in Inspectify

Issue - State: open - Opened by oeb25 over 1 year ago - 1 comment
Labels: enhancement

#17 - Inspectify Conversion of Non-Deterministic Graph to Deterministic Graph

Issue - State: closed - Opened by martin045k over 1 year ago - 2 comments
Labels: enhancement, help wanted, good first issue

#16 - Do not crash when output is malformed

Issue - State: closed - Opened by oeb25 over 1 year ago - 1 comment
Labels: bug

#15 - Remove `box_syntax` and perhaps `box_patterns`

Issue - State: closed - Opened by oeb25 over 1 year ago - 1 comment
Labels: bug

#14 - Update input/output format to be of new shape

Issue - State: closed - Opened by oeb25 over 1 year ago
Labels: enhancement

#13 - & and && are formatted incorrectly

Issue - State: closed - Opened by jonas-fo over 1 year ago - 1 comment
Labels: bug

#12 - Add ignore option to `run.toml`

Issue - State: closed - Opened by oeb25 over 1 year ago
Labels: enhancement

#11 - `skip ;` is not a valid GCL program

Issue - State: closed - Opened by albertolluch over 1 year ago - 1 comment
Labels: bug

#10 - Feature request: export of PGs in dot format in inspectify

Issue - State: closed - Opened by albertolluch over 1 year ago - 3 comments
Labels: enhancement

#9 - Feature request: Simultaneous display of program graphs

Issue - State: closed - Opened by albertolluch over 1 year ago - 2 comments
Labels: enhancement

#8 - Feature request: Inspectify just-parse option

Issue - State: closed - Opened by albertolluch over 1 year ago - 4 comments
Labels: enhancement

#7 - Cleanup the Justfile

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

#6 - Project is not recompiled on changes

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

#5 - Build checko Docker image in CI

Issue - State: closed - Opened by oeb25 almost 2 years ago - 2 comments
Labels: wontfix

#4 - Create a website to interact with inspectify without having to start a local server

Issue - State: open - Opened by oeb25 almost 2 years ago
Labels: enhancement

#3 - Separate input generation from output generation in inspectify

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

#2 - Setup starter repo for F#

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

#1 - Add binaries for inspectify to a new branch in CI

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