Thanks a lot! I could not load the website linked. Can you please tell where are the BLOCKNAME.sci files located for the built-in blocks? I could only find the .c files in the modules\scicos_blocks\src\c directory.
Concretely, I'm interested in the formal semantics of the blocks, if they're available. If they're not available, I'd like to analyze the blocks' source code, to (automatically) find pre/post conditions for the blocks, for instance. If you're already doing this, or aware of any such work, it'd be great if you could point me to it! Thanks again. Shafiul -- Sent from: http://mailinglists.scilab.org/Scilab-developers-Mailing-Lists-Archives-f2574944.html _______________________________________________ dev mailing list [email protected] http://lists.scilab.org/mailman/listinfo/dev
