Skip to content
GitLab
Explore
Sign in
Sven M. Hallberg
hammer
Repository
Branches
Overview
Active
Stale
All
cxx
493dda1f
·
clang needed libprofile_rt.a
·
Sep 13, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
refactor-build
d4854a98
·
copy built lib to extension dir
·
Nov 22, 2013
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
c++
0b5ef1bc
·
Append '64' to libpath on non-Darwin platforms.
·
Mar 17, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
windows-vs2013
e72351b5
·
Merge pull request #22 from mrdomino/windows-vs2013-fix
·
Dec 16, 2014
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
old-valgrind-cleanup
499cb5d7
·
Merge pull request #38 from puellavulnerata/valgrind-cleanup
·
Jun 22, 2017
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
old-llvm-backend
2fc0a139
·
Merge remote-tracking branch 'remotes/upstream/llvm-backend' into old-llvm-backend
·
Oct 09, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
llvm-backend
3cbb4b95
·
Merge branch 'llvm-backend' into 'llvm-backend'
·
Nov 16, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
luajit-operator-overloading
d1a0944c
·
__pow not __exp
·
Nov 27, 2019
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
pdf
7d36b149
·
Merge branch '92-empty-follow-set' into pdf
·
Feb 21, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
ACL2print
e465788c
·
Updating pprint for ACL2 compatibility.
·
Jun 03, 2020
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
packrat-iterative-WIP
cfd44eee
·
style: rename setupLR to setup_lr
·
Sep 29, 2022
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar
master
default
protected
5b4ea546
·
Merge branch 'issue100' into 'master'
·
Feb 16, 2023
Select Archive Format
Download source code
zip
tar.gz
tar.bz2
tar