trailofbits/vast

Issues

• abi: Add abstraction over bit and byte sizes.

  #614 opened 5 days ago by lkorenc
  0

• Move special case of attribute name generation out of `DefaultVisitor`

  #613 opened 5 days ago by Jezurko
  0

• Requires further investigation

  #566 opened 2 months ago by Jezurko
  0

• Crash in codes with implicit declarations even with disabled warnings

  #560 opened 13 days ago by Jezurko
  0

• Vector extensions are not supported

  #570 opened 13 days ago by Jezurko
  0

• LLVM test suite fixes & upgrades

  #515 opened 4 months ago by Jezurko
  0

• Support for non-standard `int complex` type

  #597 opened 19 days ago by Jezurko
  1

• [Bug]: Symbol table lookup for incomplete RecordDecl might return TypeDef

  #608 opened 14 days ago by Jezurko
  0

• [Bug]: Lowering unions with array member.

  #503 opened 4 months ago by lkorenc
  1

• abi: Solidify arch-agnostic APIs.

  #606 opened 14 days ago by lkorenc
  0

• abi: Nested floating point types that are collapsed into vector type.

  #605 opened 14 days ago by lkorenc
  0

• Field access on typedef doesn't work

  #567 opened 17 days ago by Jezurko
  0

• Pointers from array decay can't be directly added to

  #565 opened 17 days ago by Jezurko
  0

• Subtraction on label pointers (?) doesn't work

  #569 opened 17 days ago by Jezurko
  0

• `hl.member` incorrectly creates an `lvalue` in some cases

  #564 opened 17 days ago by Jezurko
  0

• Dereference of inplace created structs fails to verify types

  #561 opened 17 days ago by Jezurko
  1

• Missing support for `_Complex`

  #562 opened 19 days ago by Jezurko
  0

• Aligned attribute throws away the attribute content

  #595 opened 19 days ago by Jezurko
  0

• [Bug]: Build error when installation path of LLVM matches prior installation path of VAST

  #592 opened a month ago by pgoodman
  0

• Function declaration without a prototype causes a crash

  #568 opened a month ago by Jezurko
  1

• Reorganize conversion tests.

  #589 opened a month ago by lkorenc
  0

• `hl` should use properties for attributes.

  #558 opened 2 months ago by lkorenc
  0

• Add resource dir and gcc toolchain to CE instance

  #501 opened 4 months ago by Jezurko
  0

• API to access dominated uses.

  #493 opened 4 months ago by xlauko
  0

• Deduplicate release CI builds

  #516 opened 4 months ago by Jezurko
  0

• Add option to stop pipeline at given pass.

  #530 opened 3 months ago by lkorenc
  0

• Re-enable LLVM IR target for SV-Comp benchmarks in CI

  #554 opened 2 months ago by Jezurko
  0

• `-vast-snapshot-at` should have an option to end after all passes are snapshotted.

  #583 opened a month ago by lkorenc
  0

• [Bug]: Assert due to invalid cast

  #579 opened a month ago by kumarak
  4

• Polybench benchmarks fail in test-suite even though they pass localy

  #574 opened 2 months ago by Jezurko
  0

• Unsupported builtins

  #573 opened 2 months ago by Jezurko
  0

• Unimplemented functions with NoDebug attribute

  #572 opened 2 months ago by Jezurko
  0

• constructor/destructor attributes not implemented

  #571 opened 2 months ago by Jezurko
  0

• Function declaration after definition throws an error about symbol with same mangled name already existing

  #563 opened 2 months ago by Jezurko
  0

• [Bug]: Parsing text input with `ll.func` fails on `Linkage` attr.

  #504 opened 2 months ago by lkorenc
  1

• abi: Model functions with many arguments (no longer passed by regs).

  #550 opened 2 months ago by lkorenc
  0

• abi: Classification of floating point types in structs/unions.

  #549 opened 2 months ago by lkorenc
  0

• Investigate support of pointer assignments

  #539 opened 3 months ago by xlauko
  0

• Implement prototype scope

  #535 opened 3 months ago by xlauko
  0

• Create differential scope testing tool

  #536 opened 3 months ago by xlauko
  0

• Make high-level types implement `desugar` method

  #534 opened 3 months ago by xlauko
  0

• Compile programs with printf

  #520 opened 3 months ago by xlauko
  0

• [Bug]: Using `mlir::cast` in predicates can lead to a crash.

  #528 opened 3 months ago by lkorenc
  0

• Make hl -> hlbi process address-taken builtin functions

  #525 opened 3 months ago by Jezurko
  0

• Templater scripts do not work with Python 3.10+

  #517 opened 3 months ago by Jezurko
  0

• [Bug]: DCE does not work on code with jumps

  #518 opened 3 months ago by xlauko
  0

• [Bug]: run examples failed

  #499 opened 4 months ago by liuhycs
  4

• Lower unions in the same style clang does.

  #500 opened 4 months ago by lkorenc
  0

• Do not use temporary function names when doing abi lowering.

  #496 opened 4 months ago by lkorenc
  1

• ABI Test-suite

  #495 opened 4 months ago by xlauko
  0