Deploying to gh-pages from @ 0966229 🚀

index.html

@@ -0,0 +1,55 @@
+<h1>Download page for LibITS </h1>
+
+<p>
+This page hosts content built on : 20230925150321.
+</p>
+
+<p>
+This page hosts content regularly rebuilt using the continuous integration service GitHub Actions.
+Our home page is still hosted at : <a href="http://ddd.lip6.fr"> ITS homepage </a>
+</p>
+
+<p>
+Download the latest executable for linux x64 : <a href="https://github.com/lip6/libITS/raw/gh-pages/its-reach"> its-reach for Linux latest</a>. <br/>
+Download the latest executable for OSX : <a href="https://github.com/lip6/libITS/raw/osx/its-reach"> its-reach for OSX latest</a>. <br/>  
+Download the latest executable for Windows : <a href="https://github.com/lip6/libITS/raw/Windows/its-reach.exe"> its-reach for Windows</a>. <br/>  
+Note that this executable is statically linked and should work without any further installation.
+</p>
+
+<p>
+Download the latest executable for linux x64 : <a href="https://github.com/lip6/libITS/raw/gh-pages/its-ctl"> its-ctl for Linux latest</a>. <br/>
+Download the latest executable for OSX : <a href="https://github.com/lip6/libITS/raw/osx/its-ctl"> its-ctl for OSX latest</a>. <br/>  
+Download the latest executable for Windows : <a href="https://github.com/lip6/libITS/raw/Windows/its-ctl.exe"> its-ctl for Windows</a>. <br/>  
+Note that this executable is statically linked and should work without any further installation.
+</p>
+
+<p>
+Download the latest executable for linux x64 : <a href="https://github.com/lip6/libITS/raw/gh-pages/its-ltl"> its-ltl for Linux latest</a>. <br/>
+Download the latest executable for OSX : <a href="https://github.com/lip6/libITS/raw/osx/its-ltl"> its-ltl for OSX latest</a>. <br/>  
+Download the latest executable for Windows : <a href="https://github.com/lip6/libITS/raw/Windows/its-ltl.exe"> its-ltl for Windows</a>. <br/>  
+Note that this executable is statically linked and should work without any further installation.
+</p>
+
+
+<p>
+For developpers, download the latest source distribution here :<a href="https://github.com/lip6/libITS/raw/gh-pages/itsreach-0.2.20230925150321.tar.gz"> LibITS latest </a>
+Run ./configure and make to get rolling. See .travis.yml at root of source depot for examples of setting up dependencies (antlr in particular).
+</p>
+
+
+<p>
+Download the latest artifacts here for linux (result of make install : lib/libITS.a, include/*.hh, bin/its-reach) : <a href="https://github.com/lip6/libITS/raw/gh-pages/linux.tgz"> Linux latest artifacts </a>. <br/>
+Download the latest artifacts here for OSX : <a href="https://github.com/lip6/libITS/raw/osx/osx.tgz"> OSX latest artifacts </a>. <br/>
+Download the latest artifacts here for Windows : <a href="https://github.com/lip6/libITS/raw/Windows/windows.zip"> Windows latest artifacts </a>. <br/>
+Note that this artifact embeds our dependencies (libDDD, libgmp, ...). 
+This artifact is not very portable, it's used in our build system and is specific to agents on travis-ci or appveyor.
+</p>
+
+
+<p> This page and these artifacts are built using <a href='https://github.com/lip6/libITS/actions'>GitHub Actions</a>. We thank GitHub for providing hosting and compilation time for these artifacts.</p>
+
+<p> This software is made available under the terms of <a href='https://www.gnu.org/licenses/gpl-3.0.en.html'>Gnu GPL</a>  </p>
+
+<p> Contact author : Yann [email protected] </p>
+
+