Programming Languages Research Group: Git

2007-09-23	Gordon Henriksen	Fix srcdir <> objdir builds with ocaml 2.10. Downrev...	commit \| commitdiff \| tree
2007-09-22	Gordon Henriksen	Regenerate.	commit \| commitdiff \| tree
2007-09-22	Gordon Henriksen	Fix for srcdir <> objdir builds.	commit \| commitdiff \| tree
2007-09-20	Gordon Henriksen	Regenerate.	commit \| commitdiff \| tree
2007-09-20	Gordon Henriksen	Incorporating review feedback for GC verifier patch.	commit \| commitdiff \| tree
2007-09-18	Gordon Henriksen	Tests of the ocaml (and thus C) bindings for constants.	commit \| commitdiff \| tree
2007-09-18	Gordon Henriksen	Adding ocaml language bindings for the vmcore and bitwriter...	commit \| commitdiff \| tree
2007-09-18	Gordon Henriksen	Regenerate.	commit \| commitdiff \| tree
2007-09-18	Gordon Henriksen	git-svn-id: https://llvm.org/svn/llvm-project/llvm...	commit \| commitdiff \| tree
2007-09-18	Gordon Henriksen	git-svn-id: https://llvm.org/svn/llvm-project/llvm...	commit \| commitdiff \| tree
2007-09-18	Gordon Henriksen	Incorporating review feedback for GC verifier patch.	commit \| commitdiff \| tree
2007-09-18	Gordon Henriksen	C bindings for libLLVMCore.a and libLLVMBitWriter.a.	commit \| commitdiff \| tree
2007-09-18	Gordon Henriksen	Fixing an comment in Module.h that refers to a nonexistent...	commit \| commitdiff \| tree
2007-09-17	Gordon Henriksen	Fix for PR1633: Verifier doesn't fully verify GC intrinsics	commit \| commitdiff \| tree
2007-09-17	Gordon Henriksen	Adding myself to credits.	commit \| commitdiff \| tree

C/C++ LLVM-based compilers that forbids OOTA behaviors