Skip to content
Snippets Groups Projects
Select Git revision
  • T1
  • T2
  • T3
  • cross
  • fix-mulmayoflo
  • float
  • i386
  • master default protected
  • upstream-testing
  • wip/T13
  • wip/ccall-expr
  • wip/hedgehog
  • wip/iterations
  • wip/mulmayoflo
  • wip/supersven/float_continued_ccall
  • wip/supersven/float_separated_expr_type
  • wip/update-docker
17 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.012Mar5417Feb22Jan17Dec18Jul120Jun1814Jan1114Dec17Nov65229Oct27261114Aug3131Jul191312530Jun262330Nov292822Jun1524May24Jan2330Nov29262010987654Port to Hedgehogwip/hedgehogwip/hedgehoggitlab-ci: Use reasonable number of quickcheck testsmaster upstream…master upstream-testingAdd Note summarizing tests and their motivationsRunGhc: Write buffer file in temporary directoryexpr: Introduce isDefinedexpr: Reenable generation of EShra nodesexpr: Only check for overflowing division if signedExpr: Ensure that shrinking division doesn't underflowgitlab-ci: Update DOCKER_REVwip/update-dockerwip/update-dockerSimplify mul2 reference implementationwip/T13wip/T13CallishOp: Test Op_Mul2 correctnessCallishOp: Add support for non-unary resultsNumber: Introduce boundsrun-it: Don't hack Trampoline.cmm into linkMigrate to debian12 for CIAvoid generating expressions with undefined behaviour.More informative message if the compiler dies.Test bswap callish opConsider load size when generating loads.Differ between effective and absolute equivalencewip/supersven/f…wip/supersven/float_separated_expr_typeAdd a debugging function to evaluate all sub-expressionsCommon error message for invalid float widthsFloating point C-Call (calling convention) testsReduce error message duplicationUse type level constraintsUpgrade GHC version in CIFix division overflow checkUpdate README.mkd TODO listUse floats in parsing roundtrip testAdd floating point to floating point conversionAdd floating point expressions (and tests)Add self-test to mainFix parsing roundtrip testwip/supersven/f…wip/supersven/float_continued_ccallAdd floating point to floating point conversionUse Union in C to access fp registers as wordsWIP: CCall works a bitFix MulMayOverflow and CCall tests for 64bit on 32bit.Fix division overflow checkUpgrade GHC version in CIRemove approxAgree