File manager

File manager - Edit - /home/antispamanakembo/public_html/isl.zip

Back
PK��e3;\aR��AUTHORSnu��[��isl was written by Sven Verdoolaege 2006-2007 Leiden Institute of Advanced Computer Science Universiteit Leiden Niels Bohrweg 1 2333 CA Leiden The Netherlands 2008-2009 K.U.Leuven Departement Computerwetenschappen Celestijnenlaan 200A B-3001 Leuven Belgium 2010-2011 INRIA Saclay - Ile-de-France Parc Club Orsay Universite, ZAC des vignes, 4 rue Jacques Monod 91893 Orsay France 2011-2012 consultant for Leiden Institute of Advanced Computer Science 2012-2014 Ecole Normale Superieure 45 rue d'Ulm, 75230 Paris France 2014-2015 INRIA Rocquencourt Domaine de Voluceau - Rocquencourt, B.P. 105 78153 Le Chesnay France 2015 Polly Labs Contributions by Mythri Alle Riyadh Baghdadi Serge Belyshev Ray Donnelly Johannes Doerfert Tobias Grosser Alexandre Isoard Andreas Kloeckner Michael Kruse Sebastian Pop Louis-Noel Pouchet Uday Kumar Reddy Andreas Simbuerger Sven van Haastregt The merge sort implementation was written by Jeffrey Stedfast. PK��e3;\k�K�� ChangeLognu��[��version: 0.16.1 date: Thu Jan 14 18:08:06 CET 2016 changes: - fix bug in simplification --- version: 0.16 date: Tue Jan 12 09:56:16 CET 2016 changes: - add 32 bit integer optimization for IMath - minor AST generator improvements - add isl_union_flow_get_full_{may,must}_dependence - minor improvements to Python bindings - minor improvements to set and map printing --- version: 0.15 date: Thu Jun 11 12:45:33 CEST 2015 changes: - improve coalescing - add isl_union_access_info_compute_flow - add mark nodes in AST - add isl_union_pw_aff and isl_multi_union_pw_aff - add schedule trees - deprecate band forests - deprecate separation_class AST generation option - introduce isl_bool and isl_stat types --- version: 0.14.1 date: Thu Apr 9 12:57:23 CEST 2015 changes: - fix bug in affine expression normalization - fix handling of conditional validity constraints --- version: 0.14 date: Sat Oct 25 16:08:47 CEST 2014 changes: - support IMath as an optional replacement for GMP - minor AST generator improvements --- version: 0.13 date: Mon Apr 14 11:08:45 CEST 2014 changes: - deprecate isl_int - improved support for multi piecewise quasi-affine expressions - allow the user to impose a bound on the number of low-level operations - add isl_id_to_ast_expr and isl_id_to_pw_aff - add isl_schedule_constraints - hide internal structure of isl_vec - remove support for piplib --- version: 0.12.2 date: Sun Jan 12 12:09:46 CET 2014 changes: - MinGW-w64 build fix - fix simplification bug --- version: 0.12.1 date: Wed Jul 24 12:54:46 CEST 2013 changes: - handle malloc returning NULL on zero-size allocation - fix regression in AST generator --- version: 0.12 date: Sun Jun 23 20:23:05 CEST 2013 changes: - add isl_val abstraction --- version: 0.11.2 date: Tue Apr 9 18:45:10 CEST 2013 changes: - make code generation output the same on Solaris - fix some hard to trigger bugs --- version: 0.11.1 date: Mon Dec 10 11:55:30 CET 2012 changes: - add LICENSE file to distribution - make code generation output independent of endianness --- version: 0.11 date: Mon Dec 3 08:17:18 CET 2012 changes: - change license from LGPL 2.1 to MIT - add support for multi piecewise quasi-affine expressions - add code generation - various minor bug fixes --- version: 0.10 date: Sun Jun 3 18:00:16 CEST 2012 changes: - support for interaction with dependence analysis - add public API for vectors - improved support for (piecewise) multi quasi-affine expressions - various minor bug fixes --- version: 0.09 date: Sat Dec 17 18:19:26 CET 2011 changes: - improved argument parsing - hide internal structure of isl_options - improved support for parameter sets - configurable scheduling --- version: 0.08 date: Fri Oct 21 12:36:20 CEST 2011 changes: - improved parsing - drop isl_div abstraction - rename isl_dim to isl_space - \|- explicitly differentiate between spaces of maps, sets and parameter sets - add support for identifiers - add support for (piecewise) multi quasi-affine expressions - preliminary Python bindings --- version: 0.07 date: Tue Jul 12 19:34:51 CEST 2011 changes: - hide internal structures of isl_div and isl_constraint - preliminary scheduling - add support for local spaces and (piecewise) quasi-affine expressions --- version: 0.06 date: Fri Mar 18 15:59:16 CET 2011 changes: - improved parsing - consistency changes in API - hide internal structure of isl_ctx --- version: 0.05.1 date: Wed Jan 5 10:21:42 CET 2011 changes: - fix simple symmetry detection in parametric integer programming --- version: 0.05 date: Thu Dec 23 17:03:14 CET 2010 changes: - rename header files from isl_header.h to isl/header.h - add higher level interface for dependence analysis - improved argument parsing - optionally triangulate domains during Bernstein expansion - support extended PolyLib format - hide internal structure of some data types - improved coalescing - add simple symmetry detection in parametric integer programming --- version: 0.04 date: Fri Sep 10 12:57:50 CEST 2010 changes: - rename isl_pw_qpolynomial_fold_add - add isl_map_apply_pw_qpolynomial_fold - support named and nested spaces - support union sets and maps - add public API for matrices --- version: 0.03 date: Tue Jun 29 13:16:46 CEST 2010 changes: - new printing functions - support for "may" accesses in dependence analysis - improved coalescing - improved transitive closure - fix several hard to trigger bugs - improved argument parsing - support parametric vertex enumeration for barvinok - optionally use Bernstein expansion to compute bounds PK��e3;\��z��READMEnu��[��isl is a thread-safe C library for manipulating sets and relations of integer points bounded by affine constraints. The descriptions of the sets and relations may involve both parameters and existentially quantified variables. All computations are performed in exact integer arithmetic using GMP. isl is released under the MIT license, but depends on the LGPL GMP library. Minimal compilation instructions: ./configure make make install If you are taking the source from the git repository, then you first need to do git clone git://repo.or.cz/isl.git ./autogen.sh For more information, see doc/user.pod or the generated documentation. New releases are announced on http://freecode.com/projects/isl If you use isl, you can let me know by stacking https://www.ohloh.net/p/isl on ohloh. For bug reports, feature requests and questions, contact http://groups.google.com/group/isl-development Whenever you report a bug, please mention the exact version of isl that you are using (output of "./isl_cat --version"). If you are unable to compile isl, then report the git version (output of "git describe") or the version included in the name of the tarball. If you use isl for your research, you are invited do cite the following paper and/or the paper(s) describing the specific operations you use. @incollection{Verdoolaege2010isl, author = {Verdoolaege, Sven}, title = {isl: An Integer Set Library for the Polyhedral Model}, booktitle = {Mathematical Software - ICMS 2010}, series = {Lecture Notes in Computer Science}, editor = {Fukuda, Komei and Hoeven, Joris and Joswig, Michael and Takayama, Nobuki}, publisher = {Springer}, isbn = {978-3-642-15581-9}, pages = {299-302}, volume = {6327}, year = {2010} } PK��e3;\aR��AUTHORSnu��[��PK��e3;\k�K�� J��ChangeLognu��[��PK��e3;\��z��READMEnu��[��PK��

| ver. 1.4 | Github | . | PHP 8.1.34 | Generation time: 0 | proxy | phpinfo | Settings