Skip to content
Snippets Groups Projects
Select Git revision
  • 2020-02-27_RELEASE
  • 2020-04-27_RELEASE
  • 2020-06-27_RELEASE
  • 2020-08-27_RELEASE_BRANCH
  • 2020-10-27_RELEASE_BRANCH
  • 2020-12-23_RELEASE_BRANCH
  • 2021-02-27_RELEASE_BRANCH
  • ACL2print
  • DCTDecode
  • act_rldstring_overflow_bug
  • eval1
  • fix-assertion-a-used-failed
  • fix-digit-pair-assert
  • lzw
  • master default protected
  • 2020-10-27_RELEASE
  • 2020-12-23_RELEASE
  • 2021-02-27_RELEASE
  • 2020-06-27_RELEASE
  • 2020-08-27_RELEASE
  • 2020-04-27_RELEASE
  • eval1_2020-03-09
  • pre-05-04-merge
23 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.026Feb19Jan1Oct28Sep31Jul302925Jun193122May208429Apr1513924Mar96527Feb2625212019181715141312111098654330Jan282420Dec3230Nov2928262524232221Fix segfault on dictionaries with odd lengthsfix-assertion-a…fix-assertion-a-used-failedFix erroneous assert that never workedfix-digit-pair-…fix-digit-pair-assertFix overflow in act_rldstringact_rldstring_o…act_rldstring_overflow_bug masterMerge branch 'denleylam/pdf-master'2020-10-27_RELE…2020-10-27_RELEASE 2020-12-23_RELEASE 2021-02-27_RELEASE 2020-10-27_RELEASE_BRANCH 2020-12-23_RELEASE_BRANCH 2021-02-27_RELEASE_BRANCHFix uninitialized variable for lzwspecWIP commit, declare ARULEs, add sof0 header length fieldDCTDecodeDCTDecodeWIP commit, rules for JPG structureWIP commit, more marker segmentsRemove "jpgmagic" from marker segment definitionsDCTDecode filter functionWIP commit, H_RULE()s for JPG formatinitialize result variables in act_hdigitpair()2020-06-27_RELE…2020-06-27_RELEASE 2020-08-27_RELEASE 2020-06-27_RELEASE 2020-08-27_RELEASE_BRANCHimprove overflow check in act_numb()Fix overflow issueMerge branch 'master' into 2020-06-27_RELEASERevert "Execute tests for should_fail directory"Execute tests for should_fail directoryMove test that's expected to failbetter detect missing newline before 'endstream'detect missing linefeed after 'stream' keywordcheck for integer overflowignore but log leading junk bytesAdding ACL2-compatible printingACL2printACL2printDocument changes to xref validationMark dead code for deletionRemove superfluous fprintfStyle fixMerge branch 'master' of gitlab.special-circumstanc.es:pesco/pdfMerge branch 'xref-crash-fix-issue-9'more TODOupdate todo listMerge branch '2020-04-27_RELEASE' into 'master'Add testcaseCrash fix for !9Fix tabs issue2020-04-27_RELE…2020-04-27_RELEASE 2020-04-27_RELEASEPhrasingTroubleshooting, interpreting test resultsFix indentation issuesNotes on branch usage re-addedFix stray whitespace