Ecosyste.ms: Issues

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

GitHub / GaloisInc/yapall issues and pull requests

#121 - build(deps): Bump peaceiris/actions-mdbook from 1 to 2

Pull Request - State: open - Opened by dependabot[bot] 10 months ago
Labels: infrastructure/build

#120 - build(deps): Bump peaceiris/actions-gh-pages from 3 to 4

Pull Request - State: open - Opened by dependabot[bot] 10 months ago
Labels: infrastructure/build

#119 - build(deps): Bump anyhow from 1.0.80 to 1.0.82

Pull Request - State: open - Opened by dependabot[bot] 10 months ago
Labels: infrastructure/build

#118 - build(deps): Bump either from 1.9.0 to 1.11.0

Pull Request - State: open - Opened by dependabot[bot] 10 months ago
Labels: infrastructure/build

#117 - build(deps): Bump llvm-ir from 0.9.0 to 0.11.0

Pull Request - State: open - Opened by dependabot[bot] 11 months ago
Labels: infrastructure/build

#116 - build(deps): Bump regex from 1.10.2 to 1.10.4

Pull Request - State: open - Opened by dependabot[bot] 11 months ago
Labels: infrastructure/build

#115 - build(deps): Bump either from 1.9.0 to 1.10.0

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 1 comment
Labels: infrastructure/build

#114 - build(deps): Bump dhat from 0.3.2 to 0.3.3

Pull Request - State: open - Opened by dependabot[bot] 11 months ago
Labels: infrastructure/build

#113 - build(deps): Bump anyhow from 1.0.80 to 1.0.81

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago - 1 comment
Labels: infrastructure/build

#112 - build(deps): Bump KyleMayes/install-llvm-action from 1 to 2

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: infrastructure/build

#111 - build(deps): Bump cachix/install-nix-action from 24 to 26

Pull Request - State: closed - Opened by dependabot[bot] 11 months ago
Labels: infrastructure/build

#110 - Fix unused import warning

Pull Request - State: closed - Opened by langston-barrett 12 months ago

#109 - build(deps): Bump clap from 4.4.10 to 4.5.1

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 3 comments
Labels: infrastructure/build

#108 - build(deps): Bump anyhow from 1.0.75 to 1.0.80

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 3 comments
Labels: infrastructure/build

#107 - build(deps): Bump serde_json from 1.0.108 to 1.0.114

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 3 comments
Labels: infrastructure/build

#106 - build(deps): Bump serde from 1.0.193 to 1.0.197

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 3 comments
Labels: infrastructure/build

#105 - build(deps): Bump thiserror from 1.0.50 to 1.0.57

Pull Request - State: closed - Opened by dependabot[bot] 12 months ago - 3 comments
Labels: infrastructure/build

#104 - build(deps): Bump cachix/cachix-action from 13 to 14

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 2 comments
Labels: infrastructure/build

#103 - build(deps): Bump Swatinem/rust-cache from 2.7.1 to 2.7.3

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 3 comments
Labels: infrastructure/build

#102 - build(deps): Bump styfle/cancel-workflow-action from 0.12.0 to 0.12.1

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#101 - build(deps): Bump cachix/install-nix-action from 24 to 25

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 2 comments
Labels: infrastructure/build

#100 - build(deps): Bump serde_json from 1.0.108 to 1.0.113

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#99 - build(deps): Bump clap from 4.4.10 to 4.4.18

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#98 - build(deps): Bump anyhow from 1.0.75 to 1.0.79

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#97 - build(deps): Bump thiserror from 1.0.50 to 1.0.56

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#96 - build(deps): Bump serde from 1.0.193 to 1.0.196

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#95 - build(deps): Bump serde_json from 1.0.108 to 1.0.109

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#94 - build(deps): Bump thiserror from 1.0.50 to 1.0.53

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#93 - build(deps): Bump clap from 4.4.10 to 4.4.12

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#92 - build(deps): Bump anyhow from 1.0.75 to 1.0.78

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#91 - build(deps): Bump actions/upload-artifact from 3 to 4

Pull Request - State: open - Opened by dependabot[bot] about 1 year ago
Labels: infrastructure/build

#90 - Disable clippy's never_loop lint in generated code

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

#89 - build(deps): Bump tracing-subscriber from 0.3.17 to 0.3.18

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#88 - build(deps): Bump triomphe from 0.1.9 to 0.1.11

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#87 - build(deps): Bump serde from 1.0.188 to 1.0.193

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#86 - build(deps): Bump clap from 4.4.7 to 4.4.10

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#85 - build(deps): Bump cachix/cachix-action from 12 to 13

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#84 - build(deps): Bump cachix/install-nix-action from 23 to 24

Pull Request - State: closed - Opened by dependabot[bot] about 1 year ago - 1 comment
Labels: infrastructure/build

#83 - rustc version support policy (MSRV)

Issue - State: open - Opened by kquick over 1 year ago - 1 comment

#82 - build(deps): Bump styfle/cancel-workflow-action from 0.11.0 to 0.12.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#81 - build(deps): Bump Swatinem/rust-cache from 2.7.0 to 2.7.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#80 - build(deps): Bump thiserror from 1.0.49 to 1.0.50

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#79 - build(deps): Bump regex from 1.9.6 to 1.10.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#78 - build(deps): Bump clap from 4.4.6 to 4.4.7

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#77 - build(deps): Bump serde_json from 1.0.107 to 1.0.108

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: infrastructure/build

#76 - build(deps): Bump tracing from 0.1.37 to 0.1.40

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#75 - v0.1.2

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

#74 - v0.1.1

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

#73 - v0.1.0

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

#72 - doc: Link to OOPSLA paper

Issue - State: open - Opened by langston-barrett over 1 year ago
Labels: doc

#71 - Simplify span duration layer

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

#70 - ci: Publish docs

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

#69 - build(deps): Bump actions/checkout from 3 to 4

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#68 - build(deps): Bump cachix/install-nix-action from 22 to 23

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#67 - build(deps): Bump Swatinem/rust-cache from 2.6.2 to 2.7.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: infrastructure/build

#66 - build(deps): Bump serde_json from 1.0.105 to 1.0.107

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#65 - build(deps): Bump thiserror from 1.0.47 to 1.0.49

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#64 - build(deps): Bump clap from 4.4.2 to 4.4.6

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#63 - build(deps): Bump regex from 1.9.4 to 1.9.6

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#62 - Add license to source code

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

#61 - Simplify span-duration-counting tracing layer

Issue - State: closed - Opened by langston-barrett over 1 year ago

#60 - Added distribution statement

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

#59 - build(deps): Bump clap from 4.4.1 to 4.4.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: infrastructure/build

#58 - build(deps): Bump criterion from 0.3.6 to 0.5.1

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 1 comment
Labels: infrastructure/build

#57 - build(deps): Bump Swatinem/rust-cache from 2.6.0 to 2.6.2

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago
Labels: infrastructure/build

#56 - ci: Test with `lit`

Pull Request - State: closed - Opened by langston-barrett over 1 year ago
Labels: infrastructure/ci

#55 - tests: Disable undef.c for now

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

#54 - tests: undef.c no longer produces an `undef` constant

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

#53 - ci: Run tests with `lit`

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: infrastructure/ci

#52 - nix: Run tests with `lit`

Issue - State: closed - Opened by langston-barrett over 1 year ago - 1 comment
Labels: infrastructure/nix

#51 - cargo: `cargo update`

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

#50 - ci: Run tests

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

#49 - Rust tests failing with LLVM version mismatch regarding opaque pointers

Issue - State: open - Opened by kquick over 1 year ago - 1 comment

#48 - irving_precision test failing

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

#47 - ci: Add workflow to build the Nix flake

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

#46 - nix: Fix tests in Nix flake

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

#45 - ci: Build Nix flake in CI

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: infrastructure/ci

#44 - Add flake to support building via nix.

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

#43 - doc: Building from source requires LLVM

Issue - State: closed - Opened by langston-barrett over 1 year ago - 11 comments

#42 - Model LLVM exception handling (for C++)

Issue - State: open - Opened by langston-barrett over 1 year ago
Labels: soundness

#41 - cargo: Update Ascent to v0.5.0

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

#40 - doc: Document installing from pre-built binaries

Pull Request - State: closed - Opened by langston-barrett over 1 year ago
Labels: doc

#39 - ci: Release workflow

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

#38 - cargo: `cargo update`

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

#37 - Compute byte offsets of GEPs

Issue - State: open - Opened by langston-barrett over 1 year ago
Labels: feat

#36 - Offset-based memory model

Issue - State: open - Opened by langston-barrett over 1 year ago
Labels: feat

#35 - Consider linking C++ programs against libc++ bitcode

Issue - State: open - Opened by langston-barrett over 1 year ago
Labels: feat

#34 - Model varargs

Issue - State: open - Opened by langston-barrett over 1 year ago
Labels: soundness

#33 - Investigate test `sig_arg_memcpy_arg_o0`

Issue - State: open - Opened by langston-barrett over 1 year ago
Labels: soundness

#32 - Investigate test `template_vec_o0`

Issue - State: open - Opened by langston-barrett over 1 year ago
Labels: soundness

#21 - build: Update dependencies

Issue - State: closed - Opened by langston-barrett over 1 year ago

#16 - admin: Publish v0.1

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: admin

#15 - doc: CHANGELOG

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: doc

#13 - build: Switch to a crates.io release of Ascent

Issue - State: closed - Opened by langston-barrett over 1 year ago - 1 comment
Labels: infrastructure/build

#10 - doc: Installation from pre-compiled binaries

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: doc

#9 - doc: Code of conduct

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: doc

#8 - doc: Section on contributing

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: doc

#7 - ci: Host docs on Github pages

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: infrastructure/ci

#5 - ci: Release workflow

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: infrastructure/ci

#4 - ci: Run tests

Issue - State: closed - Opened by langston-barrett over 1 year ago
Labels: infrastructure/ci