summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterdebian/changelog: Tag 2.4-1 for unstable releaseGravatar Benjamin Barenblat10 years
pristine-tarpristine-tar data for compcert_2.4.orig.tar.gzGravatar Benjamin Barenblat10 years
upstreamImported Upstream version 2.4Gravatar Benjamin Barenblat10 years
 
TagDownloadAuthorAge
upstream/2.4commit 2fce11525d...Gravatar Benjamin Barenblat10 years
 
AgeCommit messageAuthor
2015-02-05Imported Upstream version 2.4upstream/2.4upstreamGravatar Benjamin Barenblat
2014-09-17Trim blank linesGravatar xleroy
2014-09-17Update changelog and version for 2.4Gravatar xleroy
2014-09-17Tolerance in parsing of 'section' pragmaGravatar xleroy
2014-08-28Cold feet: suppress builtins for load with reservation/store conditional, use...Gravatar xleroy
2014-08-28UpdateGravatar xleroy
2014-08-27Update for 2.4Gravatar xleroy
2014-08-27Rename __builtin_cntlz to __builtin_clz.Gravatar xleroy
2014-08-27More efficient implementations of map, fold, etc.Gravatar xleroy
2014-08-25More careful detection of inlined builtins. Produces better error messages i...Gravatar xleroy
2014-08-21Use VFD regs to implement 64-bit mem-mem copies in builtin_memcpy_false.Gravatar xleroy
2014-08-21Support C99 compound literals (by expansion in Unblock pass).Gravatar xleroy
2014-08-20Follow-up to commit 2613Gravatar xleroy
2014-08-20Add builtins for load with reservation and conditional store.Gravatar xleroy
2014-08-20Wrong types for strex builtins.Gravatar xleroy
2014-08-20Better validation of target for ARMGravatar xleroy
[...]
 
Clone
https://git.benjamin.barenblat.name/debian-compcert.git
https://github.com/bbarenblat/debian-compcert.git
generated by cgit v1.2.3 (git 2.39.1) at 2024-11-21 12:21:53 +0000