Skip to content
GitLab
Explore
Sign in
TASTE
PolyORB-HI-Ada
Repository
polyorb-hi-ada
src
polyorb_hi-sporadic_task.adb
Find file
Blame
History
Permalink
* Implement a "+" operator for string for concatenation, as
· 0f4972a2
yoogx
authored
Jan 22, 2014
the regular "&" operator for concatenation is not (yet) supported by GNATProve as of version GPL2013
0f4972a2