Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • 5ca1cc78bbd79419fbec39b4b8df051e16a22db0
  • master default protected
  • btypes-fixes
  • embedded-codegen
  • freetypes
  • rust-support
  • z3solver
7 results
Created with Raphaël 2.2.028May252423222112Mar10621Feb20171417Jan1514819Dec24Nov23131Oct302827262524222120191817161312111098765432129Sep28201824Aug2221191817169874Jul16May9825Apr2423222019181716151431Jan304Dec28Nov2221826Oct1754Aug3228Jul2721fix counter example computation/displaymastermasterTry to fix building of subpredicateFix errors in JavaTemplateTry to fix error in JavaTemplateImprove counter example messageFix identifier clash in computation of hashcode for C++Hopefully fix clash of identifiersRevert changeHopefully fix clash of variables in nested quantified constructsUpdate model checking time messagetest machinetry and improve rendering of counter example traceadd todosimprove user feedback about not enough predicatesadd source location for not supported operatorsset debug flag optionally from CPP command lineallow optional arguments in cpp model checkerimprove user feedback for wrong argumentsFix performance lack in C++ BRelationFix a performance lack in Java BRelationadd example benchmark filesMerge remote-tracking branch 'origin/master' into btypes-fixesbtypes-fixesbtypes-fixesMerge remote-tracking branch 'origin/master' into freetypesfreetypesfreetypesAdd first version to use Makefile for TypeScript/JavaScriptImprove copying Java and C++ files and increase template recursion depthMerge branch 'master' into btypes-fixesMerge remote-tracking branch 'origin/master' into freetypesFix lost type infoFix lost type infoMerge remote-tracking branch 'origin/master' into freetypesFix typoMerge remote-tracking branch 'origin/master' into freetypesfix some visitors not working with recordsadd build dir and generated json files to gitignoreadd missing range() to freetype constructor templatefix exception pathadd stub for freetype enumerationfix modelchecking generationadd missing build dir to gitignoreremove useless static