Public Git Hosting - isl.git/commit

summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
(parent: deb805c) | patch

commit	406f2e9e067adb901c45284c65bfdc32e29a1383
author	Sven Verdoolaege <sven.verdoolaege@gmail.com>
	Tue, 29 Aug 2017 09:34:49 +0000 (29 11:34 +0200)
committer	Sven Verdoolaege <sven.verdoolaege@gmail.com>
	Tue, 24 Apr 2018 19:55:15 +0000 (24 21:55 +0200)
tree	dfbf33e63a3305dba1a26e6a16771e5876fc2534	tree \| snapshot (tar.gz zip)
parent	deb805c3e27ec00f657ce18f3d396f348af81bd4	commit \| diff

isl/space.h: extract out isl/space_type.h

This removes some namespace pollution.

Signed-off-by: Sven Verdoolaege <sven.verdoolaege@gmail.com>

12 files changed:

Makefile.am		diff \| blob \| blame \| history
include/isl/constraint.h		diff \| blob \| blame \| history
include/isl/local_space.h		diff \| blob \| blame \| history
include/isl/map.h		diff \| blob \| blame \| history
include/isl/multi.h		diff \| blob \| blame \| history
include/isl/point.h		diff \| blob \| blame \| history
include/isl/polynomial.h		diff \| blob \| blame \| history
include/isl/schedule.h		diff \| blob \| blame \| history
include/isl/schedule_node.h		diff \| blob \| blame \| history
include/isl/space.h		diff \| blob \| blame \| history
include/isl/space_type.h	[new file with mode: 0644]	blob
include/isl/union_map.h		diff \| blob \| blame \| history

Integer set library