@name cbmc-6.7.1
@version 11
@comment pkgpath=devel/cbmc ftp=yes
@arch i386
+DESC
@sha Wtjgso1FTkNneSqlqx6SDUGUXqHj7WY+dniD68a6b+I=
@size 1147
@wantlib c++.12.0
@wantlib c++abi.9.0
@wantlib c.103.0
@wantlib m.10.1
@wantlib pthread.28.1
@cwd /usr/local
@bin bin/cbmc
@sha H9WTHjnkwiikEHfwGxHUI0fAey+IModj0CzfYAJ0nkU=
@size 11404516
@ts 1776228027
@bin bin/crangler
@sha 5bRmwd3sgY6/bJeAQ1MeDpa0fxZWm4o4lRceV6vCgOg=
@size 1650200
@ts 1776228027
@bin bin/goto-analyzer
@sha zkFvezgpJsSL6uGn0rnRIgDQrdGN+wZ4wsNcWYxUQ58=
@size 7712828
@ts 1776228028
@bin bin/goto-cc
@sha lWkMA5oodCJw9UolJgzFwTvexzvKGfhOT9PooWTG73M=
@size 5613972
@ts 1776228028
@bin bin/goto-diff
@sha fxZxN1q/xkdbT6nN9zlDFredtGvR/83N7ZgaBxVcOZM=
@size 6810928
@ts 1776228029
@bin bin/goto-harness
@sha aGI1Ww8qfKu2YYeF5Fg0QBy1R8rDiLaJRkZGSizc8Qo=
@size 3269884
@ts 1776228029
@bin bin/goto-inspect
@sha ITkqJ3FqYKRVSZLOaM11eGftT+8TO6g7ISdJS2qcTxY=
@size 1931232
@ts 1776228029
@bin bin/goto-instrument
@sha 9ljHd/CF3yBxwJOO01y3BFA+pvm07fZ9nj+01PbDAnw=
@size 11501480
@ts 1776228030
@bin bin/goto-synthesizer
@sha oavO17T6FaRufKEHPdarnjXjcTBj406q0dfF1xua9Ag=
@size 11226816
@ts 1776228030
@man man/man1/cbmc.1
@sha 5gvjzmDLnAo9v4aQsZMw7FRAmVE2UHNIJfQ4a1EEupw=
@size 17889
@ts 1776228027
@man man/man1/crangler.1
@sha 6LLKU+uMUNIesptybjUn7tZJvVE96o9JdS0OBycTZ0I=
@size 1823
@ts 1776228027
@man man/man1/goto-analyzer.1
@sha XrTBR6Vc7D8w3cFAv+IgxsjPvWZjNb/8ybDNTp+prQw=
@size 28318
@ts 1776228028
@man man/man1/goto-cc.1
@sha J+1YvmbujLxnHroJb6RDJjFb3kx31Te+JuHud79Jvd8=
@size 3959
@ts 1776228028
@man man/man1/goto-diff.1
@sha swtbYPp63xs4LIlUh1xtKYwO9VMH4ga8OZdrHhMtSOk=
@size 3688
@ts 1776228029
@man man/man1/goto-harness.1
@sha +lOqOCWGo5gY9WoVPEiWgufoUDGHyy2GdE8N91tD1EU=
@size 5466
@ts 1776228029
@man man/man1/goto-inspect.1
@sha jn6ksN+Ro8mdSP2x5aInHgSYN8wvqMxaDShImlJP2W4=
@size 977
@ts 1776228029
@man man/man1/goto-instrument.1
@sha 5vkDYaPEqn0p7uJMciH2PUiAzLzzfnVNckn+w6Dx5PY=
@size 32613
@ts 1776228030
@man man/man1/goto-synthesizer.1
@sha rfdILHaLfhP+cs/1gpk1C5Uba2xEql+8IXfX12ZkZuU=
@size 3600
@ts 1776228030
share/doc/cbmc/
share/doc/cbmc/ADR/
share/doc/cbmc/ADR/README.md
@sha rAwKJImUC6ZgIx7NrDiVPWn08oEOIJcp4uD7RgVF0aY=
@size 510
@ts 1776228030
share/doc/cbmc/ADR/cpp_api_modularisation.md
@sha 5fMGMCBzoi9wp8nX64D9sP0Pimbr1SD5T7DrZExL860=
@size 6220
@ts 1776228030
share/doc/cbmc/ADR/homebrew_tap.md
@sha nodY0eYjW4f6vNPYeOxlntkgkeYQsP0a53V/u2lzQyY=
@size 3327
@ts 1776228030
share/doc/cbmc/ADR/release_process.md
@sha ZlW8EBRzlFlnEXppJLW63KZVqfbhIDhMTIed7c8f8FI=
@size 5999
@ts 1776228031
share/doc/cbmc/ADR/symex_ready_goto.md
@sha ukR6+pMA/VZJaDxm7zgYqBkB6GNxShraYtF86e3ns+c=
@size 929
@ts 1776228031
share/doc/cbmc/API/
share/doc/cbmc/API/README.md
@sha 85t5iCPEcq/EOJINGYdb3dxL4Bl2kxpe6zm7//3z4R4=
@size 40
@ts 1776228031
share/doc/cbmc/API/util/
share/doc/cbmc/API/util/piped_process.md
@sha rZWWjL/HICMr6TFH5kFWOJoemT1ruJaJ+sRGpER0XuU=
@size 1555
@ts 1776228031
share/doc/cbmc/C/
share/doc/cbmc/C/c11-undefined-behavior.html
@sha BwJHU8nO2xn3rMd46I3axk2TtERgIE/1y5QEnYnDIgI=
@size 42478
@ts 1776228031
share/doc/cbmc/C/n1570-j-2.txt
@sha ZZeh6QScAVd4fC1mL94a7eOpvwuq6G+oQ/s5Q5tveRM=
@size 32387
@ts 1776228031
share/doc/cbmc/CPPLINT.cfg
@sha iOXfVd+9kE+a4pg0mlEV68+i6m4qT6qFD+d4r685Iig=
@size 17
@ts 1776228031
share/doc/cbmc/architectural/
share/doc/cbmc/architectural/background-concepts.md
@sha aC/fP/TV8i3hKTGFBuxVNY4pLyvTzo4DVJKoMQgy9Fk=
@size 62932
@ts 1776228031
share/doc/cbmc/architectural/cbmc-architecture.md
@sha +31x8Q9P00NfEVsYdYCWlyaDmNwgqEtM+1Sllh3ii2I=
@size 3235
@ts 1776228031
share/doc/cbmc/architectural/central-data-structures.md
@sha 2chE+aRsBJp6HzvLMeBdHnrN0k7TGJCl1yVF/fngZgs=
@size 7522
@ts 1776228031
share/doc/cbmc/architectural/code-walkthrough.md
@sha i9XDgmXlz1gKllK+NaYKT09siaHLg8Eun8Pqn+8YP6s=
@size 1357
@ts 1776228031
share/doc/cbmc/architectural/compilation-and-development.md
@sha Wryg83xgpmjszB8MhXjZ7P/dubMmJD/wHAdIUqTJ1EQ=
@size 14663
@ts 1776228031
share/doc/cbmc/architectural/folder-walkthrough.md
@sha r3gQB2ijXPKY4lN6VvBehs8szKLssGPwKu5kpVzpRU8=
@size 5262
@ts 1776228031
share/doc/cbmc/architectural/front-page.md
@sha 5snQ21/JOMTaEg2fx/Ic6oLQVoih+A88lz0beB4ehaM=
@size 3744
@ts 1776228031
share/doc/cbmc/architectural/goto-program-transformations.md
@sha dmWM47kJjAFtkJCvY7CGRX+c0NHDtVvT9mXdXX43vcQ=
@size 13095
@ts 1776228031
share/doc/cbmc/architectural/howto.md
@sha g6e/6PCO4FVEXF/gOOz2ZyRYxRmoSfvs7yTmk/Tqsv8=
@size 8939
@ts 1776228031
share/doc/cbmc/architectural/memory-bounds-checking.md
@sha iMF3vfTEDvjrWvcRjmTWJoFyvbIqgA86S9xuZCkZpPU=
@size 2816
@ts 1776228031
share/doc/cbmc/architectural/other-tools.md
@sha M6G2hyHGKHFsgrJeQXUkrwvrwUu+uOAYYezC0vwMs+I=
@size 2801
@ts 1776228031
share/doc/cbmc/architectural/symex-instructions.md
@sha DVLkjbQ+olLJyZjqNZZtPcXLURsiyCN32GgEXQMJho4=
@size 5271
@ts 1776228031
share/doc/cbmc/assets/
share/doc/cbmc/assets/GetLink.png
@sha UAovygdfLnUzpvVNRGT15Gp6nRBYsAA4YwY12MH2kj0=
@size 298133
@ts 1776228031
share/doc/cbmc/assets/README.md
@sha DnHMUoniLLiWgDXC83wwNBEd6EmNNObqwJ2KtL99dvg=
@size 691
@ts 1776228031
share/doc/cbmc/assets/binsearch.c
@sha ZuVePbzhgRgfOg/LsNtmDSQAG9ExmLbThPdR1RNJEwg=
@size 273
@ts 1776228031
share/doc/cbmc/assets/c_to_ir.svg
@sha 8oJiV+p6NijGVu7VDFgWhOA2BXPFkYANFFvzKVgooA4=
@size 46154
@ts 1776228031
share/doc/cbmc/assets/cbmc_style.css
@sha cJQgKDsTqVElb64Nx3Y2Sfq/sxWdgBp3iJ35XmUYhBc=
@size 610
@ts 1776228031
share/doc/cbmc/assets/cegar-1.png
@sha Up8xIPxpIPNQAdNNqHK36kytYY3DjvQhKsp0tscTd0k=
@size 30405
@ts 1776228031
share/doc/cbmc/assets/counter.c
@sha koLeZfAFQQLpv81FwIuLtT/XAsRL6zawbWgtZMoI1dI=
@size 236
@ts 1776228031
share/doc/cbmc/assets/driver.c
@sha KtgbqMGcetz9G6tZCa97bQqUrIlmzuwp55Dpx2daZPI=
@size 796
@ts 1776228031
share/doc/cbmc/assets/driver.h
@sha TTzFXzurnE3dBg58i6363xlSafuvfG/6a71ik+3e7uU=
@size 486
@ts 1776228031
share/doc/cbmc/assets/expr.c
@sha 4QwpFbldAkjHhU/CcxaWKDA9Z31oLOlMNGlUgglXWFY=
@size 81
@ts 1776228031
share/doc/cbmc/assets/expr.dot
@sha DD4MAMrY+QBhw1rImeDelQVrPAkMp5ncNwC/s6x1R9Y=
@size 747
@ts 1776228031
share/doc/cbmc/assets/expr.svg
@sha h53YskUU5c4Pv8DcdUoC9SjYDtAdDASdCL9Qi1heqo0=
@size 17371
@ts 1776228031
share/doc/cbmc/assets/file1.c
@sha qohLfFROWQpK2PUg3OnPGFW5ifgZZ4HQdq7sKFfEqdc=
@size 82
@ts 1776228031
share/doc/cbmc/assets/file2.c
@sha OSqMwJLDvimiXbrQQwYOwwTqTYZyqtK7Jb7QERiKu3g=
@size 100
@ts 1776228031
share/doc/cbmc/assets/gcc-wrap.c
@sha I8e+xHlaDPUpaHiW0AsXf/sP/YTg6JbzFvIHAKD173A=
@size 2291
@ts 1776228031
share/doc/cbmc/assets/goto_program.svg
@sha 2p2Q7QgNCUQIfR0Ic2sDhIcHQvcV/yW4YY/7W1qpVFs=
@size 84304
@ts 1776228031
share/doc/cbmc/assets/ireptree.svg
@sha zOV5lJB3YzLPaihr6Fx0T47kVFB2gNPwFWB1EaFS8qM=
@size 10501
@ts 1776228031
share/doc/cbmc/assets/kdev_t.h
@sha sYWbdQ9OmXGEo+wBbymNsa+zmvJZ9SVI40ZWzTeLkjA=
@size 414
@ts 1776228031
share/doc/cbmc/assets/lock-example-fixed.c
@sha Prwp85uhJky12FUMdvhfmHjGpkrgBLmsJMyfabTZIUc=
@size 407
@ts 1776228031
share/doc/cbmc/assets/lock-example.c
@sha gsrv2RrZBElzZDT8Pt4AAAZU4lHUjnyHEdCmwSoKxP4=
@size 397
@ts 1776228031
share/doc/cbmc/assets/modules.h
@sha dk70YUQ6VCViJgPxSdPq85vt8p961jxueGfEWAVzsa8=
@size 429
@ts 1776228031
share/doc/cbmc/assets/pid.c
@sha 96EDs0Kir2VFjRK96Th+OKdWvh9eK36mzeepwzYmAQA=
@size 2007
@ts 1776228031
share/doc/cbmc/assets/pid.png
@sha GeylFqsD7M4v/nrS7EqzNoEOQhgQ4xJKYGJk3h1AQNc=
@size 4581
@ts 1776228031
share/doc/cbmc/assets/refinement.png
@sha oprt1zuAjifA1WFX6UYEGKdXz9OKG2qTy1OjojiK5nw=
@size 14782
@ts 1776228031
share/doc/cbmc/assets/ring_buffer1.c
@sha kO+CDxELTZeFfkd56LmyWzpU7kU468zgb4f7ellv+UY=
@size 426
@ts 1776228032
share/doc/cbmc/assets/ring_buffer2.c
@sha U/VtS9x5KZY960Iabxek/myGfoWCSKH0ad0jyDk1Pbw=
@size 517
@ts 1776228032
share/doc/cbmc/assets/spec.c
@sha IhAHuTxMidB5xtON4szEeBEjVTheHrMCNR0fu6iKa8Q=
@size 1375
@ts 1776228031
share/doc/cbmc/assets/states.png
@sha bOyxucicsfvCIaLRH/Z2NJx8g1T7z/Y8Y1XlnLgnS8w=
@size 12221
@ts 1776228032
share/doc/cbmc/assets/xml_spec.md
@sha LHu3KRUNIJeK1COftkUW2zEcXxy4cfcAl8NF8Df530Q=
@size 11660
@ts 1776228032
share/doc/cbmc/assets/xml_spec.tex
@sha oWB8wmU/FsXbBYzNg2ms8wUew7sFb4ZGx1LdS0CMf8I=
@size 13676
@ts 1776228032
share/doc/cbmc/assets/xml_spec.xsd
@sha kaCoyaM2I9q/dNN+wqM4/ueFAzdE7CCt+5YR2jxz8JA=
@size 7962
@ts 1776228032
share/doc/cbmc/cprover-manual/
share/doc/cbmc/cprover-manual/api.md
@sha IS9bDM1isBrI5HQQk2khcqj/TZyTzoucTX1HP8Y7i+A=
@size 11053
@ts 1776228032
share/doc/cbmc/cprover-manual/binsearch.c
@sha kNVBsa87Fs8SfAelUZ8jtyjHsJ7KRoECtQfInTIVEp0=
@size 298
@ts 1776228032
share/doc/cbmc/cprover-manual/cbmc-assertions.md
@sha TrW2Uo4i44SZFb6n/+mNEYVjnpzg5RxD05PFjOTDfAg=
@size 2941
@ts 1776228032
share/doc/cbmc/cprover-manual/cbmc-tutorial.md
@sha Kgq+DouJ0GeAg07eIG2RBzKPeErNtAMNgCacIJJy2KE=
@size 12169
@ts 1776228032
share/doc/cbmc/cprover-manual/cbmc-unwinding.md
@sha 6piZ0ngJ2apxsUCCf8Wahzo0T18u9ECYSlTSfshqEig=
@size 5880
@ts 1776228032
share/doc/cbmc/cprover-manual/file1.c
@sha g/zG/TVd64T7odX0cq6heGUTG/nq/P+HO4iVn8v2Pe4=
@size 94
@ts 1776228032
share/doc/cbmc/cprover-manual/file2.c
@sha GgxkY4E/2kWDTY9oXL53BJJpLtxVp3hbSv8qPhXzAWA=
@size 123
@ts 1776228032
share/doc/cbmc/cprover-manual/goto-analyzer.md
@sha eY21P2viajgCOQDa6YGVIYATV2OBvCj/i0maqsPYD5c=
@size 19662
@ts 1776228032
share/doc/cbmc/cprover-manual/goto-cc.md
@sha nlfzjqFeyJkAaVtlFFiUYIOmO0sRWMa5D6h9Ktb5oxg=
@size 7418
@ts 1776228032
share/doc/cbmc/cprover-manual/goto-harness.md
@sha Ahk3WXrQGvC/kCEdbnyeQG+EPHXBXiWRKR502PkBWK4=
@size 13319
@ts 1776228032
share/doc/cbmc/cprover-manual/index.md
@sha 6hwrg5S0hQUUYdKf10UYAifJWh6FG1Gj71atFrUI+dc=
@size 1045
@ts 1776228032
share/doc/cbmc/cprover-manual/installation.md
@sha 0IrWJubnd271fI3z9gaS3U/bTjBzjB1xjMBoVyIpsX0=
@size 2739
@ts 1776228032
share/doc/cbmc/cprover-manual/introduction.md
@sha Fgm2/p7M1Qd8itydzKFljzkHXAnhurziyBiDLAoPQT8=
@size 1966
@ts 1776228032
share/doc/cbmc/cprover-manual/jbmc-user-manual.md
@sha v8zogcG4R9cSKqehSrkdhJnzg92KsBoid8U63dIUnuI=
@size 9233
@ts 1776228032
share/doc/cbmc/cprover-manual/lock-example.c
@sha zDcK+//vWFNt8lFZ2r1YxqJ0BxFJA3ogxlvFeQ5JbuE=
@size 415
@ts 1776228032
share/doc/cbmc/cprover-manual/memory-primitives.md
@sha ppgeHIlmQL4sZSSf/b851/e1ZUZXhvUK40gGUa+npCY=
@size 11726
@ts 1776228032
share/doc/cbmc/cprover-manual/modeling-assumptions.md
@sha rRAH9T9uCz6/Ns/KImnbvzs+29Vw22VDXYEwyFwmMlk=
@size 3116
@ts 1776228032
share/doc/cbmc/cprover-manual/modeling-floating-point.md
@sha S+d2BI6dqdkmAmfzIG/Hjt9xGYfNpipUVqriNc6imPI=
@size 5457
@ts 1776228032
share/doc/cbmc/cprover-manual/modeling-mmio.md
@sha wChhMr7uRZSI4HQHZ6EMK3MeeGGyDDiL5NNgPDGqAX0=
@size 4795
@ts 1776228032
share/doc/cbmc/cprover-manual/modeling-nondeterminism.md
@sha kMoscS4YxStrJ8iSdRjdbhrplfNr+en/XJslzqPY1mU=
@size 2506
@ts 1776228032
share/doc/cbmc/cprover-manual/modeling-pointers.md
@sha o0WLiDooaUL1llbH7jvg8SWwWQOlVorslL39ehzeO6A=
@size 3356
@ts 1776228032
share/doc/cbmc/cprover-manual/modeling-shadow-memory.md
@sha SVsB0pX0mNPCwpeXq78PL2W84hGqtM0/LvL+I8lux+0=
@size 10623
@ts 1776228032
share/doc/cbmc/cprover-manual/properties.md
@sha s9Gb/q/SmLszsNGJb64gwdqN76DfoBtVk3KJTPqQlTE=
@size 13580
@ts 1776228032
share/doc/cbmc/cprover-manual/smt2-incr.md
@sha 66dphqinXHa3fsF41RhKaQH2UN4JV2HeM8p3gR6oA7c=
@size 6466
@ts 1776228032
share/doc/cbmc/cprover-manual/static-functions.md
@sha sdMH3ACbxJdnunUXw8DDuBjQwnRh6I5aLgPTBVLMnoE=
@size 4535
@ts 1776228032
share/doc/cbmc/cprover-manual/test-suite.md
@sha /iUCXlmN2JLs7b+Sf72NLka63htw3lbzwvusqVkPBhk=
@size 9577
@ts 1776228032
share/doc/cbmc/cprover-manual/unsound_options.md
@sha bm2kaFa4+CYoPKoJnXmHprc3U5M8bGvw+s82T9J+ArE=
@size 3119
@ts 1776228032
share/doc/cbmc/cprover-manual/visual-studio.md
@sha qzDe/KTcDD1HfWsJIzSeFOxFyNtYVyhFm5opjDs0pcs=
@size 1225
@ts 1776228032
share/doc/cbmc/doxygen-root/
share/doc/cbmc/doxygen-root/.gitignore
@sha 8UL1KogAIPGmVaYbSZFDJwLcA44vB/0a26Q223BJIuA=
@size 6
@ts 1776228032
share/doc/cbmc/doxygen-root/DoxygenLayout.xml
@sha qUKvGxZwVwwVD5LCTraO0/HRtDJZna1hdLnFx9L0CcE=
@size 6102
@ts 1776228032
share/doc/cbmc/doxygen-root/Makefile
@sha LT7iTpoR1ru2XikIuoe4SQiC58o4s0AVaVnGhYcJUP4=
@size 967
@ts 1776228032
share/doc/cbmc/doxygen-root/README.md
@sha J/4C+bMBB5ZhOiSLpkKBimLu9bH332yLbKjqJuirbzo=
@size 2349
@ts 1776228032
share/doc/cbmc/doxygen-root/contributing.md
@sha YkjIUEzcYeW3QAh+ryghFyM2R/1kekyFsyHzqRTktqg=
@size 2027
@ts 1776228032
share/doc/cbmc/doxygen-root/developer_guide.md
@sha tZwQXp1Un8d9u4BWoziapDJSWpN1bbu8oWo/rr2JOr4=
@size 959
@ts 1776228032
share/doc/cbmc/doxygen-root/doxyfile
@sha WdvfVp74/2NjWXO2zCYmveSC1Wih2a0QGG4SPZhG+sk=
@size 109922
@ts 1776228032
share/doc/cbmc/doxygen-root/doxyfile-doc-adr
@sha c0mpVXtr9LK9z5ruBee9ZOz1NOMwk8LInRy2AsG2yTA=
@size 111056
@ts 1776228032
share/doc/cbmc/doxygen-root/doxyfile-doc-api
@sha TfbWfi5u39TppEBR4Wq2xELOQzGV7R8MWoZiMyLYmHc=
@size 111039
@ts 1776228032
share/doc/cbmc/doxygen-root/doxyfile-doc-assets
@sha tn6udbbHm+7RD1dhlgRNcbIG6aGx1qyc4/JUnp38N6Q=
@size 111044
@ts 1776228032
share/doc/cbmc/doxygen-root/doxyfile-doc-cprover-manual
@sha V4prXsNgds1iSVdj/GQILevmIG9vnwIzon/Sw0OYIpE=
@size 111051
@ts 1776228033
share/doc/cbmc/doxygen-root/doxygen-markdown/
share/doc/cbmc/doxygen-root/doxygen-markdown/append-last-modified-dates.py
@sha iNDfNbd25PaEuO5iioLphh5HHlgVtJdDmAuzz3iE4Lo=
@size 1336
@ts 1776228033
share/doc/cbmc/doxygen-root/doxygen-markdown/doxygen-markdown-preprocessor.py
@sha ORc7k3pNYi2CKIs7ZxE5jPr4Duit8g1gTDNdL3XftiA=
@size 3620
@ts 1776228033
share/doc/cbmc/doxygen-root/doxygen-markdown/markdown.sh
@sha tpPgeRWBytCz4gRHV/pD9SUQ9b9nugRo18fBjxeqYIM=
@size 2560
@ts 1776228033
share/doc/cbmc/doxygen-root/doxygen-markdown/pandoc-codeblock-repair.sh
@sha zX83MHq5SwmABH1WtrZFEBblWNG9Z3cTbMZXdguvtFs=
@size 327
@ts 1776228033
share/doc/cbmc/doxygen-root/doxygen-markdown/pandoc-cprover-link-filter.py
@sha 7pbTk0zdZ1MN6cLLtegvvRUMsxmvk3nDhcWL0OOI6NY=
@size 1708
@ts 1776228033
share/doc/cbmc/doxygen-root/index.md
@sha VmAST/zmVGOP8bveSyyx6eKNPfD+8rE+xoepiMc5/eY=
@size 1625
@ts 1776228033
share/doc/cbmc/doxygen-root/installation.md
@sha pXJnowzhl7Rc9fl34RuVdUaSYgKwaV3IkqUJ6PaxMYs=
@size 197
@ts 1776228033
share/doc/cbmc/doxygen-root/reference_guide.md
@sha aqUn8R6UPKF0ropkCetn9g7dUtUh9i3cSB6CVWRuBsY=
@size 558
@ts 1776228033
share/doc/cbmc/doxygen-root/user_guide.md
@sha CAXVtR4Wr/FPZb3CMGmOCifvlKLNYgeOB1GBKo75y04=
@size 1897
@ts 1776228033
share/doc/cbmc/satabs-user-manual.md
@sha egIsxqIhHpXCmSfTD4JaFlG3onvG28HfqDJNgi3Mw4w=
@size 31061
@ts 1776228033
share/doc/cbmc/slides/
share/doc/cbmc/slides/cbmc-latex-beamer/
share/doc/cbmc/slides/cbmc-latex-beamer/arrow.pdf
@sha v8Rt9TLaJEVYC1xWzS62VmnlunVmWd/wWTdUTQR3Tj8=
@size 3515
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/bmc-loop.mp
@sha Qzi25ejiJEcTKojNotazox62bxZZ98y38IiYjQ4irtU=
@size 2548
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/cbmc-flow.fig
@sha 9PJGru5woh91Tz9mMvIiOzDTedRblMpMbIRcJujN58U=
@size 1694
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/cbmc-logo-medium.png
@sha 93RVJaZNlMYztKrruEMgntkFODdB+u/7ZzPegAtZoSs=
@size 3423
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/cbmc-slides.tex
@sha wJWswmN/wl56QwxGFUGJjYoX1otUdYSceBw9BTNdLL0=
@size 38464
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/do_figures
@sha wm8ejj8iSG02OGXRG+Lqp5RP/KIYl1mwUDIPzuvhh3o=
@size 382
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/frontend.fig
@sha BwYbmN/EFW5dufJtiOw4hTva52LnMkn5g0wNo+bczlE=
@size 1295
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/gradient_box_green.pdf
@sha uF84yJFWr2s6VETtBU0HrHw44FmFQXWUniqRe+X0mFs=
@size 5381
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/gradient_box_red.pdf
@sha e6mNyyeCPS73W6A3geErtkttOnO4J51BkNEHBWQBlbU=
@size 5344
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/gradient_box_yellow.pdf
@sha rNvfRyRGWjdV7IA8wyBEkrJKoWHawejl3IvZ07QD+30=
@size 4605
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/header.tex
@sha DQiSBwJqqLEeXn14fhBe+d0hL/Cl3xmv78eAEvlZUSc=
@size 3956
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/sa-sat-progress.pdf
@sha F8GynROxBANrhHrFXmniZKHrgDrFPzRfVkkKNARgrQo=
@size 2133
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/sha-example.mp
@sha 0vfEORpvJ+XxqeSiYcdEuD+9IZLB8fhEC56HBLYiDCc=
@size 2879
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/unrolling-cfg.mp
@sha XNo+37hY5hHH3MYrcaI/APjcFBu8kfq5ISAQ+pBl+3Y=
@size 839
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/unrolling-full.mp
@sha N8kgRfgWLjC4lxL90scfR8HGrQRerVvFAElHH7wuVs8=
@size 2955
@ts 1776228033
share/doc/cbmc/slides/cbmc-latex-beamer/unrolling.mp
@sha kWzAafn5uL/JgSSgrnAZyRDHs8E4UukHs8PImmdtOoM=
@size 5200
@ts 1776228033
share/doc/cbmc/slides/cprover-overview-latex-beamer/
share/doc/cbmc/slides/cprover-overview-latex-beamer/cprover-overview-slides.tex
@sha VVhcTEOKW5TDUbpVUM1LMdRLECu19rd+yB8wLwDqMHc=
@size 5539
@ts 1776228033
share/doc/cbmc/slides/cprover-overview-latex-beamer/header.tex
@sha ZNHRHmBmtsMoSjCxHFnFBQKz2sny3slDSRt3QZYIhUo=
@size 3958
@ts 1776228034
