Commits

Branch selector

 vr/cfg-comma-sep

User selector

All users

Datepicker

All time

Commit History

Commits on Nov 5, 2021

• add cfgCommaSep

  Ptival

  committed
  63ed9a9
  More actions

Commits on Oct 13, 2021

• add LLVM12 poison value (GaloisInc#88)

  Ptival

  authored
  3cf1539
  More actions

• Relax the Symbol requirement to ConstBlockAddr (GaloisInc#87)

  Ptival

  authored
  15bc003
  More actions

Commits on Oct 11, 2021

• support LLVM 11 IsDefault fields in metadata (GaloisInc#86)

  Ptival

  authored
  641ae93
  More actions

• Switch CI to github actions (GaloisInc#79)

  elliottt

  authored
  9eece27
  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 May 16, 2021

• More visibility and linkage (GaloisInc#78)

  noughtmare

  authored
  8456623
  More actions

Commits on Mar 16, 2021

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

  RyanGlScott

  authored
  1108dad
  More actions

Commits on Dec 21, 2020

• Merge pull request GaloisInc#75 from elliottt/at-llvm-11-12

  

  Aaron Tomb

  authored
  f5e0ff3
  More actions

Commits on Oct 23, 2020

• Add some new metadata fields for LLVM 11 & 12

  

  Aaron Tomb

  committed
  47a7346
  More actions

Commits on Aug 25, 2020

• Bump to 0.11.0 for release

  elliottt

  committed
  cf5c931
  More actions

Commits on Aug 18, 2020

• Use Word32 or Word64 in LLVM types instead of Int32. (GaloisInc#74)

  robdockins

  authored
  52d5d36
  More actions

Commits on Nov 12, 2019

• Fix typos in haddock documentation.

  

  Brian Huffman

  committed
  0a4a21c
  More actions

Commits on Nov 8, 2019

• Fix build with GHC 8.8.1

  

  Aaron Tomb

  authored and

  elliottt

  committed
  839cec7
  More actions

Commits on Sep 30, 2019

• Merge pull request GaloisInc#70 from elliottt/llvm89

  

  Aaron Tomb

  authored
  974dd5a
  More actions

Commits on Sep 27, 2019

• Actually parse METADATA_LABEL blocks

  

  Aaron Tomb

  committed
  0d341a9
  More actions

• Add pretty-printing for new metadata fields

  

  Aaron Tomb

  committed
  d800941
  More actions

• Add two fields introduced in LLVM 8 and 9

  

  Aaron Tomb

  committed
  d0574bb
  More actions

Commits on Jul 26, 2019

• Merge pull request GaloisInc#68 from elliottt/issue67

  

  brianhuffman

  authored
  86229ac
  More actions

• Allow quoted strings with hexadecimal escapes in identifiers.

  

  Brian Huffman

  committed
  47f1544
  More actions

Commits on Jul 23, 2019

• Add support for X86_fp80 (long double) 80-bit float type. (GaloisInc#65)

  

  kquick

  authored and

  langston-barrett

  committed
  3698e40
  More actions

Commits on May 15, 2019

• Merge pull request GaloisInc#64 from elliottt/th-generated-relabel

  glguy

  authored
  bd46364
  More actions

• Generate HasLabel instances with TH

  glguy

  committed
  2ca4c3e
  More actions

Commits on Jan 17, 2019

• Merge pull request GaloisInc#62 from siddharthist/metadata-namespace

  langston-barrett

  authored
  41d3850
  More actions

• Allow null names for DINameSpace

  langston-barrett

  committed
  4bfa3ac
  More actions

Commits on Jan 11, 2019

• Merge pull request GaloisInc#60 from robdockins/master

  langston-barrett

  authored
  4690fa1
  More actions

• bump minor version number

  robdockins

  committed
  c81df7f
  More actions

Commits on Jan 10, 2019

• Fix typo in data constructor

  robdockins

  committed
  3f5f07a
  More actions

Commits on Dec 13, 2018

• Merge pull request GaloisInc#59 from siddharthist/atomicrmw-2

  langston-barrett

  authored
  e05cf31
  More actions

• Fix double-printing of atomicrmw value, bump version 0.10.2

  langston-barrett

  committed
  860e64b
  More actions

• Merge pull request GaloisInc#58 from siddharthist/atomicrmw

  langston-barrett

  authored
  7e6fae4
  More actions

Pagination

PreviousNext