InFAMIX

Hi,

I can't find the InFAMIX C-to-mse tool anymore
(http://www.intooitus.com/products/infamix is answering an access denied
error). I would like to see what is generated for code with pointers to
functions such as:

    int
    f(int a) {
      return a+1;
    }

    int
    g(int a) {
      return a+2;
    }

    int
    main() {
      int a = 5;

      int (*func)(int) = g;

      a = (*func)(a);

      printf("%d\n", a);

      return EXIT_SUCCESS;
    }


Best

--
Damien Cassou
http://damiencassou.seasidehosting.st

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill
_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev

Hi,

You can always download it at: https://www.intooitus.com/products/infamix/download

Cheers,
Vincent

-----Message d'origine-----
De : [hidden email] [mailto:[hidden email]] De la part de Damien Cassou
Envoyé : lundi 20 avril 2015 14:54
À : Moose-related development
Objet : [Moose-dev] InFAMIX

Hi,

I can't find the InFAMIX C-to-mse tool anymore (http://www.intooitus.com/products/infamix is answering an access denied error). I would like to see what is generated for code with pointers to functions such as:

    int
    f(int a) {
      return a+1;
    }

    int
    g(int a) {
      return a+2;
    }

    int
    main() {
      int a = 5;

      int (*func)(int) = g;

      a = (*func)(a);

      printf("%d\n", a);

      return EXIT_SUCCESS;
    }


Best

--
Damien Cassou
http://damiencassou.seasidehosting.st

"Success is the ability to go from one failure to another without losing enthusiasm." --Winston Churchill _______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev


Ce message et les pièces jointes sont confidentiels et réservés à l'usage exclusif de ses destinataires. Il peut également être protégé par le secret professionnel. Si vous recevez ce message par erreur, merci d'en avertir immédiatement l'expéditeur et de le détruire. L'intégrité du message ne pouvant être assurée sur Internet, la responsabilité de Worldline ne pourra être recherchée quant au contenu de ce message. Bien que les meilleurs efforts soient faits pour maintenir cette transmission exempte de tout virus, l'expéditeur ne donne aucune garantie à cet égard et sa responsabilité ne saurait être recherchée pour tout dommage résultant d'un virus transmis.

This e-mail and the documents attached are confidential and intended solely for the addressee; it may also be privileged. If you receive this e-mail in error, please notify the sender immediately and destroy it. As its integrity cannot be secured on the Internet, the Worldline liability cannot be triggered for the message content. Although the sender endeavours to maintain a computer virus-free network, the sender does not warrant that this transmission is virus-free and will not be liable for any damages resulting from any virus transmitted.

_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev

Blondeau Vincent <[hidden email]> writes:

> You can always download it at: https://www.intooitus.com/products/infamix/download

thanks, it worked.

--
Damien Cassou
http://damiencassou.seasidehosting.st

"Success is the ability to go from one failure to another without
losing enthusiasm." --Winston Churchill
_______________________________________________
Moose-dev mailing list
[hidden email]
https://www.iam.unibe.ch/mailman/listinfo/moose-dev