Skip to content
Snippets Groups Projects
Select Git revision
  • CPP22_if_lifting
  • CPP22_main
  • master default protected
  • patched_for_velus
  • riscV-cmov
  • ssa
  • v3.9_kvx_fix1
  • csix-PhD
  • v3.9_kvx
  • submission_OOPSLA2021_AARCH64_KVX
  • submission_OOPSLA2021_RISCV
  • v3.8+ssa_aarch64_postpass
  • v3.8_aarch64_postpass
  • v3.8_kvx_instructions_fixed
  • v3.8_kvx
  • v3.8
  • PLDI_2021_before_anonymization
  • v3.7_mppa_2020-04-01
  • v3.7
  • v3.6_mppa_2019-09-20
  • v3.6
  • july2019
  • RTLblock_unbounded_blocks
  • v3.5_k1c_1.2
  • v3.5_k1c_1.1
  • v3.5_k1c_1.0
26 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.018May10220Apr1312429Mar2813121197629Feb272625242322201813107421Jan151427Nov2619Oct18171627Aug23222119181716141098531Jul3029281817161514522Jun2114138725May24231211820Apr19171614915Mar14131210928Nov1029Oct282724Sep211410842121Aug18414Jul8729Jun2826May23109852117Apr1310972130Mar29281312119873217Feb31Jan27251312816Dec19Nov181032130Oct2515Sep28Aug272621201817165325Jul155Jun17Apr29Mar282627Feb2629Jan117542131Dec30292127Sep11Aug9131Jul27258731May3019Apr171615131227Mar19428Jan2778Dec613Nov331Oct30271728Aug26654323Mar523Jan11Nov27Oct2623222019Sep181716118765417Jul1129Jun86526Apr9Mar16Feb109Hack with nxorUse freg <-> 2 ireg move instructions to fix up calling conventionscchecklink now reads segments instead of sectionsFixed float comparison in checklinkAdded small data area support to checklinkNew section mapping checks and symbol data lookupAdded long versions of Pbf and PbtAdded Pallocframe second formFaster ndxes_of_sym_nameConfiguration, build and install for cchecklink. Clean-ups in myocamlbuild.ml.Tracing each data chunk in debug modeAdded safety to potentially overflowing arithmeticsManual argument passing to checklink's makeCatch Integer_overflow during fuzz testingBetter error messages for data symbolsBetter fuzzing optionsNew Makefile for testing checklinkAdjustments to cchecklink's options and verbosityCleaning up checklinkFiner-grained exception catching during fuzzingSupport for fcmpzd instruction (float compare with +0.0)A file with the version numberchecklink: first import of Valentin Robert's validator for asm and linkmake clean must erase tools/ndfunMAJ docv1.10v1.10Option -randvol to expose randomization of volatiles in Interp.mlMinor updatesProof didn't go through for ARMAnother update from Andrew TolmachPrintCminor: printing SskipMerge of Andrew Tolmach's HASP-related changesCprint: export Cprint.attributesPowerPC: remove the fmadd and fmsub operators/Asm instructionsAdd -toolprefixUpdateRemove 'near-code' access mode, makes no sense in CompCertAdded command-line options -Wp,<opt> -Wa,<opt> -Wl,<opt>Problems with multiple declarations of publically-visible identifiersBetter printing of pointer values and of locations.'typeof' is not a keyword