├── .gitignore ├── AUTHORS ├── COPYING ├── Changes ├── Makefile ├── Makefile.config.model ├── README.mac ├── README.md ├── README.windows.md ├── apron.opam ├── apron ├── .cproject ├── COPYING ├── Makefile ├── README ├── ap_abstract0.c ├── ap_abstract0.h ├── ap_abstract1.c ├── ap_abstract1.h ├── ap_coeff.c ├── ap_coeff.h ├── ap_config.h ├── ap_dimension.c ├── ap_dimension.h ├── ap_disjunction.c ├── ap_disjunction.h ├── ap_environment.c ├── ap_environment.h ├── ap_expr0.h ├── ap_expr1.h ├── ap_generator0.c ├── ap_generator0.h ├── ap_generator1.c ├── ap_generator1.h ├── ap_generic.c ├── ap_generic.h ├── ap_global0.h ├── ap_global1.h ├── ap_interval.c ├── ap_interval.h ├── ap_lincons0.c ├── ap_lincons0.h ├── ap_lincons1.c ├── ap_lincons1.h ├── ap_linearize.c ├── ap_linearize.h ├── ap_linearize_aux.c ├── ap_linearize_aux.h ├── ap_linexpr0.c ├── ap_linexpr0.h ├── ap_linexpr1.c ├── ap_linexpr1.h ├── ap_manager.c ├── ap_manager.h ├── ap_policy.c ├── ap_policy.h ├── ap_reducedproduct.c ├── ap_reducedproduct.h ├── ap_scalar.c ├── ap_scalar.h ├── ap_tcons0.c ├── ap_tcons0.h ├── ap_tcons1.c ├── ap_tcons1.h ├── ap_texpr0.c ├── ap_texpr0.h ├── ap_texpr1.c ├── ap_texpr1.h ├── ap_var.c ├── ap_var.h ├── apron.texi ├── apronrationale.tex ├── lgpl.texi ├── rationale.texi └── test_texpr0.c ├── apronxx ├── COPYING ├── COPYING.GPL ├── COPYING.LGPL ├── Makefile ├── README ├── apronxx.cc ├── apronxx.hh ├── apronxx_test.cc ├── apronxx_test_result.txt ├── apxx_abstract0.hh ├── apxx_abstract0_inline.hh ├── apxx_abstract1.hh ├── apxx_abstract1_inline.hh ├── apxx_box.hh ├── apxx_box_inline.hh ├── apxx_coeff.hh ├── apxx_coeff_inline.hh ├── apxx_dimension.hh ├── apxx_dimension_inline.hh ├── apxx_environment.hh ├── apxx_environment_inline.hh ├── apxx_expr0.hh ├── apxx_expr1.hh ├── apxx_generator0.hh ├── apxx_generator0_inline.hh ├── apxx_generator1.hh ├── apxx_generator1_inline.hh ├── apxx_interval.hh ├── apxx_interval_inline.hh ├── apxx_lincons0.hh ├── apxx_lincons0_inline.hh ├── apxx_lincons1.hh ├── apxx_lincons1_inline.hh ├── apxx_linexpr0.hh ├── apxx_linexpr0_inline.hh ├── apxx_linexpr1.hh ├── apxx_linexpr1_inline.hh ├── apxx_manager.hh ├── apxx_manager_inline.hh ├── apxx_oct.hh ├── apxx_oct_inline.hh ├── apxx_polka.hh ├── apxx_polka_inline.hh ├── apxx_ppl.hh ├── apxx_ppl_inline.hh ├── apxx_ppl_product.hh ├── apxx_ppl_product_inline.hh ├── apxx_scalar.hh ├── apxx_scalar_inline.hh ├── apxx_t1p.hh ├── apxx_t1p_inline.hh ├── apxx_tcons0.hh ├── apxx_tcons0_inline.hh ├── apxx_tcons1.hh ├── apxx_tcons1_inline.hh ├── apxx_texpr0.hh ├── apxx_texpr0_inline.hh ├── apxx_texpr1.hh ├── apxx_texpr1_inline.hh ├── apxx_var.hh ├── apxx_var_inline.hh └── doc │ └── Doxyfile ├── avoct ├── COPYING ├── Makefile ├── README ├── avo.h ├── avo.idl ├── avo_closure.c ├── avo_fun.h ├── avo_hmat.c ├── avo_internal.h ├── avo_nary.c ├── avo_predicate.c ├── avo_print.c ├── avo_representation.c ├── avo_resize.c ├── avo_test.c ├── avo_transfer.c ├── mltest.ml ├── perlscript_c.pl ├── perlscript_caml.pl └── testall.sh ├── box ├── COPYING ├── Makefile ├── README ├── box.h ├── box.idl ├── box.texi ├── box_assign.c ├── box_assign.h ├── box_config.h ├── box_constructor.c ├── box_constructor.h ├── box_internal.c ├── box_internal.h ├── box_meetjoin.c ├── box_meetjoin.h ├── box_otherops.c ├── box_otherops.h ├── box_policy.c ├── box_policy.h ├── box_representation.c ├── box_representation.h ├── box_resize.c ├── box_resize.h ├── mlexample.ml └── perlscript_caml.pl ├── configure ├── examples ├── COPYING ├── Makefile ├── README ├── example1.c ├── mlexample1.ml ├── mlexample2.ml └── mlexample3.ml ├── fppol ├── COPYING ├── Makefile ├── README ├── bt.c ├── bt.h ├── bv.c ├── bv.h ├── fm.c ├── fm.h ├── fpp.h ├── fpp.idl ├── fpp_config.h ├── fpp_example.c ├── fpp_extract.c ├── fpp_extract.h ├── fpp_fun.h ├── fpp_internal.h ├── fpp_nary.c ├── fpp_predicate.c ├── fpp_print.c ├── fpp_representation.c ├── fpp_resize.c ├── fpp_transfer.c ├── fpp_user.c ├── fpp_user.h ├── fpp_weakjoin.c ├── fpp_weakjoin.h ├── fppol_domain.c ├── fppol_domain.h ├── mltest.ml ├── numitv.c ├── numitv.h ├── perlscript_c.pl ├── perlscript_caml.pl ├── quasi_linear.c ├── quasi_linear.h ├── rlp.c ├── rlp.h └── testall.sh ├── itv ├── COPYING ├── Makefile ├── README ├── itv.c ├── itv.h ├── itv_config.h ├── itv_fun.h ├── itv_linearize.c ├── itv_linearize.h ├── itv_linexpr.c ├── itv_linexpr.h ├── test.c └── test2.c ├── japron ├── COPYING ├── Makefile ├── README ├── apron │ ├── Abstract0.java │ ├── Abstract1.java │ ├── ApronException.java │ ├── Box.java │ ├── Coeff.java │ ├── Dimchange.java │ ├── Dimension.java │ ├── Dimperm.java │ ├── DoubleScalar.java │ ├── Environment.java │ ├── Generator0.java │ ├── Generator1.java │ ├── Interval.java │ ├── Lincons0.java │ ├── Lincons1.java │ ├── Linexpr0.java │ ├── Linexpr1.java │ ├── Linterm0.java │ ├── Linterm1.java │ ├── Manager.java │ ├── MpfrScalar.java │ ├── MpqScalar.java │ ├── NotImplementedException.java │ ├── Octagon.java │ ├── OutOfSpaceException.java │ ├── OverflowException.java │ ├── Polka.java │ ├── PolkaEq.java │ ├── PolkaGrid.java │ ├── PplGrid.java │ ├── PplPoly.java │ ├── Pplite.java │ ├── Scalar.java │ ├── StringVar.java │ ├── Tcons0.java │ ├── Tcons1.java │ ├── Test.java │ ├── TestPplite.java │ ├── Texpr0BinNode.java │ ├── Texpr0CstNode.java │ ├── Texpr0DimNode.java │ ├── Texpr0Intern.java │ ├── Texpr0Node.java │ ├── Texpr0UnNode.java │ ├── Texpr1BinNode.java │ ├── Texpr1CstNode.java │ ├── Texpr1Intern.java │ ├── Texpr1Node.java │ ├── Texpr1UnNode.java │ ├── Texpr1VarNode.java │ ├── TimeoutException.java │ ├── Var.java │ ├── apron_Abstract0.c │ ├── apron_Box.c │ ├── apron_Dimchange.c │ ├── apron_Dimperm.c │ ├── apron_Environment.c │ ├── apron_Lincons0.c │ ├── apron_Linexpr0.c │ ├── apron_Manager.c │ ├── apron_Octagon.c │ ├── apron_Polka.c │ ├── apron_PolkaEq.c │ ├── apron_PolkaGrid.c │ ├── apron_PplGrid.c │ ├── apron_PplPoly.c │ ├── apron_Pplite.c │ ├── apron_Texpr0Intern.c │ ├── apron_Var.c │ ├── japron.c │ ├── japron.h │ └── package-info.java └── gmp │ ├── Mpfr.java │ ├── Mpq.java │ ├── Mpz.java │ ├── MpzRef.java │ ├── RandState.java │ ├── Test.java │ ├── gmp_Mpfr.c │ ├── gmp_Mpq.c │ ├── gmp_Mpz.c │ ├── gmp_MpzRef.c │ ├── gmp_RandState.c │ ├── jgmp.c │ ├── jgmp.h │ └── package-info.java ├── mlapronidl ├── COPYING ├── META.in ├── META.ppl.in ├── META.pplite.in ├── Makefile ├── README ├── abstract0.idl ├── abstract1.idl ├── apron_caml.c ├── apron_caml.h ├── apron_lexer.mli ├── apron_lexer.mll ├── apron_parser.mly ├── coeff.idl ├── dim.idl ├── disjunction.idl ├── environment.idl ├── generator0.idl ├── generator1.idl ├── interval.idl ├── introduction.mli ├── introduction.odoc ├── lincons0.idl ├── lincons1.idl ├── linexpr0.idl ├── linexpr1.idl ├── macros.pl ├── manager.idl ├── mlapronidl.odoc ├── mlapronidl.tex ├── parser.ml ├── parser.mli ├── perlscript_c.pl ├── perlscript_caml.pl ├── policy.idl ├── scalar.idl ├── tcons0.idl ├── tcons1.idl ├── texpr0.idl ├── texpr1.idl ├── var.idl └── version.idl ├── newpolka ├── COPYING ├── Makefile ├── README ├── mlexample.ml ├── newpolka.texi ├── perlscript_caml.pl ├── pk.h ├── pk_approximate.c ├── pk_assign.c ├── pk_assign.h ├── pk_bit.c ├── pk_bit.h ├── pk_cherni.c ├── pk_cherni.h ├── pk_closure.c ├── pk_config.h ├── pk_constructor.c ├── pk_constructor.h ├── pk_expandfold.c ├── pk_extract.c ├── pk_extract.h ├── pk_internal.c ├── pk_internal.h ├── pk_matrix.c ├── pk_matrix.h ├── pk_meetjoin.c ├── pk_meetjoin.h ├── pk_project.c ├── pk_qsort.h ├── pk_representation.c ├── pk_representation.h ├── pk_resize.c ├── pk_resize.h ├── pk_satmat.c ├── pk_satmat.h ├── pk_test.c ├── pk_test.h ├── pk_user.c ├── pk_user.h ├── pk_vector.c ├── pk_vector.h ├── pk_widening.c ├── pkeq.c ├── pkeq.h ├── polka.idl ├── test.c ├── test.ml ├── test0.c ├── test1.c └── test_environment.c ├── num ├── COPYING ├── Makefile ├── README ├── bound.h ├── bound_def.h ├── essai.c ├── num.h ├── num_config.h ├── num_name.h ├── num_numflt.h ├── num_numint.h ├── num_numrat.h ├── numflt.h ├── numflt_mpfr.h ├── numflt_native.h ├── numint.h ├── numint_mpz.h ├── numint_native.h ├── numrat.h ├── numrat_mpq.h ├── numrat_native.h └── test.c ├── ocamlpack ├── octagons ├── COPYING ├── Makefile ├── README ├── mlexample.ml ├── mltest.ml ├── oct.h ├── oct.idl ├── oct_closure.c ├── oct_doc.html ├── oct_fun.h ├── oct_hmat.c ├── oct_internal.h ├── oct_nary.c ├── oct_predicate.c ├── oct_print.c ├── oct_representation.c ├── oct_resize.c ├── oct_test.c ├── oct_transfer.c ├── perlscript_c.pl ├── perlscript_caml.pl └── testall.sh ├── ppl ├── COPYING ├── Makefile ├── README ├── ap_ppl.h ├── ap_ppl.texi ├── mlexample.ml ├── perlscript_caml.pl ├── ppl.idl ├── ppl.patch ├── ppl_grid.cc ├── ppl_grid.h ├── ppl_grid.hh ├── ppl_poly.cc ├── ppl_poly.hh ├── ppl_test.c ├── ppl_user.cc └── ppl_user.hh ├── pplite ├── COPYING ├── Makefile ├── README ├── ap_pplite.h ├── ap_pplite.texi ├── ap_pplite_test.c ├── mlexample.ml ├── mlexample_adhoc.ml ├── perlscript_c.pl ├── perlscript_caml.pl ├── pplite.idl ├── pplite_poly.cc ├── pplite_poly.hh ├── pplite_user.cc └── pplite_user.hh ├── products ├── COPYING ├── Makefile ├── README ├── ap_disjpk.h ├── ap_pkgrid.c ├── ap_pkgrid.h ├── ap_pkgrid.texi ├── mlexample.ml ├── perlscript_caml.pl └── polkaGrid.idl ├── taylor1plus ├── Makefile ├── README.md ├── examples │ ├── InterL2.apron │ ├── InterQ1.apron │ ├── InterQ2.apron │ ├── ItvPoly.apron │ ├── Ln1px.apron │ ├── RunningExemple.apron │ ├── SinCos.apron │ ├── benchs │ │ ├── linear │ │ │ ├── InterL10.spl │ │ │ ├── InterL100.spl │ │ │ ├── InterL200.spl │ │ │ ├── InterL300.spl │ │ │ ├── InterL400.spl │ │ │ ├── InterL50.spl │ │ │ └── InterL500.spl │ │ ├── quadra │ │ │ ├── InterQ10.spl │ │ │ ├── InterQ100.spl │ │ │ ├── InterQ150.spl │ │ │ ├── InterQ200.spl │ │ │ ├── InterQ250.spl │ │ │ ├── InterQ300.spl │ │ │ ├── InterQ400.spl │ │ │ ├── InterQ50.spl │ │ │ └── InterQ500.spl │ │ └── stolfi │ │ │ ├── stolfi1.spl │ │ │ ├── stolfi10.spl │ │ │ ├── stolfi100.spl │ │ │ ├── stolfi11.spl │ │ │ ├── stolfi13.spl │ │ │ ├── stolfi2.spl │ │ │ ├── stolfi200.spl │ │ │ ├── stolfi3.spl │ │ │ ├── stolfi30.spl │ │ │ ├── stolfi300.spl │ │ │ ├── stolfi4.spl │ │ │ ├── stolfi40.spl │ │ │ ├── stolfi400.spl │ │ │ ├── stolfi45.spl │ │ │ ├── stolfi5.spl │ │ │ ├── stolfi50.spl │ │ │ ├── stolfi500.spl │ │ │ ├── stolfi55.spl │ │ │ ├── stolfi6.spl │ │ │ ├── stolfi7.spl │ │ │ ├── stolfi8.spl │ │ │ └── stolfi9.spl │ └── cosine.apron ├── param.csdp ├── perlscript_caml.pl ├── t1p.h ├── t1p.idl ├── t1p_assign.c ├── t1p_assign.h ├── t1p_constructor.c ├── t1p_constructor.h ├── t1p_fun.c ├── t1p_fun.h ├── t1p_internal.c ├── t1p_internal.h ├── t1p_itv_utils.c ├── t1p_itv_utils.h ├── t1p_macro_def.h ├── t1p_meetjoin.c ├── t1p_meetjoin.h ├── t1p_otherops.c ├── t1p_otherops.h ├── t1p_representation.c ├── t1p_representation.h ├── t1p_resize.c ├── t1p_resize.h ├── t1p_test.c └── t1p_test_eval_texp.c ├── test ├── COPYING ├── Makefile ├── README ├── ctest1.c ├── ctest2.c ├── ctest3.c ├── mlexample0.ml └── sorttest.c ├── vars.mk └── version.mk /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/.gitignore -------------------------------------------------------------------------------- /AUTHORS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/AUTHORS -------------------------------------------------------------------------------- /COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/COPYING -------------------------------------------------------------------------------- /Changes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/Changes -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/Makefile -------------------------------------------------------------------------------- /Makefile.config.model: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/Makefile.config.model -------------------------------------------------------------------------------- /README.mac: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/README.mac -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/README.md -------------------------------------------------------------------------------- /README.windows.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/README.windows.md -------------------------------------------------------------------------------- /apron.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron.opam -------------------------------------------------------------------------------- /apron/.cproject: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/.cproject -------------------------------------------------------------------------------- /apron/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/COPYING -------------------------------------------------------------------------------- /apron/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/Makefile -------------------------------------------------------------------------------- /apron/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/README -------------------------------------------------------------------------------- /apron/ap_abstract0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_abstract0.c -------------------------------------------------------------------------------- /apron/ap_abstract0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_abstract0.h -------------------------------------------------------------------------------- /apron/ap_abstract1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_abstract1.c -------------------------------------------------------------------------------- /apron/ap_abstract1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_abstract1.h -------------------------------------------------------------------------------- /apron/ap_coeff.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_coeff.c -------------------------------------------------------------------------------- /apron/ap_coeff.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_coeff.h -------------------------------------------------------------------------------- /apron/ap_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_config.h -------------------------------------------------------------------------------- /apron/ap_dimension.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_dimension.c -------------------------------------------------------------------------------- /apron/ap_dimension.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_dimension.h -------------------------------------------------------------------------------- /apron/ap_disjunction.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_disjunction.c -------------------------------------------------------------------------------- /apron/ap_disjunction.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_disjunction.h -------------------------------------------------------------------------------- /apron/ap_environment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_environment.c -------------------------------------------------------------------------------- /apron/ap_environment.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_environment.h -------------------------------------------------------------------------------- /apron/ap_expr0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_expr0.h -------------------------------------------------------------------------------- /apron/ap_expr1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_expr1.h -------------------------------------------------------------------------------- /apron/ap_generator0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_generator0.c -------------------------------------------------------------------------------- /apron/ap_generator0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_generator0.h -------------------------------------------------------------------------------- /apron/ap_generator1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_generator1.c -------------------------------------------------------------------------------- /apron/ap_generator1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_generator1.h -------------------------------------------------------------------------------- /apron/ap_generic.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_generic.c -------------------------------------------------------------------------------- /apron/ap_generic.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_generic.h -------------------------------------------------------------------------------- /apron/ap_global0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_global0.h -------------------------------------------------------------------------------- /apron/ap_global1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_global1.h -------------------------------------------------------------------------------- /apron/ap_interval.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_interval.c -------------------------------------------------------------------------------- /apron/ap_interval.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_interval.h -------------------------------------------------------------------------------- /apron/ap_lincons0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_lincons0.c -------------------------------------------------------------------------------- /apron/ap_lincons0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_lincons0.h -------------------------------------------------------------------------------- /apron/ap_lincons1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_lincons1.c -------------------------------------------------------------------------------- /apron/ap_lincons1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_lincons1.h -------------------------------------------------------------------------------- /apron/ap_linearize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_linearize.c -------------------------------------------------------------------------------- /apron/ap_linearize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_linearize.h -------------------------------------------------------------------------------- /apron/ap_linearize_aux.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_linearize_aux.c -------------------------------------------------------------------------------- /apron/ap_linearize_aux.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_linearize_aux.h -------------------------------------------------------------------------------- /apron/ap_linexpr0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_linexpr0.c -------------------------------------------------------------------------------- /apron/ap_linexpr0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_linexpr0.h -------------------------------------------------------------------------------- /apron/ap_linexpr1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_linexpr1.c -------------------------------------------------------------------------------- /apron/ap_linexpr1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_linexpr1.h -------------------------------------------------------------------------------- /apron/ap_manager.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_manager.c -------------------------------------------------------------------------------- /apron/ap_manager.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_manager.h -------------------------------------------------------------------------------- /apron/ap_policy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_policy.c -------------------------------------------------------------------------------- /apron/ap_policy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_policy.h -------------------------------------------------------------------------------- /apron/ap_reducedproduct.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_reducedproduct.c -------------------------------------------------------------------------------- /apron/ap_reducedproduct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_reducedproduct.h -------------------------------------------------------------------------------- /apron/ap_scalar.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_scalar.c -------------------------------------------------------------------------------- /apron/ap_scalar.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_scalar.h -------------------------------------------------------------------------------- /apron/ap_tcons0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_tcons0.c -------------------------------------------------------------------------------- /apron/ap_tcons0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_tcons0.h -------------------------------------------------------------------------------- /apron/ap_tcons1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_tcons1.c -------------------------------------------------------------------------------- /apron/ap_tcons1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_tcons1.h -------------------------------------------------------------------------------- /apron/ap_texpr0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_texpr0.c -------------------------------------------------------------------------------- /apron/ap_texpr0.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_texpr0.h -------------------------------------------------------------------------------- /apron/ap_texpr1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_texpr1.c -------------------------------------------------------------------------------- /apron/ap_texpr1.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_texpr1.h -------------------------------------------------------------------------------- /apron/ap_var.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_var.c -------------------------------------------------------------------------------- /apron/ap_var.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/ap_var.h -------------------------------------------------------------------------------- /apron/apron.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/apron.texi -------------------------------------------------------------------------------- /apron/apronrationale.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/apronrationale.tex -------------------------------------------------------------------------------- /apron/lgpl.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/lgpl.texi -------------------------------------------------------------------------------- /apron/rationale.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/rationale.texi -------------------------------------------------------------------------------- /apron/test_texpr0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apron/test_texpr0.c -------------------------------------------------------------------------------- /apronxx/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/COPYING -------------------------------------------------------------------------------- /apronxx/COPYING.GPL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/COPYING.GPL -------------------------------------------------------------------------------- /apronxx/COPYING.LGPL: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/COPYING.LGPL -------------------------------------------------------------------------------- /apronxx/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/Makefile -------------------------------------------------------------------------------- /apronxx/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/README -------------------------------------------------------------------------------- /apronxx/apronxx.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apronxx.cc -------------------------------------------------------------------------------- /apronxx/apronxx.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apronxx.hh -------------------------------------------------------------------------------- /apronxx/apronxx_test.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apronxx_test.cc -------------------------------------------------------------------------------- /apronxx/apronxx_test_result.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apronxx_test_result.txt -------------------------------------------------------------------------------- /apronxx/apxx_abstract0.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_abstract0.hh -------------------------------------------------------------------------------- /apronxx/apxx_abstract0_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_abstract0_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_abstract1.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_abstract1.hh -------------------------------------------------------------------------------- /apronxx/apxx_abstract1_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_abstract1_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_box.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_box.hh -------------------------------------------------------------------------------- /apronxx/apxx_box_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_box_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_coeff.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_coeff.hh -------------------------------------------------------------------------------- /apronxx/apxx_coeff_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_coeff_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_dimension.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_dimension.hh -------------------------------------------------------------------------------- /apronxx/apxx_dimension_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_dimension_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_environment.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_environment.hh -------------------------------------------------------------------------------- /apronxx/apxx_environment_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_environment_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_expr0.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_expr0.hh -------------------------------------------------------------------------------- /apronxx/apxx_expr1.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_expr1.hh -------------------------------------------------------------------------------- /apronxx/apxx_generator0.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_generator0.hh -------------------------------------------------------------------------------- /apronxx/apxx_generator0_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_generator0_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_generator1.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_generator1.hh -------------------------------------------------------------------------------- /apronxx/apxx_generator1_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_generator1_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_interval.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_interval.hh -------------------------------------------------------------------------------- /apronxx/apxx_interval_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_interval_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_lincons0.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_lincons0.hh -------------------------------------------------------------------------------- /apronxx/apxx_lincons0_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_lincons0_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_lincons1.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_lincons1.hh -------------------------------------------------------------------------------- /apronxx/apxx_lincons1_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_lincons1_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_linexpr0.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_linexpr0.hh -------------------------------------------------------------------------------- /apronxx/apxx_linexpr0_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_linexpr0_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_linexpr1.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_linexpr1.hh -------------------------------------------------------------------------------- /apronxx/apxx_linexpr1_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_linexpr1_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_manager.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_manager.hh -------------------------------------------------------------------------------- /apronxx/apxx_manager_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_manager_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_oct.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_oct.hh -------------------------------------------------------------------------------- /apronxx/apxx_oct_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_oct_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_polka.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_polka.hh -------------------------------------------------------------------------------- /apronxx/apxx_polka_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_polka_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_ppl.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_ppl.hh -------------------------------------------------------------------------------- /apronxx/apxx_ppl_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_ppl_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_ppl_product.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_ppl_product.hh -------------------------------------------------------------------------------- /apronxx/apxx_ppl_product_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_ppl_product_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_scalar.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_scalar.hh -------------------------------------------------------------------------------- /apronxx/apxx_scalar_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_scalar_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_t1p.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_t1p.hh -------------------------------------------------------------------------------- /apronxx/apxx_t1p_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_t1p_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_tcons0.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_tcons0.hh -------------------------------------------------------------------------------- /apronxx/apxx_tcons0_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_tcons0_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_tcons1.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_tcons1.hh -------------------------------------------------------------------------------- /apronxx/apxx_tcons1_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_tcons1_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_texpr0.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_texpr0.hh -------------------------------------------------------------------------------- /apronxx/apxx_texpr0_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_texpr0_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_texpr1.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_texpr1.hh -------------------------------------------------------------------------------- /apronxx/apxx_texpr1_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_texpr1_inline.hh -------------------------------------------------------------------------------- /apronxx/apxx_var.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_var.hh -------------------------------------------------------------------------------- /apronxx/apxx_var_inline.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/apxx_var_inline.hh -------------------------------------------------------------------------------- /apronxx/doc/Doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/apronxx/doc/Doxyfile -------------------------------------------------------------------------------- /avoct/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/COPYING -------------------------------------------------------------------------------- /avoct/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/Makefile -------------------------------------------------------------------------------- /avoct/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/README -------------------------------------------------------------------------------- /avoct/avo.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo.h -------------------------------------------------------------------------------- /avoct/avo.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo.idl -------------------------------------------------------------------------------- /avoct/avo_closure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_closure.c -------------------------------------------------------------------------------- /avoct/avo_fun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_fun.h -------------------------------------------------------------------------------- /avoct/avo_hmat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_hmat.c -------------------------------------------------------------------------------- /avoct/avo_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_internal.h -------------------------------------------------------------------------------- /avoct/avo_nary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_nary.c -------------------------------------------------------------------------------- /avoct/avo_predicate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_predicate.c -------------------------------------------------------------------------------- /avoct/avo_print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_print.c -------------------------------------------------------------------------------- /avoct/avo_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_representation.c -------------------------------------------------------------------------------- /avoct/avo_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_resize.c -------------------------------------------------------------------------------- /avoct/avo_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_test.c -------------------------------------------------------------------------------- /avoct/avo_transfer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/avo_transfer.c -------------------------------------------------------------------------------- /avoct/mltest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/mltest.ml -------------------------------------------------------------------------------- /avoct/perlscript_c.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/perlscript_c.pl -------------------------------------------------------------------------------- /avoct/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/perlscript_caml.pl -------------------------------------------------------------------------------- /avoct/testall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/avoct/testall.sh -------------------------------------------------------------------------------- /box/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/COPYING -------------------------------------------------------------------------------- /box/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/Makefile -------------------------------------------------------------------------------- /box/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/README -------------------------------------------------------------------------------- /box/box.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box.h -------------------------------------------------------------------------------- /box/box.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box.idl -------------------------------------------------------------------------------- /box/box.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box.texi -------------------------------------------------------------------------------- /box/box_assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_assign.c -------------------------------------------------------------------------------- /box/box_assign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_assign.h -------------------------------------------------------------------------------- /box/box_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_config.h -------------------------------------------------------------------------------- /box/box_constructor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_constructor.c -------------------------------------------------------------------------------- /box/box_constructor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_constructor.h -------------------------------------------------------------------------------- /box/box_internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_internal.c -------------------------------------------------------------------------------- /box/box_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_internal.h -------------------------------------------------------------------------------- /box/box_meetjoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_meetjoin.c -------------------------------------------------------------------------------- /box/box_meetjoin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_meetjoin.h -------------------------------------------------------------------------------- /box/box_otherops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_otherops.c -------------------------------------------------------------------------------- /box/box_otherops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_otherops.h -------------------------------------------------------------------------------- /box/box_policy.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_policy.c -------------------------------------------------------------------------------- /box/box_policy.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_policy.h -------------------------------------------------------------------------------- /box/box_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_representation.c -------------------------------------------------------------------------------- /box/box_representation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_representation.h -------------------------------------------------------------------------------- /box/box_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_resize.c -------------------------------------------------------------------------------- /box/box_resize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/box_resize.h -------------------------------------------------------------------------------- /box/mlexample.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/mlexample.ml -------------------------------------------------------------------------------- /box/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/box/perlscript_caml.pl -------------------------------------------------------------------------------- /configure: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/configure -------------------------------------------------------------------------------- /examples/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/examples/COPYING -------------------------------------------------------------------------------- /examples/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/examples/Makefile -------------------------------------------------------------------------------- /examples/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/examples/README -------------------------------------------------------------------------------- /examples/example1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/examples/example1.c -------------------------------------------------------------------------------- /examples/mlexample1.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/examples/mlexample1.ml -------------------------------------------------------------------------------- /examples/mlexample2.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/examples/mlexample2.ml -------------------------------------------------------------------------------- /examples/mlexample3.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/examples/mlexample3.ml -------------------------------------------------------------------------------- /fppol/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/COPYING -------------------------------------------------------------------------------- /fppol/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/Makefile -------------------------------------------------------------------------------- /fppol/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/README -------------------------------------------------------------------------------- /fppol/bt.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/bt.c -------------------------------------------------------------------------------- /fppol/bt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/bt.h -------------------------------------------------------------------------------- /fppol/bv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/bv.c -------------------------------------------------------------------------------- /fppol/bv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/bv.h -------------------------------------------------------------------------------- /fppol/fm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fm.c -------------------------------------------------------------------------------- /fppol/fm.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fm.h -------------------------------------------------------------------------------- /fppol/fpp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp.h -------------------------------------------------------------------------------- /fppol/fpp.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp.idl -------------------------------------------------------------------------------- /fppol/fpp_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_config.h -------------------------------------------------------------------------------- /fppol/fpp_example.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_example.c -------------------------------------------------------------------------------- /fppol/fpp_extract.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_extract.c -------------------------------------------------------------------------------- /fppol/fpp_extract.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_extract.h -------------------------------------------------------------------------------- /fppol/fpp_fun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_fun.h -------------------------------------------------------------------------------- /fppol/fpp_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_internal.h -------------------------------------------------------------------------------- /fppol/fpp_nary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_nary.c -------------------------------------------------------------------------------- /fppol/fpp_predicate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_predicate.c -------------------------------------------------------------------------------- /fppol/fpp_print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_print.c -------------------------------------------------------------------------------- /fppol/fpp_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_representation.c -------------------------------------------------------------------------------- /fppol/fpp_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_resize.c -------------------------------------------------------------------------------- /fppol/fpp_transfer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_transfer.c -------------------------------------------------------------------------------- /fppol/fpp_user.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_user.c -------------------------------------------------------------------------------- /fppol/fpp_user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_user.h -------------------------------------------------------------------------------- /fppol/fpp_weakjoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_weakjoin.c -------------------------------------------------------------------------------- /fppol/fpp_weakjoin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fpp_weakjoin.h -------------------------------------------------------------------------------- /fppol/fppol_domain.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fppol_domain.c -------------------------------------------------------------------------------- /fppol/fppol_domain.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/fppol_domain.h -------------------------------------------------------------------------------- /fppol/mltest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/mltest.ml -------------------------------------------------------------------------------- /fppol/numitv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/numitv.c -------------------------------------------------------------------------------- /fppol/numitv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/numitv.h -------------------------------------------------------------------------------- /fppol/perlscript_c.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/perlscript_c.pl -------------------------------------------------------------------------------- /fppol/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/perlscript_caml.pl -------------------------------------------------------------------------------- /fppol/quasi_linear.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/quasi_linear.c -------------------------------------------------------------------------------- /fppol/quasi_linear.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/quasi_linear.h -------------------------------------------------------------------------------- /fppol/rlp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/rlp.c -------------------------------------------------------------------------------- /fppol/rlp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/rlp.h -------------------------------------------------------------------------------- /fppol/testall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/fppol/testall.sh -------------------------------------------------------------------------------- /itv/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/COPYING -------------------------------------------------------------------------------- /itv/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/Makefile -------------------------------------------------------------------------------- /itv/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/README -------------------------------------------------------------------------------- /itv/itv.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/itv.c -------------------------------------------------------------------------------- /itv/itv.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/itv.h -------------------------------------------------------------------------------- /itv/itv_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/itv_config.h -------------------------------------------------------------------------------- /itv/itv_fun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/itv_fun.h -------------------------------------------------------------------------------- /itv/itv_linearize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/itv_linearize.c -------------------------------------------------------------------------------- /itv/itv_linearize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/itv_linearize.h -------------------------------------------------------------------------------- /itv/itv_linexpr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/itv_linexpr.c -------------------------------------------------------------------------------- /itv/itv_linexpr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/itv_linexpr.h -------------------------------------------------------------------------------- /itv/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/test.c -------------------------------------------------------------------------------- /itv/test2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/itv/test2.c -------------------------------------------------------------------------------- /japron/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/COPYING -------------------------------------------------------------------------------- /japron/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/Makefile -------------------------------------------------------------------------------- /japron/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/README -------------------------------------------------------------------------------- /japron/apron/Abstract0.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Abstract0.java -------------------------------------------------------------------------------- /japron/apron/Abstract1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Abstract1.java -------------------------------------------------------------------------------- /japron/apron/ApronException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/ApronException.java -------------------------------------------------------------------------------- /japron/apron/Box.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Box.java -------------------------------------------------------------------------------- /japron/apron/Coeff.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Coeff.java -------------------------------------------------------------------------------- /japron/apron/Dimchange.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Dimchange.java -------------------------------------------------------------------------------- /japron/apron/Dimension.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Dimension.java -------------------------------------------------------------------------------- /japron/apron/Dimperm.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Dimperm.java -------------------------------------------------------------------------------- /japron/apron/DoubleScalar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/DoubleScalar.java -------------------------------------------------------------------------------- /japron/apron/Environment.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Environment.java -------------------------------------------------------------------------------- /japron/apron/Generator0.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Generator0.java -------------------------------------------------------------------------------- /japron/apron/Generator1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Generator1.java -------------------------------------------------------------------------------- /japron/apron/Interval.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Interval.java -------------------------------------------------------------------------------- /japron/apron/Lincons0.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Lincons0.java -------------------------------------------------------------------------------- /japron/apron/Lincons1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Lincons1.java -------------------------------------------------------------------------------- /japron/apron/Linexpr0.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Linexpr0.java -------------------------------------------------------------------------------- /japron/apron/Linexpr1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Linexpr1.java -------------------------------------------------------------------------------- /japron/apron/Linterm0.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Linterm0.java -------------------------------------------------------------------------------- /japron/apron/Linterm1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Linterm1.java -------------------------------------------------------------------------------- /japron/apron/Manager.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Manager.java -------------------------------------------------------------------------------- /japron/apron/MpfrScalar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/MpfrScalar.java -------------------------------------------------------------------------------- /japron/apron/MpqScalar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/MpqScalar.java -------------------------------------------------------------------------------- /japron/apron/NotImplementedException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/NotImplementedException.java -------------------------------------------------------------------------------- /japron/apron/Octagon.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Octagon.java -------------------------------------------------------------------------------- /japron/apron/OutOfSpaceException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/OutOfSpaceException.java -------------------------------------------------------------------------------- /japron/apron/OverflowException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/OverflowException.java -------------------------------------------------------------------------------- /japron/apron/Polka.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Polka.java -------------------------------------------------------------------------------- /japron/apron/PolkaEq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/PolkaEq.java -------------------------------------------------------------------------------- /japron/apron/PolkaGrid.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/PolkaGrid.java -------------------------------------------------------------------------------- /japron/apron/PplGrid.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/PplGrid.java -------------------------------------------------------------------------------- /japron/apron/PplPoly.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/PplPoly.java -------------------------------------------------------------------------------- /japron/apron/Pplite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Pplite.java -------------------------------------------------------------------------------- /japron/apron/Scalar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Scalar.java -------------------------------------------------------------------------------- /japron/apron/StringVar.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/StringVar.java -------------------------------------------------------------------------------- /japron/apron/Tcons0.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Tcons0.java -------------------------------------------------------------------------------- /japron/apron/Tcons1.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Tcons1.java -------------------------------------------------------------------------------- /japron/apron/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Test.java -------------------------------------------------------------------------------- /japron/apron/TestPplite.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/TestPplite.java -------------------------------------------------------------------------------- /japron/apron/Texpr0BinNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr0BinNode.java -------------------------------------------------------------------------------- /japron/apron/Texpr0CstNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr0CstNode.java -------------------------------------------------------------------------------- /japron/apron/Texpr0DimNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr0DimNode.java -------------------------------------------------------------------------------- /japron/apron/Texpr0Intern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr0Intern.java -------------------------------------------------------------------------------- /japron/apron/Texpr0Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr0Node.java -------------------------------------------------------------------------------- /japron/apron/Texpr0UnNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr0UnNode.java -------------------------------------------------------------------------------- /japron/apron/Texpr1BinNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr1BinNode.java -------------------------------------------------------------------------------- /japron/apron/Texpr1CstNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr1CstNode.java -------------------------------------------------------------------------------- /japron/apron/Texpr1Intern.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr1Intern.java -------------------------------------------------------------------------------- /japron/apron/Texpr1Node.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr1Node.java -------------------------------------------------------------------------------- /japron/apron/Texpr1UnNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr1UnNode.java -------------------------------------------------------------------------------- /japron/apron/Texpr1VarNode.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Texpr1VarNode.java -------------------------------------------------------------------------------- /japron/apron/TimeoutException.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/TimeoutException.java -------------------------------------------------------------------------------- /japron/apron/Var.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/Var.java -------------------------------------------------------------------------------- /japron/apron/apron_Abstract0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Abstract0.c -------------------------------------------------------------------------------- /japron/apron/apron_Box.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Box.c -------------------------------------------------------------------------------- /japron/apron/apron_Dimchange.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Dimchange.c -------------------------------------------------------------------------------- /japron/apron/apron_Dimperm.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Dimperm.c -------------------------------------------------------------------------------- /japron/apron/apron_Environment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Environment.c -------------------------------------------------------------------------------- /japron/apron/apron_Lincons0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Lincons0.c -------------------------------------------------------------------------------- /japron/apron/apron_Linexpr0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Linexpr0.c -------------------------------------------------------------------------------- /japron/apron/apron_Manager.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Manager.c -------------------------------------------------------------------------------- /japron/apron/apron_Octagon.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Octagon.c -------------------------------------------------------------------------------- /japron/apron/apron_Polka.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Polka.c -------------------------------------------------------------------------------- /japron/apron/apron_PolkaEq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_PolkaEq.c -------------------------------------------------------------------------------- /japron/apron/apron_PolkaGrid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_PolkaGrid.c -------------------------------------------------------------------------------- /japron/apron/apron_PplGrid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_PplGrid.c -------------------------------------------------------------------------------- /japron/apron/apron_PplPoly.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_PplPoly.c -------------------------------------------------------------------------------- /japron/apron/apron_Pplite.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Pplite.c -------------------------------------------------------------------------------- /japron/apron/apron_Texpr0Intern.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Texpr0Intern.c -------------------------------------------------------------------------------- /japron/apron/apron_Var.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/apron_Var.c -------------------------------------------------------------------------------- /japron/apron/japron.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/japron.c -------------------------------------------------------------------------------- /japron/apron/japron.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/japron.h -------------------------------------------------------------------------------- /japron/apron/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/apron/package-info.java -------------------------------------------------------------------------------- /japron/gmp/Mpfr.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/Mpfr.java -------------------------------------------------------------------------------- /japron/gmp/Mpq.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/Mpq.java -------------------------------------------------------------------------------- /japron/gmp/Mpz.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/Mpz.java -------------------------------------------------------------------------------- /japron/gmp/MpzRef.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/MpzRef.java -------------------------------------------------------------------------------- /japron/gmp/RandState.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/RandState.java -------------------------------------------------------------------------------- /japron/gmp/Test.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/Test.java -------------------------------------------------------------------------------- /japron/gmp/gmp_Mpfr.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/gmp_Mpfr.c -------------------------------------------------------------------------------- /japron/gmp/gmp_Mpq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/gmp_Mpq.c -------------------------------------------------------------------------------- /japron/gmp/gmp_Mpz.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/gmp_Mpz.c -------------------------------------------------------------------------------- /japron/gmp/gmp_MpzRef.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/gmp_MpzRef.c -------------------------------------------------------------------------------- /japron/gmp/gmp_RandState.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/gmp_RandState.c -------------------------------------------------------------------------------- /japron/gmp/jgmp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/jgmp.c -------------------------------------------------------------------------------- /japron/gmp/jgmp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/jgmp.h -------------------------------------------------------------------------------- /japron/gmp/package-info.java: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/japron/gmp/package-info.java -------------------------------------------------------------------------------- /mlapronidl/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/COPYING -------------------------------------------------------------------------------- /mlapronidl/META.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/META.in -------------------------------------------------------------------------------- /mlapronidl/META.ppl.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/META.ppl.in -------------------------------------------------------------------------------- /mlapronidl/META.pplite.in: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/META.pplite.in -------------------------------------------------------------------------------- /mlapronidl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/Makefile -------------------------------------------------------------------------------- /mlapronidl/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/README -------------------------------------------------------------------------------- /mlapronidl/abstract0.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/abstract0.idl -------------------------------------------------------------------------------- /mlapronidl/abstract1.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/abstract1.idl -------------------------------------------------------------------------------- /mlapronidl/apron_caml.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/apron_caml.c -------------------------------------------------------------------------------- /mlapronidl/apron_caml.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/apron_caml.h -------------------------------------------------------------------------------- /mlapronidl/apron_lexer.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/apron_lexer.mli -------------------------------------------------------------------------------- /mlapronidl/apron_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/apron_lexer.mll -------------------------------------------------------------------------------- /mlapronidl/apron_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/apron_parser.mly -------------------------------------------------------------------------------- /mlapronidl/coeff.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/coeff.idl -------------------------------------------------------------------------------- /mlapronidl/dim.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/dim.idl -------------------------------------------------------------------------------- /mlapronidl/disjunction.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/disjunction.idl -------------------------------------------------------------------------------- /mlapronidl/environment.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/environment.idl -------------------------------------------------------------------------------- /mlapronidl/generator0.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/generator0.idl -------------------------------------------------------------------------------- /mlapronidl/generator1.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/generator1.idl -------------------------------------------------------------------------------- /mlapronidl/interval.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/interval.idl -------------------------------------------------------------------------------- /mlapronidl/introduction.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/introduction.mli -------------------------------------------------------------------------------- /mlapronidl/introduction.odoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/introduction.odoc -------------------------------------------------------------------------------- /mlapronidl/lincons0.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/lincons0.idl -------------------------------------------------------------------------------- /mlapronidl/lincons1.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/lincons1.idl -------------------------------------------------------------------------------- /mlapronidl/linexpr0.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/linexpr0.idl -------------------------------------------------------------------------------- /mlapronidl/linexpr1.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/linexpr1.idl -------------------------------------------------------------------------------- /mlapronidl/macros.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/macros.pl -------------------------------------------------------------------------------- /mlapronidl/manager.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/manager.idl -------------------------------------------------------------------------------- /mlapronidl/mlapronidl.odoc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/mlapronidl.odoc -------------------------------------------------------------------------------- /mlapronidl/mlapronidl.tex: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/mlapronidl.tex -------------------------------------------------------------------------------- /mlapronidl/parser.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/parser.ml -------------------------------------------------------------------------------- /mlapronidl/parser.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/parser.mli -------------------------------------------------------------------------------- /mlapronidl/perlscript_c.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/perlscript_c.pl -------------------------------------------------------------------------------- /mlapronidl/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/perlscript_caml.pl -------------------------------------------------------------------------------- /mlapronidl/policy.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/policy.idl -------------------------------------------------------------------------------- /mlapronidl/scalar.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/scalar.idl -------------------------------------------------------------------------------- /mlapronidl/tcons0.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/tcons0.idl -------------------------------------------------------------------------------- /mlapronidl/tcons1.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/tcons1.idl -------------------------------------------------------------------------------- /mlapronidl/texpr0.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/texpr0.idl -------------------------------------------------------------------------------- /mlapronidl/texpr1.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/texpr1.idl -------------------------------------------------------------------------------- /mlapronidl/var.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/var.idl -------------------------------------------------------------------------------- /mlapronidl/version.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/mlapronidl/version.idl -------------------------------------------------------------------------------- /newpolka/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/COPYING -------------------------------------------------------------------------------- /newpolka/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/Makefile -------------------------------------------------------------------------------- /newpolka/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/README -------------------------------------------------------------------------------- /newpolka/mlexample.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/mlexample.ml -------------------------------------------------------------------------------- /newpolka/newpolka.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/newpolka.texi -------------------------------------------------------------------------------- /newpolka/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/perlscript_caml.pl -------------------------------------------------------------------------------- /newpolka/pk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk.h -------------------------------------------------------------------------------- /newpolka/pk_approximate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_approximate.c -------------------------------------------------------------------------------- /newpolka/pk_assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_assign.c -------------------------------------------------------------------------------- /newpolka/pk_assign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_assign.h -------------------------------------------------------------------------------- /newpolka/pk_bit.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_bit.c -------------------------------------------------------------------------------- /newpolka/pk_bit.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_bit.h -------------------------------------------------------------------------------- /newpolka/pk_cherni.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_cherni.c -------------------------------------------------------------------------------- /newpolka/pk_cherni.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_cherni.h -------------------------------------------------------------------------------- /newpolka/pk_closure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_closure.c -------------------------------------------------------------------------------- /newpolka/pk_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_config.h -------------------------------------------------------------------------------- /newpolka/pk_constructor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_constructor.c -------------------------------------------------------------------------------- /newpolka/pk_constructor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_constructor.h -------------------------------------------------------------------------------- /newpolka/pk_expandfold.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_expandfold.c -------------------------------------------------------------------------------- /newpolka/pk_extract.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_extract.c -------------------------------------------------------------------------------- /newpolka/pk_extract.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_extract.h -------------------------------------------------------------------------------- /newpolka/pk_internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_internal.c -------------------------------------------------------------------------------- /newpolka/pk_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_internal.h -------------------------------------------------------------------------------- /newpolka/pk_matrix.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_matrix.c -------------------------------------------------------------------------------- /newpolka/pk_matrix.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_matrix.h -------------------------------------------------------------------------------- /newpolka/pk_meetjoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_meetjoin.c -------------------------------------------------------------------------------- /newpolka/pk_meetjoin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_meetjoin.h -------------------------------------------------------------------------------- /newpolka/pk_project.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_project.c -------------------------------------------------------------------------------- /newpolka/pk_qsort.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_qsort.h -------------------------------------------------------------------------------- /newpolka/pk_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_representation.c -------------------------------------------------------------------------------- /newpolka/pk_representation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_representation.h -------------------------------------------------------------------------------- /newpolka/pk_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_resize.c -------------------------------------------------------------------------------- /newpolka/pk_resize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_resize.h -------------------------------------------------------------------------------- /newpolka/pk_satmat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_satmat.c -------------------------------------------------------------------------------- /newpolka/pk_satmat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_satmat.h -------------------------------------------------------------------------------- /newpolka/pk_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_test.c -------------------------------------------------------------------------------- /newpolka/pk_test.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_test.h -------------------------------------------------------------------------------- /newpolka/pk_user.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_user.c -------------------------------------------------------------------------------- /newpolka/pk_user.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_user.h -------------------------------------------------------------------------------- /newpolka/pk_vector.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_vector.c -------------------------------------------------------------------------------- /newpolka/pk_vector.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_vector.h -------------------------------------------------------------------------------- /newpolka/pk_widening.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pk_widening.c -------------------------------------------------------------------------------- /newpolka/pkeq.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pkeq.c -------------------------------------------------------------------------------- /newpolka/pkeq.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/pkeq.h -------------------------------------------------------------------------------- /newpolka/polka.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/polka.idl -------------------------------------------------------------------------------- /newpolka/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/test.c -------------------------------------------------------------------------------- /newpolka/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/test.ml -------------------------------------------------------------------------------- /newpolka/test0.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/test0.c -------------------------------------------------------------------------------- /newpolka/test1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/test1.c -------------------------------------------------------------------------------- /newpolka/test_environment.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/newpolka/test_environment.c -------------------------------------------------------------------------------- /num/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/COPYING -------------------------------------------------------------------------------- /num/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/Makefile -------------------------------------------------------------------------------- /num/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/README -------------------------------------------------------------------------------- /num/bound.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/bound.h -------------------------------------------------------------------------------- /num/bound_def.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/bound_def.h -------------------------------------------------------------------------------- /num/essai.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/essai.c -------------------------------------------------------------------------------- /num/num.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/num.h -------------------------------------------------------------------------------- /num/num_config.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/num_config.h -------------------------------------------------------------------------------- /num/num_name.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/num_name.h -------------------------------------------------------------------------------- /num/num_numflt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/num_numflt.h -------------------------------------------------------------------------------- /num/num_numint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/num_numint.h -------------------------------------------------------------------------------- /num/num_numrat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/num_numrat.h -------------------------------------------------------------------------------- /num/numflt.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/numflt.h -------------------------------------------------------------------------------- /num/numflt_mpfr.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/numflt_mpfr.h -------------------------------------------------------------------------------- /num/numflt_native.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/numflt_native.h -------------------------------------------------------------------------------- /num/numint.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/numint.h -------------------------------------------------------------------------------- /num/numint_mpz.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/numint_mpz.h -------------------------------------------------------------------------------- /num/numint_native.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/numint_native.h -------------------------------------------------------------------------------- /num/numrat.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/numrat.h -------------------------------------------------------------------------------- /num/numrat_mpq.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/numrat_mpq.h -------------------------------------------------------------------------------- /num/numrat_native.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/numrat_native.h -------------------------------------------------------------------------------- /num/test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/num/test.c -------------------------------------------------------------------------------- /ocamlpack: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ocamlpack -------------------------------------------------------------------------------- /octagons/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/COPYING -------------------------------------------------------------------------------- /octagons/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/Makefile -------------------------------------------------------------------------------- /octagons/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/README -------------------------------------------------------------------------------- /octagons/mlexample.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/mlexample.ml -------------------------------------------------------------------------------- /octagons/mltest.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/mltest.ml -------------------------------------------------------------------------------- /octagons/oct.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct.h -------------------------------------------------------------------------------- /octagons/oct.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct.idl -------------------------------------------------------------------------------- /octagons/oct_closure.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_closure.c -------------------------------------------------------------------------------- /octagons/oct_doc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_doc.html -------------------------------------------------------------------------------- /octagons/oct_fun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_fun.h -------------------------------------------------------------------------------- /octagons/oct_hmat.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_hmat.c -------------------------------------------------------------------------------- /octagons/oct_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_internal.h -------------------------------------------------------------------------------- /octagons/oct_nary.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_nary.c -------------------------------------------------------------------------------- /octagons/oct_predicate.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_predicate.c -------------------------------------------------------------------------------- /octagons/oct_print.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_print.c -------------------------------------------------------------------------------- /octagons/oct_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_representation.c -------------------------------------------------------------------------------- /octagons/oct_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_resize.c -------------------------------------------------------------------------------- /octagons/oct_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_test.c -------------------------------------------------------------------------------- /octagons/oct_transfer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/oct_transfer.c -------------------------------------------------------------------------------- /octagons/perlscript_c.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/perlscript_c.pl -------------------------------------------------------------------------------- /octagons/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/perlscript_caml.pl -------------------------------------------------------------------------------- /octagons/testall.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/octagons/testall.sh -------------------------------------------------------------------------------- /ppl/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/COPYING -------------------------------------------------------------------------------- /ppl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/Makefile -------------------------------------------------------------------------------- /ppl/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/README -------------------------------------------------------------------------------- /ppl/ap_ppl.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ap_ppl.h -------------------------------------------------------------------------------- /ppl/ap_ppl.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ap_ppl.texi -------------------------------------------------------------------------------- /ppl/mlexample.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/mlexample.ml -------------------------------------------------------------------------------- /ppl/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/perlscript_caml.pl -------------------------------------------------------------------------------- /ppl/ppl.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl.idl -------------------------------------------------------------------------------- /ppl/ppl.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl.patch -------------------------------------------------------------------------------- /ppl/ppl_grid.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl_grid.cc -------------------------------------------------------------------------------- /ppl/ppl_grid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl_grid.h -------------------------------------------------------------------------------- /ppl/ppl_grid.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl_grid.hh -------------------------------------------------------------------------------- /ppl/ppl_poly.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl_poly.cc -------------------------------------------------------------------------------- /ppl/ppl_poly.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl_poly.hh -------------------------------------------------------------------------------- /ppl/ppl_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl_test.c -------------------------------------------------------------------------------- /ppl/ppl_user.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl_user.cc -------------------------------------------------------------------------------- /ppl/ppl_user.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/ppl/ppl_user.hh -------------------------------------------------------------------------------- /pplite/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/COPYING -------------------------------------------------------------------------------- /pplite/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/Makefile -------------------------------------------------------------------------------- /pplite/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/README -------------------------------------------------------------------------------- /pplite/ap_pplite.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/ap_pplite.h -------------------------------------------------------------------------------- /pplite/ap_pplite.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/ap_pplite.texi -------------------------------------------------------------------------------- /pplite/ap_pplite_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/ap_pplite_test.c -------------------------------------------------------------------------------- /pplite/mlexample.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/mlexample.ml -------------------------------------------------------------------------------- /pplite/mlexample_adhoc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/mlexample_adhoc.ml -------------------------------------------------------------------------------- /pplite/perlscript_c.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/perlscript_c.pl -------------------------------------------------------------------------------- /pplite/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/perlscript_caml.pl -------------------------------------------------------------------------------- /pplite/pplite.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/pplite.idl -------------------------------------------------------------------------------- /pplite/pplite_poly.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/pplite_poly.cc -------------------------------------------------------------------------------- /pplite/pplite_poly.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/pplite_poly.hh -------------------------------------------------------------------------------- /pplite/pplite_user.cc: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/pplite_user.cc -------------------------------------------------------------------------------- /pplite/pplite_user.hh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/pplite/pplite_user.hh -------------------------------------------------------------------------------- /products/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/COPYING -------------------------------------------------------------------------------- /products/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/Makefile -------------------------------------------------------------------------------- /products/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/README -------------------------------------------------------------------------------- /products/ap_disjpk.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/ap_disjpk.h -------------------------------------------------------------------------------- /products/ap_pkgrid.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/ap_pkgrid.c -------------------------------------------------------------------------------- /products/ap_pkgrid.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/ap_pkgrid.h -------------------------------------------------------------------------------- /products/ap_pkgrid.texi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/ap_pkgrid.texi -------------------------------------------------------------------------------- /products/mlexample.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/mlexample.ml -------------------------------------------------------------------------------- /products/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/perlscript_caml.pl -------------------------------------------------------------------------------- /products/polkaGrid.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/products/polkaGrid.idl -------------------------------------------------------------------------------- /taylor1plus/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/Makefile -------------------------------------------------------------------------------- /taylor1plus/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/README.md -------------------------------------------------------------------------------- /taylor1plus/examples/InterL2.apron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/InterL2.apron -------------------------------------------------------------------------------- /taylor1plus/examples/InterQ1.apron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/InterQ1.apron -------------------------------------------------------------------------------- /taylor1plus/examples/InterQ2.apron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/InterQ2.apron -------------------------------------------------------------------------------- /taylor1plus/examples/ItvPoly.apron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/ItvPoly.apron -------------------------------------------------------------------------------- /taylor1plus/examples/Ln1px.apron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/Ln1px.apron -------------------------------------------------------------------------------- /taylor1plus/examples/RunningExemple.apron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/RunningExemple.apron -------------------------------------------------------------------------------- /taylor1plus/examples/SinCos.apron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/SinCos.apron -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/linear/InterL10.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/linear/InterL10.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/linear/InterL100.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/linear/InterL100.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/linear/InterL200.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/linear/InterL200.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/linear/InterL300.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/linear/InterL300.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/linear/InterL400.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/linear/InterL400.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/linear/InterL50.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/linear/InterL50.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/linear/InterL500.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/linear/InterL500.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/quadra/InterQ10.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/quadra/InterQ10.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/quadra/InterQ100.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/quadra/InterQ100.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/quadra/InterQ150.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/quadra/InterQ150.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/quadra/InterQ200.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/quadra/InterQ200.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/quadra/InterQ250.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/quadra/InterQ250.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/quadra/InterQ300.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/quadra/InterQ300.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/quadra/InterQ400.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/quadra/InterQ400.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/quadra/InterQ50.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/quadra/InterQ50.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/quadra/InterQ500.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/quadra/InterQ500.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi1.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi1.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi10.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi10.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi100.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi100.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi11.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi11.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi13.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi13.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi2.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi2.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi200.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi200.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi3.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi3.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi30.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi30.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi300.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi300.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi4.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi4.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi40.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi40.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi400.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi400.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi45.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi45.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi5.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi5.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi50.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi50.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi500.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi500.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi55.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi55.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi6.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi6.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi7.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi7.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi8.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi8.spl -------------------------------------------------------------------------------- /taylor1plus/examples/benchs/stolfi/stolfi9.spl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/benchs/stolfi/stolfi9.spl -------------------------------------------------------------------------------- /taylor1plus/examples/cosine.apron: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/examples/cosine.apron -------------------------------------------------------------------------------- /taylor1plus/param.csdp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/param.csdp -------------------------------------------------------------------------------- /taylor1plus/perlscript_caml.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/perlscript_caml.pl -------------------------------------------------------------------------------- /taylor1plus/t1p.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p.h -------------------------------------------------------------------------------- /taylor1plus/t1p.idl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p.idl -------------------------------------------------------------------------------- /taylor1plus/t1p_assign.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_assign.c -------------------------------------------------------------------------------- /taylor1plus/t1p_assign.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_assign.h -------------------------------------------------------------------------------- /taylor1plus/t1p_constructor.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_constructor.c -------------------------------------------------------------------------------- /taylor1plus/t1p_constructor.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_constructor.h -------------------------------------------------------------------------------- /taylor1plus/t1p_fun.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_fun.c -------------------------------------------------------------------------------- /taylor1plus/t1p_fun.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_fun.h -------------------------------------------------------------------------------- /taylor1plus/t1p_internal.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_internal.c -------------------------------------------------------------------------------- /taylor1plus/t1p_internal.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_internal.h -------------------------------------------------------------------------------- /taylor1plus/t1p_itv_utils.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_itv_utils.c -------------------------------------------------------------------------------- /taylor1plus/t1p_itv_utils.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_itv_utils.h -------------------------------------------------------------------------------- /taylor1plus/t1p_macro_def.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_macro_def.h -------------------------------------------------------------------------------- /taylor1plus/t1p_meetjoin.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_meetjoin.c -------------------------------------------------------------------------------- /taylor1plus/t1p_meetjoin.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_meetjoin.h -------------------------------------------------------------------------------- /taylor1plus/t1p_otherops.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_otherops.c -------------------------------------------------------------------------------- /taylor1plus/t1p_otherops.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_otherops.h -------------------------------------------------------------------------------- /taylor1plus/t1p_representation.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_representation.c -------------------------------------------------------------------------------- /taylor1plus/t1p_representation.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_representation.h -------------------------------------------------------------------------------- /taylor1plus/t1p_resize.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_resize.c -------------------------------------------------------------------------------- /taylor1plus/t1p_resize.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_resize.h -------------------------------------------------------------------------------- /taylor1plus/t1p_test.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_test.c -------------------------------------------------------------------------------- /taylor1plus/t1p_test_eval_texp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/taylor1plus/t1p_test_eval_texp.c -------------------------------------------------------------------------------- /test/COPYING: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/test/COPYING -------------------------------------------------------------------------------- /test/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/test/Makefile -------------------------------------------------------------------------------- /test/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/test/README -------------------------------------------------------------------------------- /test/ctest1.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/test/ctest1.c -------------------------------------------------------------------------------- /test/ctest2.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/test/ctest2.c -------------------------------------------------------------------------------- /test/ctest3.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/test/ctest3.c -------------------------------------------------------------------------------- /test/mlexample0.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/test/mlexample0.ml -------------------------------------------------------------------------------- /test/sorttest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/test/sorttest.c -------------------------------------------------------------------------------- /vars.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/vars.mk -------------------------------------------------------------------------------- /version.mk: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/antoinemine/apron/HEAD/version.mk --------------------------------------------------------------------------------