Commits

Commits on May 24, 2024

Update llvm-pretty submodule target (#1203 )
glguy
committedMay 24, 2024

Commits on Jul 19, 2021

When debug metadata doesn't match ignore it (#776 )
glguy
committedJul 19, 2021

Commits on Jul 16, 2021

Merge pull request #770 from GaloisInc/em/llvm-debug-statements
glguy
committedJul 16, 2021

Commits on Jul 9, 2021

Be verbose when scalar doesn't match expectations
glguy
committedJul 9, 2021
Show what we got when expectations are unmet
glguy
committedJul 9, 2021

Commits on Jul 7, 2021

crucible-llvm: Add llvm debug statements
glguy
committedJul 7, 2021

Commits on Mar 16, 2021

Merge pull request #667 from GaloisInc/em/pretty-app-llvmstmt-ptrle
glguy
committedMar 16, 2021

Commits on Mar 12, 2021

Fix PrettyApp LLVMStmt instance for LLVM_PtrLe
glguy
committedMar 12, 2021

Commits on Oct 25, 2017

Expose raw predicate for disjoint regions
glguy
committedOct 25, 2017

Commits on Jul 25, 2017

Merge branch 'master' of https://github.com/GaloisInc/crucible
glguy
committedJul 25, 2017
Move field names back out of FieldInfo
glguy
committedJul 25, 2017

Commits on Jul 21, 2017

Remove field names from consideration in equality
glguy
committedJul 21, 2017
crucible-llvm: propagate field names through nested aliases
glguy
committedJul 21, 2017
crucible-llvm: use debug info to populate struct fields
glguy
committedJul 21, 2017

Commits on Jul 20, 2017

Add support for tracking struct field names to FieldInfo
glguy
committedJul 20, 2017

Commits on Jun 9, 2017

Allow th-abstraction-0.2.0.0
glguy
committedJun 9, 2017

Commits on Jun 7, 2017

Add readGlobals and writeGlobals
glguy
committedJun 7, 2017
Expose failure due to unassigned read
glguy
committedJun 7, 2017
Factor loadRawWithCondition out of loadRaw
glguy
committedJun 7, 2017

Commits on Apr 28, 2017

Update now that parameterized-utils uses th-abstraction
glguy
committedApr 28, 2017

Commits on Apr 5, 2017

Fix IntToPtr and PtrToInt issue where pointers were being matched with the wrong TypeRepr
glguy
committedApr 5, 2017
Make use of LLVMPointerRepr pattern in Translation
glguy
committedApr 5, 2017
Add pattern synonym for LLVMPointerRep
glguy
committedApr 5, 2017

Commits on Apr 3, 2017

Add a generalization of assertDisjointRegions
glguy
committedApr 3, 2017

Commits on Feb 14, 2017

Update travis to build on lts-8.0
glguy
committedFeb 14, 2017

Commits on Feb 7, 2017

Updates to build on GHC 8
glguy
committedFeb 7, 2017
Add stack file for travis with blt disabled
glguy
committedFeb 7, 2017

Commits on Feb 2, 2017

Use the existing GITHUB_URL variable in the script
glguy
committedFeb 2, 2017
Make GITHUB_URL overridable
glguy
committedFeb 2, 2017