summaryrefslogtreecommitdiff
path: root/include
AgeCommit message (Expand)AuthorFilesLines
2009-10-02add isl_int_get_siSven Verdoolaege1-0/+1
2009-10-02export isl_set_sampleSven Verdoolaege1-0/+1
2009-10-02add isl_basic_set_universe_like_setSven Verdoolaege1-0/+2
2009-10-02add isl_set_is_strict_subsetSven Verdoolaege1-0/+1
2009-09-21add isl_set_universe_likeSven Verdoolaege1-0/+1
2009-09-16add isl_map_lex_le and isl_map_lex_geSven Verdoolaege1-0/+2
2009-09-14export isl_basic_map_gistSven Verdoolaege1-0/+3
2009-09-14add isl_basic_map_sample and isl_map_sampleSven Verdoolaege1-0/+2
2009-09-13rename isl_basic_set_sample to isl_basic_set_sample_vecSven Verdoolaege2-1/+2
2009-09-13add isl_basic_map_from_constraintSven Verdoolaege1-0/+2
2009-09-12add isl_basic_map_universe_likeSven Verdoolaege1-0/+2
2009-09-09add isl_map_lex_lt and isl_map_lex_gtSven Verdoolaege1-0/+2
2009-09-06add some memory management annotationsSven Verdoolaege7-147/+179
2009-09-06export isl_basic_set_project_outSven Verdoolaege1-0/+2
2009-09-06isl_assert: validate all arguments and fix up falloutSven Verdoolaege1-1/+7
2009-09-06export isl_seq_cmpSven Verdoolaege1-0/+1
2009-09-06fix return type of isl_constraint_freeSven Verdoolaege1-1/+1
2009-09-06fix return type of isl_div_freeSven Verdoolaege1-1/+1
2009-09-06declare flexarrays of size 1 to silence sun compilerSven Verdoolaege3-3/+3
2009-09-06change isl_basic_map_empty interface for consistencySven Verdoolaege1-2/+1
2009-09-06separate out config header from isl_ctx.hSven Verdoolaege2-3/+3
2009-08-30add isl_map_sumSven Verdoolaege1-0/+1
2009-08-30add isl_map_floordivSven Verdoolaege1-0/+1
2009-08-30add isl_map_negSven Verdoolaege1-0/+2
2009-08-30add isl_map_is_strict_subsetSven Verdoolaege1-0/+1
2009-08-30add isl_map_fast_is_fixedSven Verdoolaege1-0/+2
2009-08-30add isl_map_identity_likeSven Verdoolaege1-0/+1
2009-08-30rename isl_map_identity_like to isl_map_identity_like_basic_mapSven Verdoolaege1-1/+1
2009-08-28isl_seq_normalize: use pre-allocated temporary variable in isl_ctxSven Verdoolaege2-1/+4
2009-08-28add isl_vec_normalizeSven Verdoolaege1-0/+1
2009-08-28add generalized basis reduction based ILP solverSven Verdoolaege1-0/+18
2009-08-28export isl_vec_ceilSven Verdoolaege1-0/+1
2009-08-28isl_basic_set_sample: only perform basis reduction onceSven Verdoolaege1-0/+4
2009-08-28rename isl_solve_lp to isl_basic_{map,set}_solve_lpSven Verdoolaege1-1/+6
2009-08-28isl_solve_lp: optionally return solution pointSven Verdoolaege1-1/+2
2009-08-28export isl_vec headerSven Verdoolaege1-0/+41
2009-08-28add isl_int_fdiv_q_uiSven Verdoolaege1-0/+1
2009-08-07add an internal parametric integer linear program solverSven Verdoolaege1-0/+4
2009-08-07make piplib headers privateSven Verdoolaege3-59/+0
2009-08-07add isl_basic_set_positive_orthantSven Verdoolaege1-0/+1
2009-08-07add isl_basic_set_partial_lex{min,max}Sven Verdoolaege1-0/+6
2009-08-07rename isl_basic_map_lex{min,max} to isl_basic_map_partial_lex{min,max}Sven Verdoolaege1-2/+2
2009-08-07add isl_map_get_dimSven Verdoolaege1-0/+1
2009-08-07add isl_basic_map_get_dimSven Verdoolaege1-0/+2
2009-08-04add isl_seq_last_non_zeroSven Verdoolaege1-0/+1
2009-07-18add isl_basic_set_fast_dim_is_fixedSven Verdoolaege1-0/+3
2009-07-15introduce generalized basis reduction based samplingSven Verdoolaege1-0/+11
2009-07-15add isl_seq_cdiv_qSven Verdoolaege1-0/+1
2009-07-13add isl_int_leSven Verdoolaege1-0/+1
2009-06-07add isl_int_mul_uiSven Verdoolaege1-0/+1