Commits

Branch selector

 master

User selector

RyanGlScott

Datepicker

All time

Commit History

Commits on Jan 30, 2024

• Merge pull request GaloisInc#134 from elliottt/0.12.0.0-release-prep

  RyanGlScott

  authored
  c441115
  More actions

• Bump development version to 0.12.0.0.99

  RyanGlScott

  committed
  e7b2bf1
  More actions

• Bump release version to 0.12.0.0

  RyanGlScott

  committed
  780e7c0
  More actions

• Add CHANGELOG.md and README.md files

  RyanGlScott

  committed
  005c0bb
  More actions

• Update maintainers

  RyanGlScott

  committed
  0a0ad84
  More actions

Commits on Jan 19, 2024

• Allow building with th-abstraction-0.6.*

  RyanGlScott

  committed
  38db5aa
  More actions

Commits on Dec 21, 2023

• Merge pull request GaloisInc#131 from elliottt/lpbp-T258

  RyanGlScott

  authored
  34cf64c
  More actions

Commits on Oct 3, 2023

• Bump llvmVlatest to 17

  RyanGlScott

  committed
  b36a2d7
  More actions

Commits on Sep 28, 2023

• Add DebugInfoAssignID (added in LLVM 17)

  RyanGlScott

  committed
  28a5b76
  More actions

Commits on Jun 26, 2023

• Allow building with th-abstraction-0.5.*

  RyanGlScott

  committed
  94e3848
  More actions

Commits on May 30, 2023

• Text.LLVM.AST: Add explicit export list

  RyanGlScott

  committed
  a454fcb
  More actions

• Define fixupOpaquePtrs function to support mixing opaque/non-opaque pointers

  RyanGlScott

  committed
  a7584df
  More actions

• Provide ability to check type equality modulo opaque pointers

  RyanGlScott

  committed
  f32f773
  More actions

• Store basis type separately in GEP/ConstGEP

  RyanGlScott

  committed
  16bc5bd
  More actions

• Store load type separately in Load

  RyanGlScott

  committed
  1c4b6de
  More actions

• Fix CallBr pretty-printing w.r.t. opaque pointers

  RyanGlScott

  committed
  7ec0fa2
  More actions

Commits on Apr 10, 2023

• Add support for btf_tag annotations

  RyanGlScott

  committed
  d099d5d
  More actions

• Add alignment to DILocalVariable

  RyanGlScott

  committed
  a7072bd
  More actions

Commits on Apr 3, 2023

• Handle function types correctly when pretty-printing call(br)

  RyanGlScott

  committed
  b13493f
  More actions

• Add PtrOpaque type

  RyanGlScott

  committed
  bada126
  More actions

Commits on Mar 27, 2023

• Whitespace only

  RyanGlScott

  committed
  6750fc2
  More actions

• Pretty-print all fields in DICompileUnit

  RyanGlScott

  committed
  ac78bb2
  More actions

• Make dicuRangesBaseAddress a Bool

  RyanGlScott

  committed
  7d2b4e2
  More actions

• Renamed dispVariables to dispRetainedNodes

  RyanGlScott

  committed
  d35ede8
  More actions

Commits on Mar 21, 2023

• Support DIArgLists (added in LLVM 13) (GaloisInc#103)

  RyanGlScott

  authored
  4318862
  More actions

Commits on Mar 14, 2022

• Fix a -Wnoncanonical-monoid-instances warning (GaloisInc#92)

  RyanGlScott

  authored
  34c95e7
  More actions

Commits on Dec 6, 2021

• Support structs with bitfields in Text.LLVM.DebugUtils (GaloisInc#90)

  RyanGlScott

  authored
  ed904c6
  More actions

Commits on Sep 13, 2021

• Add dict{Associated,Allocated,Rank} fields introduced in LLVM 12 (GaloisInc#83)

  RyanGlScott

  authored
  7ab7ac9
  More actions

• Sync DebugInfoEnumerator's definition with LLVM 12 (GaloisInc#84)

  RyanGlScott

  authored
  960f32c
  More actions

• Support freeze instruction (GaloisInc#85)

  RyanGlScott

  authored
  5a821ad
  More actions

Commits on Aug 31, 2021

• Define Lift instances for Ident, Symbol, PrimType, and FloatType (GaloisInc#82)

  RyanGlScott

  authored
  97fd46c
  More actions

Commits on Aug 22, 2021

• Support fneg instruction (GaloisInc#80)

  RyanGlScott

  authored
  226e752
  More actions

Commits on Mar 16, 2021

• Allow building with th-abstraction-0.4.* (GaloisInc#76)

  RyanGlScott

  authored
  1108dad
  More actions