From 3bb73fa9a74737fd9d9054a54ff08c2b0f6ec0ef Mon Sep 17 00:00:00 2001 From: Landon Taylor Date: Mon, 9 Jun 2025 11:45:24 -0600 Subject: [PATCH] updates --- 404.html | 50 +- 404/index.html | 213 - LICENSE | 9 - about/index.html | 98 + applications/index.html | 110 + applications/index.xml | 26 + applications/smt-solver/index.html | 119 + applications/smt-solver/index.xml | 33 + applications/theorem-prover/index.html | 103 + applications/theorem-prover/index.xml | 19 + contribute/index.html | 82 + css/brands.css | 1609 +++++ css/fontawesome.css | 6243 +++++++++++++++++ css/solid.css | 19 + ...996dd28eec825a84a03872d142f51bdada5fd4.css | 404 -- ...d84b889c8047454006fdebdfe0859687fb802c.css | 404 -- ...0d589b651a0245aec395b2a5183f97402f6784.css | 394 -- ...0354eaded498090785092be247770e2fab407f.css | 404 -- ...01a12ea26ebe6ba5a9f177d25b3967824ce7ab.css | 404 -- ...4f9a822b2fc4836b4d329140ddd03444ca0bf.css} | 271 +- ...d3cf2fd80d0f7db11279a41f468e5a942ef2b2.css | 395 -- ...09fc8a624d4cbe0c3ea9d89c7e617ebf6130c8.css | 399 -- css/styles.css.map | 12 +- ...f32a10e599488cdb16c6750a9a126788131917.css | 394 -- ...d4df48c38eb3e4a402e19992fffbabd006874d.css | 509 -- developers/index.html | 74 +- developers/index.xml | 32 +- developers/loria/index.html | 103 + developers/loria/index.xml | 19 + developers/microsoft-research/index.html | 96 +- developers/microsoft-research/index.xml | 10 +- developers/sri-international/index.html | 94 +- developers/sri-international/index.xml | 14 +- developers/uliege/index.html | 103 + developers/uliege/index.xml | 19 + domains/embedded-systems/index.html | 163 - domains/embedded-systems/index.xml | 26 - domains/hardware-verification/index.html | 163 - domains/hardware-verification/index.xml | 26 - domains/index.html | 84 +- domains/index.xml | 26 +- domains/software-verification/index.html | 163 - domains/software-verification/index.xml | 26 - fonts/static/SourceCodePro-Medium.ttf | Bin 0 -> 133384 bytes fonts/static/SourceCodePro-Medium.woff2 | Bin 0 -> 50980 bytes fonts/static/SourceCodePro-MediumItalic.ttf | Bin 0 -> 111920 bytes fonts/static/SourceCodePro-MediumItalic.woff2 | Bin 0 -> 43264 bytes formalisms/arithmetic/index.html | 163 - formalisms/arithmetic/index.xml | 26 - formalisms/arrays/index.html | 163 - formalisms/arrays/index.xml | 26 - formalisms/bit-vectors/index.html | 163 - formalisms/bit-vectors/index.xml | 26 - formalisms/first-order-logic/index.html | 163 - formalisms/first-order-logic/index.xml | 26 - formalisms/index.html | 196 - formalisms/index.xml | 61 - formalisms/quantifier-logic/index.html | 163 - formalisms/quantifier-logic/index.xml | 26 - formalisms/smt-lib/index.html | 163 - formalisms/smt-lib/index.xml | 26 - formalisms/uninterpreted-functions/index.html | 163 - formalisms/uninterpreted-functions/index.xml | 26 - index.html | 104 +- index.xml | 59 +- inputs/dimacs/index.html | 111 + inputs/dimacs/index.xml | 26 + inputs/index.html | 128 + inputs/index.xml | 33 + inputs/smtlib2/index.html | 119 + inputs/smtlib2/index.xml | 33 + inputs/yices-2/index.html | 103 + inputs/yices-2/index.xml | 19 + interactions/c-api/index.html | 121 - interactions/c-api/index.xml | 19 - interactions/cli/index.html | 163 - interactions/cli/index.xml | 26 - interactions/index.html | 196 - interactions/index.xml | 61 - interactions/ocaml-api/index.html | 121 - interactions/ocaml-api/index.xml | 19 - interactions/playground/index.html | 123 - interactions/playground/index.xml | 19 - interactions/python-api/index.html | 123 - interactions/python-api/index.xml | 19 - interactions/python-bindings/index.html | 121 - interactions/python-bindings/index.xml | 19 - interactions/rust-bindings/index.html | 123 - interactions/rust-bindings/index.xml | 19 - interfaces/.net/index.html | 103 + interfaces/.net/index.xml | 19 + interfaces/c++/index.html | 103 + interfaces/c++/index.xml | 19 + interfaces/c/index.html | 103 + interfaces/c/index.xml | 19 + interfaces/cli/index.html | 119 + interfaces/cli/index.xml | 33 + interfaces/index.html | 218 + interfaces/index.xml | 68 + interfaces/java/index.html | 103 + interfaces/java/index.xml | 19 + interfaces/online/index.html | 103 + interfaces/online/index.xml | 19 + interfaces/python/index.html | 111 + interfaces/python/index.xml | 26 + interfaces/rust/index.html | 111 + interfaces/rust/index.xml | 26 + languages/c#/index.html | 123 - languages/c#/index.xml | 19 - languages/c++/index.html | 123 - languages/c++/index.xml | 19 - languages/c/index.html | 121 - languages/c/index.xml | 19 - languages/index.html | 214 - languages/index.xml | 68 - languages/java/index.html | 123 - languages/java/index.xml | 19 - languages/ocaml/index.html | 121 - languages/ocaml/index.xml | 19 - languages/python/index.html | 163 - languages/python/index.xml | 26 - languages/smt-lib/index.html | 163 - languages/smt-lib/index.xml | 26 - languages/yices-language/index.html | 121 - languages/yices-language/index.xml | 19 - license/index.html | 90 + licenses/bsd/index.html | 103 + licenses/bsd/index.xml | 19 + licenses/gplv3/index.html | 103 + licenses/gplv3/index.xml | 19 + licenses/index.html | 66 +- licenses/index.xml | 24 +- licenses/mit/index.html | 96 +- licenses/mit/index.xml | 10 +- maintenance/actively-maintained/index.html | 119 + maintenance/actively-maintained/index.xml | 33 + maintenance/index.html | 92 + maintenance/index.xml | 19 + privacy/index.html | 87 + purposes/analysis-tools/index.html | 163 - purposes/analysis-tools/index.xml | 26 - purposes/index.html | 106 - purposes/index.xml | 26 - purposes/verification-tools/index.html | 163 - purposes/verification-tools/index.xml | 26 - sitemap.xml | 206 +- systems/concurrent-systems/index.html | 163 - systems/concurrent-systems/index.xml | 26 - systems/discrete-systems/index.html | 163 - systems/discrete-systems/index.xml | 26 - systems/index.html | 106 - systems/index.xml | 26 - taxonomies/index.html | 665 +- taxonomies/index.xml | 4 +- techniques/index.html | 84 +- techniques/index.xml | 26 +- techniques/model-checking/index.html | 163 - techniques/model-checking/index.xml | 26 - techniques/smt-solving/index.html | 163 - techniques/smt-solving/index.xml | 26 - techniques/theorem-proving/index.html | 163 - techniques/theorem-proving/index.xml | 26 - tools/index.html | 581 +- tools/index.xml | 27 +- tools/verit/index.html | 398 ++ tools/yices/index.html | 597 +- tools/z3/index.html | 643 +- webfonts/LICENSE.txt | 165 + webfonts/fa-brands-400.ttf | Bin 0 -> 210792 bytes webfonts/fa-brands-400.woff2 | Bin 0 -> 118684 bytes webfonts/fa-regular-400.ttf | Bin 0 -> 68064 bytes webfonts/fa-regular-400.woff2 | Bin 0 -> 25472 bytes webfonts/fa-solid-900.ttf | Bin 0 -> 426112 bytes webfonts/fa-solid-900.woff2 | Bin 0 -> 158220 bytes webfonts/fa-v4compatibility.ttf | Bin 0 -> 10836 bytes webfonts/fa-v4compatibility.woff2 | Bin 0 -> 4796 bytes 176 files changed, 13421 insertions(+), 12841 deletions(-) delete mode 100644 404/index.html delete mode 100644 LICENSE create mode 100644 about/index.html create mode 100644 applications/index.html create mode 100644 applications/index.xml create mode 100644 applications/smt-solver/index.html create mode 100644 applications/smt-solver/index.xml create mode 100644 applications/theorem-prover/index.html create mode 100644 applications/theorem-prover/index.xml create mode 100644 contribute/index.html create mode 100644 css/brands.css create mode 100644 css/fontawesome.css create mode 100644 css/solid.css delete mode 100644 css/styles.07afc8e33a5e40417f798f735bcb9ff3518f26ceecfbfa118c4a23fa8f3d4bab2a0e5ebf3f30224fdcd49e38df996dd28eec825a84a03872d142f51bdada5fd4.css delete mode 100644 css/styles.1079f41be3662ed6b4fc054d0f2ba189a3ad4204fef51832324d0ad29bdd6fc177c1d603cce5088d6341951701d84b889c8047454006fdebdfe0859687fb802c.css delete mode 100644 css/styles.3c16fa11f5c61484ee5ec1ac349696f2785618fe48c1083f3bbc0395c162a5d56e99cbfe97b734fcc6597969970d589b651a0245aec395b2a5183f97402f6784.css delete mode 100644 css/styles.53038a37cec6ee9be2905762d98a91929a364edeef3cc14cbdb28c4a72d26b80952b218b41de771e704189d6ba0354eaded498090785092be247770e2fab407f.css delete mode 100644 css/styles.58148c4e238ba232a9c25cedd0fc1790028e1d6c6556f23c16cb8c97a62ec547494d54aa5ce6ad154ced8c690001a12ea26ebe6ba5a9f177d25b3967824ce7ab.css rename css/{styles.603e31d256adb5f186b8f42fdea5ec96c80d800f0876606d4f0239fb323d46e73a9c8c57f567b2496e6078035ca51ba5371d95a610ee97643e67e108c4afb9b9.css => styles.8b49a669b444200848aa2fc88c4dc95a3d61d6c822e7ad08eecab8049173e085d2bfa16bf17fa8ec14eb95bb1f04f9a822b2fc4836b4d329140ddd03444ca0bf.css} (78%) delete mode 100644 css/styles.a41a67a5e0672be7881481f47e58f4b4ccc72604a5da98158b6b43b5ff9bdfb70a45bc6d3dbf20d93eaa18f1d7d3cf2fd80d0f7db11279a41f468e5a942ef2b2.css delete mode 100644 css/styles.b1ca2bccd512fa7f4dfbf8be9e798e4a754aa4b219dd8a5f49181f848ae41108f25330acd6d8a7c5cd858ffd8109fc8a624d4cbe0c3ea9d89c7e617ebf6130c8.css delete mode 100644 css/styles.e3fcfb3452c69d09414fe512e9dca31d879e4a6c47d23010fbb07eb6693d447f645d3bd2d021c0d28d0f7b4fe6f32a10e599488cdb16c6750a9a126788131917.css delete mode 100644 css/styles.e7089f69849ee91856b2f09af4081a6296b4684d47c2b1b2e4b59b894ccf2364d239f6fbea00912b7e48e026e6d4df48c38eb3e4a402e19992fffbabd006874d.css create mode 100644 developers/loria/index.html create mode 100644 developers/loria/index.xml create mode 100644 developers/uliege/index.html create mode 100644 developers/uliege/index.xml delete mode 100644 domains/embedded-systems/index.html delete mode 100644 domains/embedded-systems/index.xml delete mode 100644 domains/hardware-verification/index.html delete mode 100644 domains/hardware-verification/index.xml delete mode 100644 domains/software-verification/index.html delete mode 100644 domains/software-verification/index.xml create mode 100644 fonts/static/SourceCodePro-Medium.ttf create mode 100644 fonts/static/SourceCodePro-Medium.woff2 create mode 100644 fonts/static/SourceCodePro-MediumItalic.ttf create mode 100644 fonts/static/SourceCodePro-MediumItalic.woff2 delete mode 100644 formalisms/arithmetic/index.html delete mode 100644 formalisms/arithmetic/index.xml delete mode 100644 formalisms/arrays/index.html delete mode 100644 formalisms/arrays/index.xml delete mode 100644 formalisms/bit-vectors/index.html delete mode 100644 formalisms/bit-vectors/index.xml delete mode 100644 formalisms/first-order-logic/index.html delete mode 100644 formalisms/first-order-logic/index.xml delete mode 100644 formalisms/index.html delete mode 100644 formalisms/index.xml delete mode 100644 formalisms/quantifier-logic/index.html delete mode 100644 formalisms/quantifier-logic/index.xml delete mode 100644 formalisms/smt-lib/index.html delete mode 100644 formalisms/smt-lib/index.xml delete mode 100644 formalisms/uninterpreted-functions/index.html delete mode 100644 formalisms/uninterpreted-functions/index.xml create mode 100644 inputs/dimacs/index.html create mode 100644 inputs/dimacs/index.xml create mode 100644 inputs/index.html create mode 100644 inputs/index.xml create mode 100644 inputs/smtlib2/index.html create mode 100644 inputs/smtlib2/index.xml create mode 100644 inputs/yices-2/index.html create mode 100644 inputs/yices-2/index.xml delete mode 100644 interactions/c-api/index.html delete mode 100644 interactions/c-api/index.xml delete mode 100644 interactions/cli/index.html delete mode 100644 interactions/cli/index.xml delete mode 100644 interactions/index.html delete mode 100644 interactions/index.xml delete mode 100644 interactions/ocaml-api/index.html delete mode 100644 interactions/ocaml-api/index.xml delete mode 100644 interactions/playground/index.html delete mode 100644 interactions/playground/index.xml delete mode 100644 interactions/python-api/index.html delete mode 100644 interactions/python-api/index.xml delete mode 100644 interactions/python-bindings/index.html delete mode 100644 interactions/python-bindings/index.xml delete mode 100644 interactions/rust-bindings/index.html delete mode 100644 interactions/rust-bindings/index.xml create mode 100644 interfaces/.net/index.html create mode 100644 interfaces/.net/index.xml create mode 100644 interfaces/c++/index.html create mode 100644 interfaces/c++/index.xml create mode 100644 interfaces/c/index.html create mode 100644 interfaces/c/index.xml create mode 100644 interfaces/cli/index.html create mode 100644 interfaces/cli/index.xml create mode 100644 interfaces/index.html create mode 100644 interfaces/index.xml create mode 100644 interfaces/java/index.html create mode 100644 interfaces/java/index.xml create mode 100644 interfaces/online/index.html create mode 100644 interfaces/online/index.xml create mode 100644 interfaces/python/index.html create mode 100644 interfaces/python/index.xml create mode 100644 interfaces/rust/index.html create mode 100644 interfaces/rust/index.xml delete mode 100644 languages/c#/index.html delete mode 100644 languages/c#/index.xml delete mode 100644 languages/c++/index.html delete mode 100644 languages/c++/index.xml delete mode 100644 languages/c/index.html delete mode 100644 languages/c/index.xml delete mode 100644 languages/index.html delete mode 100644 languages/index.xml delete mode 100644 languages/java/index.html delete mode 100644 languages/java/index.xml delete mode 100644 languages/ocaml/index.html delete mode 100644 languages/ocaml/index.xml delete mode 100644 languages/python/index.html delete mode 100644 languages/python/index.xml delete mode 100644 languages/smt-lib/index.html delete mode 100644 languages/smt-lib/index.xml delete mode 100644 languages/yices-language/index.html delete mode 100644 languages/yices-language/index.xml create mode 100644 license/index.html create mode 100644 licenses/bsd/index.html create mode 100644 licenses/bsd/index.xml create mode 100644 licenses/gplv3/index.html create mode 100644 licenses/gplv3/index.xml create mode 100644 maintenance/actively-maintained/index.html create mode 100644 maintenance/actively-maintained/index.xml create mode 100644 maintenance/index.html create mode 100644 maintenance/index.xml create mode 100644 privacy/index.html delete mode 100644 purposes/analysis-tools/index.html delete mode 100644 purposes/analysis-tools/index.xml delete mode 100644 purposes/index.html delete mode 100644 purposes/index.xml delete mode 100644 purposes/verification-tools/index.html delete mode 100644 purposes/verification-tools/index.xml delete mode 100644 systems/concurrent-systems/index.html delete mode 100644 systems/concurrent-systems/index.xml delete mode 100644 systems/discrete-systems/index.html delete mode 100644 systems/discrete-systems/index.xml delete mode 100644 systems/index.html delete mode 100644 systems/index.xml delete mode 100644 techniques/model-checking/index.html delete mode 100644 techniques/model-checking/index.xml delete mode 100644 techniques/smt-solving/index.html delete mode 100644 techniques/smt-solving/index.xml delete mode 100644 techniques/theorem-proving/index.html delete mode 100644 techniques/theorem-proving/index.xml create mode 100644 tools/verit/index.html create mode 100644 webfonts/LICENSE.txt create mode 100644 webfonts/fa-brands-400.ttf create mode 100644 webfonts/fa-brands-400.woff2 create mode 100644 webfonts/fa-regular-400.ttf create mode 100644 webfonts/fa-regular-400.woff2 create mode 100644 webfonts/fa-solid-900.ttf create mode 100644 webfonts/fa-solid-900.woff2 create mode 100644 webfonts/fa-v4compatibility.ttf create mode 100644 webfonts/fa-v4compatibility.woff2 diff --git a/404.html b/404.html index 53b6c71..105eeb4 100644 --- a/404.html +++ b/404.html @@ -1,10 +1,11 @@ - + + 404 Page not found | Formal Methods Tools @@ -13,16 +14,20 @@ - + - + - - - - + + + + - + + + + + @@ -35,14 +40,11 @@