summaryrefslogtreecommitdiff
path: root/src/Congruence_System.defs.hh
AgeCommit message (Collapse)AuthorFilesLines
2014-08-12Added missing inclusions. Use std::ptrdiff_ttizen_3.0_ivi_releasetizen_3.0.m2.a1_tv_releasetizen_3.0.m2.a1_mobile_releasetizen_3.0.m1_tv_releasetizen_3.0.m1_mobile_releasetizen_3.0.m14.3_ivi_releasetizen_3.0.2014.q3_common_releasesubmit/tizen_mobile/20141120.000000submit/tizen_ivi/20140904.000000submit/tizen_ivi/20140902.000000submit/tizen_common/20151026.085049submit/tizen_common/20151023.083358submit/tizen_common/20140814.021031submit/tizen_base/20151223.111112submit/tizen/20140812.112543accepted/tizen/base/20151223.052239tizen_basetizen_3.0_ivitizen_3.0.m1_tvtizen_3.0.m1_mobiletizen_3.0.m14.3_ivitizen_3.0.2015.q2_commontizen_3.0.2015.q1_commontizen_3.0.2014.q4_commontizen_3.0.2014.q3_commonaccepted/tizen_wearableaccepted/tizen_tvaccepted/tizen_mobileaccepted/tizen_iviaccepted/tizen_commonaccepted/tizen_baseaccepted/tizen_3.0_iviaccepted/tizen_3.0.m14.3_iviaccepted/tizen_3.0.2014.q3_commonChanho Park1-1/+2
Added missing inclusions. Use std::ptrdiff_t. (Thanks to Paulo Cesar Pereira de Andrade.) This patch back-ported from http://www.cs.unipr.it/git/gitweb.cgi?p=ppl/ppl.git;a=commit;h=61d4e14dfd9f1121e9b4521dead5728b2424dd7c Change-Id: I0b11157dc52c66524c1035d54b69154aea1dace5 Signed-off-by: Chanho Park <chanho61.park@samsung.com>
2012-11-06Imported Upstream version 0.11.2upstream/0.11.2upstreamAnas Nashif1-0/+503