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.022Apr212014826Mar2523222018171614121110943124Feb1512104229Jan11987531Dec302921201824Nov12314Oct8622Aug171062128Jul23141312111096543130Jun292894131May3029262422211810220Apr1312429Mar2813121197629Feb272625242322201813107421Jan151427Nov2619Oct18171627Aug23222119181716141098531Jul3029281817161514522Jun2114138725May24231211820Apr19171614915Mar14131210928Nov1029Oct282724Sep211410842121Aug18414Jul8729Jun2826May23109852117Apr1310972130Mar29281312119873217Feb31Jan27251312816Dec19Nov181032130Oct2515Sep28Aug272621201817165325Jul155Jun17Apr29Mar282627Feb2629Jan117542131Dec30292127Sep11Aug9131Jul27258731May3019Apr171615131227Mar19428Jan2778Dec613Nov331Oct30271728Aug26654323Mar523Jan11Nov27Oct2623222019Sep181716118765417Jul1129Jun86526Apr9Mar16Feb109Results for ARMLabeled statements inside switch were incorrectly processed.Deactivate combination Aindexed 0 / Oadd, as it causes problems with chunk = Mint64.Fixes in PowerPC portAdd __builtin_bswap16 and __builtin_bswap32 to all ports.Rename arm/linux into arm/eabi, more descriptive.Split arch/int64.s into one file per function.Configuring the assembler used for the runtime libRemove __i64_{neg,add,sub,mul}, now handled directly by the compiler.Added FFTW benchmark provided by Guillaume MelquiondTests "floats" and "floats-basics" moved from test/c to test/regressionInterp.ml: support printf of long longBig merge of the newregalloc-int64 branch. Lots of changes in two directions:Updated issues with coqchk. See PR#3026 on the Coq bug tracker.List.iteri not in OCaml < 4.00, better not use it.UpdatedError when calling un-prototyped function.Better locations for error messages relative to type specifiers.Watch out for behaviors exponential in the nesting of struct/union types. RTLtyping: now performed entirely in Coq, no need for an external Caml oracle + a validator.Update clightgen to changes in Camlcoq and in AST.Diab asm syntax issueFor Pfreeframe, generate an "addi" over GPR1 when possible, to work around a limitation in the a3 analyzers.Remove the C primitives for unsigned long long arithmetic, replacedMore aggressive CSE across Ibuiltin.Assorted changes to reduce stack and heap requirements when compiling very big functions.Machsem: no longer useful.Bind some local defs with Let, makes extracted code cleanerv1.13v1.13Maps: revised TREE interface; added mucho derived properties and operations in Tree_Properties.Suppress int64_unsigned_to_float, now unused.More updates for 1.13Fixed parsing of hex float literals 0xNNNpMMM.Updated for version 1.13Updating doc for 1.13Useless ImportGlasnost: making transparent a number of definitions that were opaqueAssorted cleanups, esp. to avoid generating _rec and _rect recursors in Improving the performance of exhaustive exploration (mode -all):Finished backtracking (cf previous commit) for ARM and PowerPC.Partial backtracking on previous commit: the "hole in Mach stack frame"