Public Git Hosting - ppn.git/search

2013-05-29	Sven Verdoolaege	translation.cc: pull_back_schedule: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	size.cc: selfloop_size_full: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	size.cc: enumerator::evaluate: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	pn2adg.cc: extract_params: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	eqv3.cc: print_guard_constraint: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	eqv3.cc: print_linear: take isl_printer instead of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	eqv3.cc: print_action_constraint: avoid used of isl_int Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	eqv3.cc: print_linear: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	eqv2.cc: set_constraint: avoid isl_int Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	eqv2.cc: set_constraint: return updated isl_constraint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	eqv2.cc: add_constraint: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	dependence_graph.cc: affine_expression_ceildiv: use... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	dependence_graph.cc: affine_expression_div: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	dependence_graph.cc: map_mul: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	dependence_graph.cc: extract out map_mul Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	da.cc: extend_access: avoid use of isl_int Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	convert.cc: set_constraint: avoid use of isl_int Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	convert.cc: set_constraint: return updated isl_constraint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	c2pdg.cc: set_default_parameter_value: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	c2pdg.cc: extract_node: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	c2pdg.cc: extract_array: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	build.cc: transformer::scan_int: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	adg_xml.cc: print_aff_coefficients: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	adg_xml.cc: writeMatrix: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	adg_xml.cc: print_aff_expr: use isl_val Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	use isl_val to represent adg_edge->value_size Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	update isl for isl_val abstraction Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-05-29	Sven Verdoolaege	update barvinok for integration of isl-polylib submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	pdg: remove support for Matrix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	pdg: remove support for HMatrix Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	pdg: remove support for UnionMap Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	pdg: remove support for UnionSet Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	mem_bound.cc: use isl_map_order_lt instead of open... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	eqv2.cc: remove dead code Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	xml_AST.cc: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	size.cc: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	mem_bound.cc: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-22	Sven Verdoolaege	eqv.cc: add missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-07	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-04-07	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-03-29	Sven Verdoolaege	pn2adg: remove redundant constraints from XML output Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-03-08	Sven Verdoolaege	pn2adg: use function domain to construct AST in XML... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-03-08	Sven Verdoolaege	pn2adg: make sure that no disjunctive conditions are... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-03-08	Sven Verdoolaege	update isl for optional construction of ors in AST... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-03-08	Sven Verdoolaege	update isl for change in constraint ordering Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-02-15	Sven Verdoolaege	update pet for keeping track of string representation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-01-10	Sven van Haastregt	tests: pn2adg: test XML generation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-01-08	Sven Verdoolaege	pn2adg: handle unbounded loops in AST Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-01-01	Sven Verdoolaege	da: determine_array_types: detect (and fail on) data... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2013-01-01	Sven Verdoolaege	size_simulate.cc: include <unistd.h> for unlink Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-11	Sven Verdoolaege	isa 0.12 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-10	Sven Verdoolaege	update isl to version 0.11.1 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	update barvinok to version 0.36 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	update pet to version 0.03 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-12-03	Sven Verdoolaege	update isl to version 0.11 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-24	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-24	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-22	Sven Verdoolaege	pn2adg: handle dynamic control variables in generated AST Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-22	Sven Verdoolaege	update isl for change in AST printing callback interface Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-22	Sven Verdoolaege	size_simulate.cc: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-22	Sven Verdoolaege	mem.cc: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-22	Sven Verdoolaege	check_channel_sizes.cc: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-22	Sven Verdoolaege	check_channel_sizes.cc: add_schedule: avoid access... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-12	Sven Verdoolaege	drop cloog submodule Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-12	Sven Verdoolaege	update barvinok for conversion to isl code generator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-12	Sven Verdoolaege	remove cloog_util Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-12	Sven Verdoolaege	pn2adg: use isl to print AST Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-11	Sven Verdoolaege	sloog: convert to isl code generator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	remove clast_scanner Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	size_simulate.cc: convert to isl code generator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	size_simulate.cc: fix call to snprintf	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	size_simulate.cc: check return value of tmpname Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	rename size_cloog to size_simulate Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	size_cloog.cc: drop debugging output Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	pn: properly perform size computation of pn_union dependences Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	check_channel_sizes.cc: use isl code generator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	check_channel_sizes.cc: handle parallel dependences Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	check_channel_sizes.cc: handle pn_union dependences Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	mem.cc: use isl code generator Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	PDG::get_context_isl_set: return a parameter set if... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	pn: drop duplicate set of isl options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-10	Sven Verdoolaege	update pet for fix for older clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-04	Sven Verdoolaege	update pet for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-04	Sven Verdoolaege	update isl for support for recent clangs Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-11-03	Sven Verdoolaege	README: explain how to perform dataflow analysis Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da: make computation of only flow dependences the default Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	tests: get_da: allow specification of options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	pdg::access::extract_access_map: allow multiple sources Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	pdg::access::extract_access_map: return map to read... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: find_deps: gradually introduce parameters Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: extract out find_or_add_param Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: mark_definite_source: minor simplification of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: mark_definite_source: skip maximization Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: need_parametrization: detect more inconsistencies... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: need_parametrization: update documentation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: compute_restriction: project out access filters... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: remove_inconsistencies: make implementation... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: include_other_source: fix documentation Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: include_other_source: only perform computations... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: need_parametrization: only draw conclusions... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Polyhedral Process Networks

RSS Atom