GaloisInc/yapall

Issues

• rustc version support policy (MSRV)

  #83 opened a year ago by kquick
  1

• admin: Publish v0.1

  #16 opened a year ago by langston-barrett
  0

• doc: CHANGELOG

  #15 opened a year ago by langston-barrett
  0

• doc: Link to OOPSLA paper

  #72 opened a year ago by langston-barrett
  0

• Simplify span-duration-counting tracing layer

  #61 opened a year ago by langston-barrett
  0

• ci: Host docs on Github pages

  #7 opened a year ago by langston-barrett
  0

• ci: Run tests with `lit`

  #53 opened a year ago by langston-barrett
  0

• doc: Building from source requires LLVM

  #43 opened a year ago by langston-barrett
  11

• nix: Run tests with `lit`

  #52 opened a year ago by langston-barrett
  1

• ci: Build Nix flake in CI

  #45 opened a year ago by langston-barrett
  0

• tests: undef.c no longer produces an `undef` constant

  #54 opened a year ago by langston-barrett
  0

• irving_precision test failing

  #48 opened a year ago by kquick
  0

• nix: Fix tests in Nix flake

  #46 opened a year ago by langston-barrett
  1

• ci: Run tests

  #4 opened a year ago by langston-barrett
  0

• Rust tests failing with LLVM version mismatch regarding opaque pointers

  #49 opened a year ago by kquick
  1

• Model LLVM exception handling (for C++)

  #42 opened a year ago by langston-barrett
  0

• build: Switch to a crates.io release of Ascent

  #13 opened a year ago by langston-barrett
  1

• doc: Installation from pre-compiled binaries

  #10 opened a year ago by langston-barrett
  0

• doc: Code of conduct

  #9 opened a year ago by langston-barrett
  0

• ci: Release workflow

  #5 opened a year ago by langston-barrett
  0

• build: Update dependencies

  #21 opened a year ago by langston-barrett
  0

• Offset-based memory model

  #36 opened a year ago by langston-barrett
  0

• Compute byte offsets of GEPs

  #37 opened a year ago by langston-barrett
  0

• Consider linking C++ programs against libc++ bitcode

  #35 opened a year ago by langston-barrett
  0

• Model varargs

  #34 opened a year ago by langston-barrett
  0

• Investigate test `template_vec_o0`

  #32 opened a year ago by langston-barrett
  0

• Investigate test `sig_arg_memcpy_arg_o0`

  #33 opened a year ago by langston-barrett
  0

• doc: Section on contributing

  #8 opened a year ago by langston-barrett
  0

• doc: Installation from source from Github using `cargo`

  #11 opened a year ago by langston-barrett
  0

• ci: Run rustfmt, clippy

  #3 opened a year ago by langston-barrett
  0

• admin: Protect main branch

  #6 opened a year ago by langston-barrett
  0

• build: Switch to a Github release of llvm-ir

  #14 opened a year ago by langston-barrett
  0

• ci: Build

  #1 opened a year ago by langston-barrett
  0

• ci: Build docs

  #2 opened a year ago by langston-barrett
  0

• feat: Export results as CSV

  #17 opened a year ago by langston-barrett
  0

• doc: Describe signatures

  #12 opened a year ago by langston-barrett
  0