| commit | ed861dbb9ed640defda083379e54dd863cb66eb6 | |
| author | Sebastian Pop <seb@napoca.(none)> | |
| Wed, 23 Jul 2008 15:16:11 +0000 (23 10:16 -0500) | ||
| committer | Sebastian Pop <seb@napoca.(none)> | |
| Wed, 23 Jul 2008 15:16:11 +0000 (23 10:16 -0500) | ||
| tree | 077b107b353adcca884032eaaf7fd97ddf129eea | treesnapshot (tar.gz zip) |
| parent | da969835f0d86b4b1d2dff3b5bca479ee9c47241 | commitdiff |
move checking functions to another file
We should be able to compare the polyhedral operations against polylib
later on: save all the functions needed for checking in a separate file.
We should be able to compare the polyhedral operations against polylib
later on: save all the functions needed for checking in a separate file.
| source/ppl/checking.c | [new file with mode: 0644] | blob |
| source/ppl/domain.c | diffblobblamehistory |