yapall
yapall copied to clipboard
A precise and scalable pointer analysis for LLVM, written in Ascent
Bumps [anyhow](https://github.com/dtolnay/anyhow) from 1.0.80 to 1.0.82. Release notes Sourced from anyhow's releases. 1.0.82 Documentation improvements 1.0.81 Make backtrace support available when using -Dwarnings (#354) Commits 074bdea Release 1.0.82 47a4fbf Merge...
Bumps [peaceiris/actions-gh-pages](https://github.com/peaceiris/actions-gh-pages) from 3 to 4. Release notes Sourced from peaceiris/actions-gh-pages's releases. actions-github-pages v4.0.0 See CHANGELOG.md for more details. actions-github-pages v3.9.3 See CHANGELOG.md for more details. actions-github-pages v3.9.2 See CHANGELOG.md...
Bumps [peaceiris/actions-mdbook](https://github.com/peaceiris/actions-mdbook) from 1 to 2. Release notes Sourced from peaceiris/actions-mdbook's releases. actions-mdbook v2.0.0 See CHANGELOG.md for more details. actions-mdbook v1.2.0 deps: bump node12 to node16 deps: bump @actions/core from...
Bumps [regex](https://github.com/rust-lang/regex) from 1.10.2 to 1.10.4. Changelog Sourced from regex's changelog. 1.10.3 (2024-01-21) This is a new patch release that fixes the feature configuration of optional dependencies, and fixes an...
Bumps [llvm-ir](https://github.com/cdisselkoen/llvm-ir) from 0.9.0 to 0.11.0. Commits 42dd506 prepare to release 0.11.0 ad75c10 support global ifuncs (#61) 58e5f42 remove support for LLVM 8 (#60) a624696 support for nuw, nsw, and...
Bumps [actions/upload-artifact](https://github.com/actions/upload-artifact) from 3 to 4. Release notes Sourced from actions/upload-artifact's releases. v4.0.0 What's Changed The release of upload-artifact@v4 and download-artifact@v4 are major changes to the backend architecture of Artifacts....
What are the intentions for supporting versions of rustc (i.e. what version range is intended)? I'm asking because the CI here uses `nixpkgs-unstable`, but I have another project which includes...
This test was used to demonstrate proper handling of the `undef` constant, but it no longer seems to generate one.
The irving_precision test is failing (see https://github.com/GaloisInc/yapall/actions/runs/6029699696/job/16359835202?pr=47#step:5:960). This is a specific instance of the general failures noted in #46.