Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
The table of contents is too big for display.
Diff view
Diff view
  •  
  •  
  •  
2 changes: 1 addition & 1 deletion doc/develguide/pok-devel.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\documentclass[oneside]{article}
\usepackage{xspace}
Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/annexes.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{Annexes}

Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/api.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{POK API}
\label{chapter-api}
Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/architecture.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{Architecture}
\section{Directories hierarchy}
Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/configuration.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{Configuration directives}

Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/examples.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{Examples}

Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/gettingstarted.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{Getting started}

Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/installation.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{Installation}
\label{chapter-installation}
Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/instrumentation.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{Instrumentation}
\label{chapter-instrumentation}
Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/introduction.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{Introduction}

Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/model-based.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\chapter{Automatic configuration and configuration with AADL models}
\label{chapter-automatic-configuration}
Expand Down
2 changes: 1 addition & 1 deletion doc/userguide/pok-user.tex
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
%
% Please follow the coding guidelines described in doc/CODING_GUIDELINES
%
% Copyright (c) 2007-2024 POK team
% Copyright (c) 2007-2025 POK team

\documentclass[oneside]{book}
\usepackage{xspace}
Expand Down
2 changes: 1 addition & 1 deletion examples/ada-runtime/compute.adb
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package body Compute is
procedure Printf (String : in Interfaces.C.char_array);
Expand Down
2 changes: 1 addition & 1 deletion examples/ada-runtime/compute.ads
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

pragma No_Run_Time;
with Interfaces.C;
Expand Down
2 changes: 1 addition & 1 deletion examples/ada-runtime/model.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package adaruntime

Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-blackboard/model.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package test
public
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-blackboard/model_ramses.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package model_ramses
public
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-blackboard/receive.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-blackboard/send.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-buffer/model.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package test

Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-buffer/model_ramses.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package model_ramses
public
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-buffer/receive.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-buffer/send.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-errors/model.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package arinchm

Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-errors/model_ramses.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package model_ramses
public
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-errors/receive.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <arinc653/error.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-errors/receive.h
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#ifndef __RECEIVE_H__
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-errors/send.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-errors/send.h
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#ifndef __SEND_H__
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-errors/threadstart.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-errors/threadstart.h
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#ifndef __THREADSTART_H__
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-events/model.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package arinc653_testevents

Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-events/model_ramses.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package model_ramses
public
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-events/receive.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-events/send.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-queueing/model.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package pingpong

Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-queueing/model_ramses.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package model_ramses
public
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-queueing/receive.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-queueing/send.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-sampling/model.aadl
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package pingpong

Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-sampling/receive.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-sampling/sample-ada/cpu/pr1/main.adb
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

package body Main is
procedure Printf (String : in Interfaces.C.char_array);
Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-sampling/sample-ada/cpu/pr1/main.ads
Original file line number Diff line number Diff line change
Expand Up @@ -8,7 +8,7 @@
--
-- Please follow the coding guidelines described in doc/CODING_GUIDELINES
--
-- Copyright (c) 2007-2024 POK team
-- Copyright (c) 2007-2025 POK team

pragma No_Run_Time;

Expand Down
2 changes: 1 addition & 1 deletion examples/arinc653-sampling/send.c
Original file line number Diff line number Diff line change
Expand Up @@ -9,7 +9,7 @@
*
* Please follow the coding guidelines described in doc/CODING_GUIDELINES
*
* Copyright (c) 2007-2024 POK team
* Copyright (c) 2007-2025 POK team
*/

#include <libc/stdio.h>
Expand Down
Loading