remysucre

{
    int nbConcreteActivitiesSisters = _nbExistingConcreteActivitiesChildren;
    int i = _nbExistingConcreteActivitiesChildren + 1;
    while (i <= _nbExistingConcreteActivitiesChildren + _occ) {
        labeled : {
            wilos.model.misc.concreteactivity.ConcreteActivity cact = new wilos.model.misc.concreteactivity.ConcreteActivity ();
            java.util.List < wilos.model.spem2.breakdownelement.BreakdownElement > bdes = new java.util.ArrayList < wilos.model.spem2.breakdownelement.BreakdownElement > ();
            bdes.addAll (this.getAllBreakdownElements (_activity));
            if (_occ != 1 || _nbExistingConcreteActivitiesChildren != 0) {
                if (_activity.getPresentationName ().equals ("")) cact.setConcreteName (_activity.getName () + "#" + i);

remysucre

{
    Double [] [] p = (Double [] []) (new Double [numPoints] [dim]);
    int i = 0;
    while (i < numPoints) {
        labeled : {
            ((Double [] []) p) [i] = (Double []) (new Double [dim]);
            int j = 0;
            while (j < dim) {
                labeled : {
                    ((Double []) ((Double [] []) p) [i]) [j] = Double.valueOf (Math.random ());

remysucre

./arith/Average.java
./arith/Count.java
./arith/Sum.java
./arith/MaxAbs.java
./arith/EqualFrequency.java
./arith/Delta.java
./arith/Max.java
./arith/Min.java
./arith/Equal.java
./arith/ConditionalCount.java

remysucre

      program test
      integer i, j, a (20), b (40), c (10, 10)
      real x
      logical d (20)
      x = 3.1415
      j = 1
      a (1 : 20) = b (1 : 40 : 2) + 1
      d = .TRUE. 
      labeled : do i = 1, 1
        do i = 1, 20

remysucre

package mold;

import java.util.List;

import java.util.Arrays;

class Histogram {
    public static class Pixel {
        public int r, g, b;

remysucre

{-# LANGUAGE BangPatterns #-}

module Main where

import Language.Haskell.Exts
import Language.Haskell.Exts.Syntax
import Data.Generics.Uniplate.DataOnly

main :: IO ()
main = do

remysucre

require import List.
require import OldMonoid.
require import RealExp.
require import RealExtra.
require import FSet.

type R = int.
type util = int list * R -> real.
op du : real.
axiom dupos : du > 0%r.

remysucre

require import Int IntExtra Bool List.
require import DBool.
require import Aprhl.
require import RealExp.
require import Ring.
require import Distr.
require import List.
require import OldMonoid.

op sum : real list -> real.

remysucre

module Inf where

import Data.Ratio

type Prob = Rational
type Dist a = a -> Prob
type Face = Int

type Inf a b = b -> Dist a

remysucre

lsblk: show devices
parted /dev/sda
mklabel msdos
mkpart primary ext4 1MiB 100MiB
set 1 boot on
mkpart primary ext4 100 15GiB
mkpart primary linux-swap15 16
mkpart primary ext4 16 100%
mkfs.ext4 /dev/sda1
mkfs.ext4 /dev/sda2