notes.txt: Add link to Z3 model_compress bug.
[libguestfs-talks.git] / 2020-frama-c /
drwxr-xr-x   ..
-rw-r--r-- 19 .gitignore
-rw-r--r-- 705 1000-introduction.html
-rwxr-xr-x 225 2000-range-intro.term
-rw-r--r-- 1049 2100-range-struct.html
-rw-r--r-- 628 2200-range-predicates.html
-rwxr-xr-x 203 2300-range-is-empty.term
-rwxr-xr-x 413 3000-frama-c.html
-rwxr-xr-x 439 3100-frama-c.html
-rwxr-xr-x 439 3200-frama-c.html
-rwxr-xr-x 439 3300-frama-c.html
-rwxr-xr-x 439 3400-frama-c.html
-rwxr-xr-x 439 3500-frama-c.html
-rw-r--r-- 815 4000-range-is-empty-again.html
-rw-r--r-- 404 4100-range-contains-1.html
-rw-r--r-- 735 4200-range-contains-2.html
-rw-r--r-- 568 4300-range-make-empty.html
-rw-r--r-- 374 4400-range-size-1.html
-rwxr-xr-x 191 4500-range-size-2.term
-rw-r--r-- 924 4600-range-size-3.html
-rwxr-xr-x 201 4700-range-size-4.term
-rw-r--r-- 553 4800-range-init.html
-rw-r--r-- 1465 4850-range-init.html
-rw-r--r-- 724 4870-range-init-spec.html
-rw-r--r-- 611 4890-range-init-spec-2.html
-rw-r--r-- 506 5000-power-of-2.html
-rw-r--r-- 728 5100-power-of-2.html
-rw-r--r-- 512 5200-timeval.html
-rw-r--r-- 987 5300-timeval.html
-rw-r--r-- 962 5400-timeval.html
-rw-r--r-- 2013 6000-strverscmp.html
-rw-r--r-- 638 6100-strlen-1.html
-rw-r--r-- 1254 6200-strlen-2.html
-rw-r--r-- 470 6300-strlen.html
-rw-r--r-- 938 6400-strlen.html
-rwxr-xr-x 292 6500-strlen.term
-rw-r--r-- 494 9000-conclusions-1.html
-rw-r--r-- 481 9100-conclusions-2.html
-rw-r--r-- 634 9200-alternatives.html
-rw-r--r-- 1844 9300-resources.html
-rw-r--r-- 692 bashrc
-rw-r--r-- 0 code.js
-rw-r--r-- 1162 functions
-rw-r--r-- 22387 notes.txt
-rw-r--r-- 8766 redhat.png
-rwxr-xr-x 27 restore
-rwxr-xr-x 466 run
drwxr-xr-x - slides
drwxr-xr-x - snippets
-rw-r--r-- 1846 style.css