Public Git Hosting - ppn.git/search

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-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
2012-10-28	Sven Verdoolaege	da.cc: avoid computing dependences for uniquely defined... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-28	Sven Verdoolaege	da.cc: split off add_unique_source from find_unique_source Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	da.cc: include_other_source: accept sinks and sources... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	da.cc: known_filter_values: accept sinks and sources... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	da.cc: need_parametrization: handle some errors more... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	da.cc: compute_common_filter: fix case of imposing... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	da.cc: fix whitespace Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	da.cc: fix typos in comments Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	c2pdg: avoid duplicate read access on destination of... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	update pet for fixes in handling of whiles Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	pn2adg: allow specification of isl options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-27	Sven Verdoolaege	pn: allow specification of isl options Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-18	Sven Verdoolaege	update isl for fix in isl_map_plain_is_disjoint Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-06	Sven Verdoolaege	remove sphinx test case Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-06	Sven Verdoolaege	remove cloog_context Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-06	Sven Verdoolaege	sloog: clean up memory on exit Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-06	Sven Verdoolaege	mem.cc: update to change in space of isl_pw_* objects Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-06	Sven Verdoolaege	mem: take isl options into account Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-05	Sven Verdoolaege	compile mem_bound unconditionally Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-05	Sven Verdoolaege	mem_bound.cc: compute_bound: drop tuple id from iteration... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-05	Sven Verdoolaege	mem_bound.cc: update to change in space of isl_pw_... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-10-05	Sven Verdoolaege	configure.in: allow building without Vaucanson, even... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-02	Sven Verdoolaege	pn.cc: use isl_map_intersect_params to intersect with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-02	Sven Verdoolaege	da.cc: use isl_map_intersect_params to intersect with... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-09-02	Sven Verdoolaege	update isl for rename of !isl_set_dim_has_{lower,upper...	commit \| commitdiff \| tree
2012-07-27	Sven Verdoolaege	update pet for adding missing include Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-06-04	Sven Verdoolaege	Makefile.am: remove references to moved pdg.h Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-06-04	Sven Verdoolaege	update pet to version 0.02 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-06-03	Sven Verdoolaege	update isl to version 0.10 Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-30	Sven Verdoolaege	c2pdg: handle increment and decrement operators Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
2012-05-30	Sven Verdoolaege	update pet for support for increment and decrement... Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>	commit \| commitdiff \| tree
next

Polyhedral Process Networks

RSS Atom