Skip to content
Snippets Groups Projects
Select Git revision
  • add-nginx
  • add-zlib
  • feature/new-cgc
  • feature/svcomp
  • ltest-experimental
  • master default protected
  • slow-remove-redundant-alarms
  • x509-parser-add-wp
8 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.026Jun2524232216151413310May622Apr2115132126Mar1415Feb1026Jan252120181014Dec1015Nov95Oct3Sep31Aug1022Jul1913625Jun242321161587219May1827Apr2616143Mar2125Feb221512113229Jan13123Dec2118Nov30Oct161529Sep843131Aug282524206439Jun29May185fix termination in eccmastermasterremove vprint error and correct acsladd initalizers to valueswrite acslfixing red alerts of analysisadd 20 Specificationsfix termination of prngfix non terminating loop in frama-c prngApply Anddre recomendationsremove journalmore unroll loop ACSLremove leftover conflictMerge branch 'master' of git.frama-c.com:contra-bit/open-source-case-studiesMerge branch 'feature/run'changes from upstreamMerge branch 'feature/loops'more loop annotationschanges from upstreamchanges from upstreamchanges from upstreamadd tinyDTLS licenseadd frama-c to the readmefix ifdefsWIP verifiaction of tinyDTLSMerge branch 'ci-split-tatks' into 'master'[miniz] update test oracles[ioccc] update test oraclessplit CI tests for better feedback and to avoid timeouts[chrony] remove a few alarms in regress[tweetnacl] improve analysis with loop unroll annotation[tweetnacl] remove obsolete annotations; replace with automatic optionWIP: add nginx (currently, parsing only)add-nginxadd-nginxfix show_stats.sh script[basic-cwe-examples] fix target name in makefilesynchronize with frama-c masterMerge branch 'add-pre-commit-hook' into 'master'add git pre-commit hook to prevent mistakes[c-testsuite] fix path.mkMerge branch 'fix/recursion' into 'master'Synchronizes with Frama-C master: updates logs.