EiffelStudio: an EiffelSoftware project - User contributions [en]

Compiling EiffelStudio

2006-09-19T10:42:38Z

Philipp: /* Compiling run-time on Windows */ adding info about special compile option `m6' for those using only VC++ 6.0

[[Category:Compiler]]
[[Category:EiffelStudio]]

== Installing EiffelStudio ==

To compile EiffelStudio, you need an already working EiffelStudio compiler on your machine. The current source tree '''requires at least version 5.7''' of EiffelStudio. You can download it from http://eiffelsoftware.origo.ethz.ch/downloads/builds/. Read the [http://docs.eiffel.com/eiffelstudio/installation/index.html existing documentation] to install EiffelStudio.

'''Note:''' on Windows you will need the Microsoft C compiler to compile Eiffel Studio. How to install the free version of the Microsoft C compiler: [[Installing Microsoft C compiler]]. It is not possible to compile EiffelStudio with the free Borland compiler.

===Compilation methods===
Currently there are two compilation methods.
* You can use one of the [[Automatic Build Scripts]]
* Alternatively you can compile EiffelStudio from scratch following the instructions in this document.

If possible, use the [[Automatic Build Scripts]] and report any errors to the [http://origo.ethz.ch/cgi-bin/mailman/listinfo/es-devel developer mailing list].

==Extracting source code==

===Checking out from SVN===
#Point the environment variables called '''EIFFEL_SRC''' and '''ISE_LIBRARY''' to the directory where you want to compile EiffelStudio Usually we use the '''XXdev''' convention for this directory name - where XX is the version number from the current developped version of the compiler.
#Make sure that '''ISE_EIFFEL''', '''ISE_PLATFORM''' and '''ISE_C_COMPILER''' (on windows only) are properly defined
#Perform the following checkout procedures:

'''DOS'''
<pre>
set SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co %SVNURL%/trunk/Src 57dev
svn co %SVNURL%/trunk/Delivery 57dev/Delivery
svn co %SVNURL%/trunk/free_add_ons 57dev/free_add_ons
</pre>

'''Bash'''
<pre>
export SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co $SVNURL/trunk/Src 57dev
svn co $SVNURL/trunk/Delivery 57dev/Delivery
svn co $SVNURL/trunk/free_add_ons 57dev/free_add_ons
</pre>

To update the sourcefiles to the latest revision, perform the following steps:

'''Bash and DOS'''
<pre>
cd 57dev
svn up
svn up free_add_ons
svn up Delivery
</pre>

==Installing gobo==

Please make sure to use the version provided or the very latest version from CVS. All other versions (including the official 3.4 release) will not work because of name clashes in the UC_STRING class between GOBO and EiffelStudio. 

===Windows specific===

You have to extract the gobo distribution from $EIFFEL_SRC/free_add_ons/gobo/gobo_34_win.tgz and extract it into $EIFFEL_SRC/library. Here is how to do it:

'''DOS'''
<pre>cd %EIFFEL_SRC%\library
tar xvfz %EIFFEL_SRC%\free_add_ons\gobo\gobo_34_win.tgz
</pre>

'''Bash'''
<pre>cd $EIFFEL_SRC/library
tar xvzf $EIFFEL_SRC/free_add_ons/gobo/gobo_34_win.tgz
</pre>

===Unix specific===

You have to extract the gobo distribution from $EIFFEL_SRC/free_add_ons/gobo/gobo_34_unix.tgz and extract it into $EIFFEL_SRC/library. Here is the list of commands to do this:
<pre>cd $EIFFEL_SRC/library
tar xvzf $EIFFEL_SRC/free_add_ons/gobo/gobo_34_unix.tgz
</pre>

==Compiling C libraries==

===Compiling run-time on Windows===

Before being able to compile the run-time, you need to ensure that '''bash''' is in your '''PATH'''. You can download it from [http://www.cygwin.com http://www.cygwin.com]. Also make sure, that the path to the binaries of your c compiler is placed before the path to cygwin or else the wrong linker will be used. Once done you can do: 

'''DOS'''
<pre>cd %EIFFEL_SRC%/C
configure [win32|win64] [b|m]</pre>

'''Bash'''
<pre>cd $EIFFEL_SRC/C
./configure.bat [win32|win64] [b|m]</pre>

The first argument indicated whether you are compiling the run-time for 32 or 64 bits. The second one is to tell which C compiler will be used. For now only `b' (Borland), `m' (Microsoft) and `m6' (for those forced to use Microsoft VC++ 6.0) are officially supported. We also informally support `g' (GCC) and `l' (LCC).

On Windows 32 bits to clean up all the generated files you do:

'''DOS'''
<pre>configure clean</pre>
'''Bash'''
<pre>./configure.bat clean</pre>

===Compiling run-time on Unix===

The command is simply:
<pre>cd $EIFFEL_SRC/C
./quick_configure</pre>
This requires that '''ISE_PLATFORM''' is properly defined. The `quick_configure' script will look for the file CONFIGS/$ISE_PLATFORM and use it to extract the platform specific information to compile the run-time. If not found then an error will be reported.

To clean up the generated files:
<pre>make clobber</pre>

===Compiling C code from libraries===

Here is the list of commands to compile all required C libraries on Windows:

'''DOS'''
<pre>cd %EIFFEL_SRC%/library/net/Clib
make_msc.bat
cd %EIFFEL_SRC%/library/vision2/Clib
make_msc.bat
cd %EIFFEL_SRC%/library/wel/Clib
make_msc.bat</pre>
'''Bash'''
<pre>cd $EIFFEL_SRC/library/net/Clib
./make_msc.bat
cd $EIFFEL_SRC/library/vision2/Clib
./make_msc.bat
cd $EIFFEL_SRC/library/wel/Clib
./make_msc.bat</pre>

On Unix it is slightly different:
<pre>cd $EIFFEL_SRC/library/net/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/implementation/gtk/Clib
finish_freezing -library</pre>

Make sure that '''ISE_EIFFEL''' is set correctly to your current "EiffelStudio" installation!

===Compiling C code from C_library===

This is only required on Windows to read PNG file. On Unix, this is not required because it is included in GTK+2.4. Simply do the following:

'''DOS'''
<pre>cd %EIFFEL_SRC%/C_library/zlib
make_msc.bat
cd %EIFFEL_SRC%/C_library/libpng
make_msc.bat</pre>
'''Bash'''
<pre>cd $EIFFEL_SRC/C_library/zlib
./make_msc.bat
cd $EIFFEL_SRC/C_library/libpng
./make_msc.bat</pre>

===Compiling C code from compiler===

This is only required on Windows as this C code is a tiny wrapper around the Microsoft C++ API to generate and to debug .NET code.

To compile it, you first need to install the Microsoft .NET SDK. You can download it from their website.

After installing it, you need to update your '''LIB''' and '''INCLUDE''' environment variable to include the path the lib and include directory of the .NET Framework SDK.

Once properly installed, you can do:

'''DOS'''
<pre>cd %EIFFEL_SRC%/Eiffel/library/cli_writer/Clib
nmake</pre>
'''Bash'''
<pre>cd $EIFFEL_SRC/Eiffel/library/cli_writer/Clib
nmake</pre>

==Compiling EiffelStudio==

Now that we have taken care of the C code compilation we can compile the compiler. We assume that '''ec''' is in your path.

The configuration file of the compiler contains two active targets:
* '''batch''': for the command line compiler.
* '''bench''': for the graphical compiler, aka EiffelStudio.

Go to $EIFFEL_SRC/Eiffel/Ace and type the following command and replace ''target_name'' with either '''batch''' or '''bench'''.

<pre>ec -config ec.ecf -target target_name -c_compile</pre>

{{Note|If you are using an older version of EiffelStudio (i.e. older or equal to 5.7.0826), follow the instructions from [[Compiling_EiffelStudio_with_ace|Compiling EiffelStudio with an Ace file]].}}

===Gotcha===
Also, if you encounter problems with your self-compiled version of EiffelStudio, you might try to compile it with GCC 3.x. Version 4 of GCC has a slight change in semantics and EiffelStudio has not been updated. You can see the change in behavior in the following code:

<code>[C,N]
#include <stdio.h>

int a;
int b;
int *pointer;

int foo()
{
pointer = &b;
return 4;
}

int main (int argc, char** argv)
{
a = 3;
b = 0;

pointer = &a;

*pointer = foo();

printf ("You are using GCC %d.%d\n",a,b);
return 0;
}
</code>

===Mac OS X specific===

Get a mac binary from [[EiffelOnMac|here]], then follow the instructions for unix.

==Launching the Compiler==

There are two ways of launching the compiler:
# Command line compiler: add the following arguments '''-config path_to_config_file.ecf'''. This will compile the project represented by `path_to_config_file.ecf'
# Graphical compiler (aka EiffelStudio): add the following argument '''-from_bench'''.

Automatic Build Scripts

2006-09-05T22:06:01Z

Philipp: /* Windows */ updated win compilation scripts

[[Category:Compiler]]
[[Category:EiffelStudio]]
This page references different build scripts that automate the process of building EiffelStudio.

== Windows ==

[[User:Barnski|Bernardo Buss]] created a set of scripts for the automated compilation of EiffelStudio under Windows.
* Script: http://homepage.hispeed.ch/barnski/EiffelStudio_batch_files.zip
* Announcement: http://origo.ethz.ch/pipermail/es-devel/2006-April/000052.html
'''Note:''' 
* You may need to keep "2_checkout_dev.bat" up to date by yourself according to [[Compiling_EiffelStudio#Checking_out_from_SVN|Checking out from SVN]].
* It is possible that the '''batchfiles only work partial''' with EiffelStudio '''newer than version 5.7.0826''' (especially parts of the compilation process may differ too much).
'''Update:''' 
* [[User:Philipp|Philipp Bönhof]] improved the scripts with customizable parameters which should work with the newest pre-release of EiffelStudio. Download here: http://n.ethz.ch/student/pboenhof/autotest/eiffel_win_compilation_scripts.zip (updated: 2006-09-06)

== Linux ==

Bernd Schoeller has developed a build script vor use with .acex configuration files. it is available for download at http://se.inf.ethz.ch/people/schoeller/download/build-ec-acex

For use with the new .ecf configuration files, please use this updated version: 
http://n.ethz.ch/~bherlig/download/build-ec-ecf.sh

This script requires a single checkout from the SVN repository (with the EIFFEL_SVN environment variable pointing to it). It will compile the bench or the batch compiler (you need to modify the script for the second).

=== Gentoo ===
Eiffelstudio, Gobo, edoc, ewg, eiffelmedia and eclipse edt ebuilds for gentoo, can be downloaded [http://n.ethz.ch/~philipkr/eiffel-ebuilds.tar.gz here] or from cvs:
cvs -z3 -d:pserver:anonymous@waldorf.inf.ethz.ch:/public-cvs co -deiffel-ebuilds student/eiffel-ebuilds
Installation instructions can be found [http://n.ethz.ch/~philipkr/eiffel-tools.html here]

== Mac OSX ==
No that Mac builds are available, I guess you can use the Linux script on Mac OS, too.
I prefer this more simple script though:
<pre>
#!/bin/bash

cd $EIFFEL_SRC/C
make clobber
./quick_configure

cd $EIFFEL_SRC/library/event/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/net/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/implementation/gtk/Clib
finish_freezing -library

cd $EIFFEL_SRC/Eiffel/Ace
ec -config ec.ecf -target bench -finalize -c_compile
</pre>
This basically automates the steps described [[Compiling_EiffelStudio|here]].

User:Philipp

2006-09-04T19:59:30Z

Philipp: correcting link

== current work ==
* support for [[Compiling EiffelStudio]] under Windows using also [[Automatic Build Scripts]]
* ported [http://n.ethz.ch/student/pboenhof/helper_scripts/estudio_tools.sh EiffelStudio Versions Script] to work on Cygwin under Windows

User:Philipp

2006-09-04T19:57:48Z

Philipp: updating current areas of work

== current work ==
* support for [[Compiling EiffelStudio]] under Windows using also [[Automatic Build Scripts]]
* ported [http://n.ethz.ch/student/pboenhof/helper_scripts/estudio_tools.sh|EiffelStudio Versions Script] to work on Cygwin under Windows

Downloads

2006-08-23T18:21:15Z

Philipp: /* EiffelStudio 5.7 Pre-releases */ correcting extension possibilities of packages

[[Category:EiffelStudio]]
[[Category:Compiler]]
==EiffelStudio 5.7 Pre-releases==
We provide versions of EiffelStudio for most popular platforms (Linux, Windows, Solaris, Irix, ...). You can find the latest builds in [http://eiffelsoftware.origo.ethz.ch/downloads/builds the Origo download area] as well as in [ftp://beta:beta57@ftp.eiffel.com the Eiffel Software beta area].

Details about new features and bug fixes in the builds are on the [http://eiffelsoftware.origo.ethz.ch/index.php/EiffelStudio_Releases releases page].

{{Note|Please be aware that the 5.7 versions released through this site are intermediate builds on the road towards official EiffelStudio 5.7. If you are experiencing problems with this release, please use the ''es-devel'' [[Mailing_Lists|mailing list]] for discussions.}}

The convention used for filenames is the following:
Eiffel57_gpl_$BUILD-$ISE_PLATFORM.[tgz|tar.gz|msi]
Where '''$BUILD''' is a build number, the higher number the more recent release it is, and where '''$ISE_PLATFORM''' is the name of your platform.

To access older builds, go directly to [http://eiffelsoftware.origo.ethz.ch/downloads/old_releases old releases].

Experimental builds can be found in the [http://eiffelsoftware.origo.ethz.ch/downloads/builds/experimental experimental build folder].

Mac OS X builds can be found [[EiffelOnMac|here]].

==EiffelStudio 5.6==
You can download the official EiffelStudio 5.6 release from [http://www.eiffel.com/downloads/eiffelstudio.html Eiffel Software].

==Doc Builder==
You can download the documentation generation tool for Windows 32-bit with .NET 1.1 installed by extracting the content of [http://eiffelsoftware.origo.ethz.ch/downloads/tools/doc_builder.zip doc_builder.zip] onto your hard-drive. Once installed, you can launch the tool by launching the '''doc_builder.exe''' executable.

==GOBO==

An experimental version of GOBO is needed if you want to compile project with ''geant'' and ''gexace'', using EiffelStudio57 (based on the new EIFGENs directory structure). ''Remark: this is not needed for the pre-release, but only for versions of EiffelStudio built directly from the sources''.

[http://eiffelsoftware.origo.ethz.ch/downloads/tools/experimental/gobo-acex-schoelle-maeli-20060421.tar.gz gobo-acex-schoelle-maeli-20060421.tar.gz]

AutoTest Integration

2006-06-30T11:30:20Z

Philipp: /* Overview */ adding Information, note that code is now in soft-arch branch

[[Category:Projects]]
[[Image:aeccs_Logo.png|right|frame| AECCS (Advanced Eiffel Contract Checking System)]]

=Overview=

Project name: '''AECCS (Advanced Eiffel Contract Checking System)'''

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

==Information==

The code has been included in the SVN soft-arch branch (30 June 2006).



=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.51.zip at_integration_v0.51.zip] '''Complete package to install user interface into ES.''' Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 00:40, 29 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

'''Screen Shots'''
* [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST)

=Project Presentation=
* Wednesday June 28th ETH Hauptgebäude 
* [http://n.ethz.ch/student/djuric/download/presentation.odp final presentation slides] in open document presentation format. [http://n.ethz.ch/student/djuric/download/presentation.pdf final presentation slides] in pdf format.--[[User:Djuric|Djuric]]



=Meeting Protocols=

The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2006%20Protokoll%2022.06.06.pdf protocol 22.06.2006]

=Documentation=
* [http://n.ethz.ch/student/pgoffin/download/AECCS%20Documentation.pdf AECCS Documentation]

=Team Members=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; partial wiki; management of the sources & releases)
* [[User:Pgoffin|Pascal Goffin]] (doc: input; merging and layouting of the different docs with latex)
* [[User:Dilip|Dilip Many]] (code: input interface, output)
* [[User:Djuric|Dejan Juric]] (over all design; code, spec: autotest)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: user manual)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* [[User:Carlo Manco|Carlo Manco]] (graphics: logo, icon)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-28T21:47:31Z

Philipp: /* Links */ changed to new prerelease v0.51

[[Category:Projects]]
[[Image:aeccs_Logo.png|right|frame| AECCS (Advanced Eiffel Contract Checking System)]]

=Overview=

Project name: '''AECCS (Advanced Eiffel Contract Checking System)'''

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch



=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.51.zip at_integration_v0.51.zip] '''Complete package to install user interface into ES.''' Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 00:40, 29 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

'''Screen Shots'''
* [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST)

=Project Presentation=
* Wednesday June 28th ETH Hauptgebäude 
* [http://n.ethz.ch/student/djuric/download/presentation.odp final presentation slides] in open document presentation format. [http://n.ethz.ch/student/djuric/download/presentation.pdf final presentation slides] in pdf format.--[[User:Djuric|Djuric]]



=Meeting Protocols=

The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2006%20Protokoll%2022.06.06.pdf protocol 22.06.2006]

=Documentation=
* [http://n.ethz.ch/student/pgoffin/download/AECCS%20Documentation.pdf AECCS Documentation]

=Team Members=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; partial wiki; management of the sources & releases)
* [[User:Pgoffin|Pascal Goffin]] (doc: input; merging and layouting of the different docs with latex)
* [[User:Dilip|Dilip Many]] (code: input interface, output)
* [[User:Djuric|Dejan Juric]] (over all design; code, spec: autotest)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: user manual)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* [[User:Carlo Manco|Carlo Manco]] (graphics: logo, icon)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-26T17:54:55Z

Philipp: /* Team Members */

[[Category:Projects]]
[[Image:aeccs_Logo.png|right|frame| AECCS (Advanced Eiffel Contract Checking System)]]

=Overview=

Project name: '''AECCS (Advanced Eiffel Contract Checking System)'''

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch



=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.50.zip at_integration_v0.50.zip] '''Complete package to install user interface into ES.''' Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 01:43, 24 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

'''Screen Shots'''
* [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST)

=Project Presentation=
* Wednesday June 28th ETH Hauptgebäude 



=Meeting Protocols=

The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2006%20Protokoll%2022.06.06.pdf protocol 22.06.2006]

=Documentation=
* [http://n.ethz.ch/student/pgoffin/download/AECCS%20Documentation.pdf AECCS Documentation]

=Team Members=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; partial wiki; management of the sources & releases)
* [[User:Pgoffin|Pascal Goffin]] (doc: input; merging and layouting of the different docs with latex)
* [[User:Dilip|Dilip Many]] (code: input interface, output)
* [[User:Djuric|Dejan Juric]] (over all design; code, spec: autotest)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: user manual)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* [[User:Carlo Manco|Carlo Manco]] (graphics: logo, icon)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-25T16:14:57Z

Philipp: /* Links */ updated at_integration to v0.50

[[Category:Projects]]
[[Image:aeccs_Logo.png|right|frame| AECCS (Advanced Eiffel Contract Checking System)]]

=Overview=

Project name: '''AECCS (Advanced Eiffel Contract Checking System)'''

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch



=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.50.zip at_integration_v0.50.zip] '''Complete package to install user interface into ES.''' Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 01:43, 24 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

'''Screen Shots'''
* [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST)

=Project Presentation=
* Wednesday June 28th ETH Hauptgebäude 



=Meeting Protocols=

The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2006%20Protokoll%2022.06.06.pdf protocol 22.06.2006]

=Documentation=
* [http://n.ethz.ch/student/pgoffin/download/AECCS%20Documentation.pdf AECCS Documentation]

=Team Members=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input; merging of the different docs into latex)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code, spec: autotest)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: user manual)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* [[User:Carlo Manco|Carlo Manco]] (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-23T22:50:04Z

Philipp: /* Links */ updated change date

[[Category:Projects]]
[[Image:aeccs_Logo.png|right|frame| AECCS (Advanced Eiffel Contract Checking System)]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

== M3: May 15th 2006 ==
* code is included into ES and is running
* AutoTest can be called from within ES as a separate process
* output of AutoTest is displayed in a separate window

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.49.zip at_integration_v0.49.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 01:43, 24 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

'''Screen Shots'''
* [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST)

=Meetings=
* Thursday June 22th 13-14h (room IFW E 44) 


==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2006%20Protokoll%2022.06.06.pdf protocol 22.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* [[User:Carlo Manco|Carlo Manco]] (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-23T22:48:49Z

Philipp: /* Links */ new package v0.49

[[Category:Projects]]
[[Image:aeccs_Logo.png|right|frame| AECCS (Advanced Eiffel Contract Checking System)]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

== M3: May 15th 2006 ==
* code is included into ES and is running
* AutoTest can be called from within ES as a separate process
* output of AutoTest is displayed in a separate window

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.49.zip at_integration_v0.49.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 11:39, 16 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

'''Screen Shots'''
* [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST)

=Meetings=
* Thursday June 22th 13-14h (room IFW E 44) 


==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2006%20Protokoll%2022.06.06.pdf protocol 22.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* [[User:Carlo Manco|Carlo Manco]] (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-22T15:44:18Z

Philipp: /* Milestones */ added M3

[[Category:Projects]]
[[Image:aeccs_Logo.png|right|frame| AECCS (Advanced Eiffel Contract Checking System)]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

== M3: May 15th 2006 ==
* code is included into ES and is running
* AutoTest can be called from within ES as a separate process
* output of AutoTest is displayed in a separate window

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.48.zip at_integration_v0.48.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 11:39, 16 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

'''Screen Shots'''
* [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST)

=Meetings=
* Thursday June 22th 13-14h (room IFW E 44) 


==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* [[User:Carlo Manco|Carlo Manco]] (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-22T15:37:30Z

Philipp: /* Links */ added link to screen shots for documentation

[[Category:Projects]]
[[Image:aeccs_Logo.png|right|frame| AECCS (Advanced Eiffel Contract Checking System)]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.48.zip at_integration_v0.48.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 11:39, 16 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

'''Screen Shots'''
* [http://n.ethz.ch/student/pboenhof/autotest/at_documentation_screen_shots.zip Screen Shots for documentation] --[[User:Philipp|Philipp]] 17:37, 22 June 2006 (CEST)

=Meetings=
* Thursday June 22th 13-14h (room IFW E 44) 


==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2005%20Protokoll%2015.06.06.pdf protocol 15.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* [[User:Carlo Manco|Carlo Manco]] (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-16T19:49:12Z

Philipp: /* Meetings */ changed date, project no longer selfstanding

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.48.zip at_integration_v0.48.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 11:39, 16 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

=Meetings=
* Thursday June 22th 13-14h (room IFW E 44) 


==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-16T19:24:13Z

Philipp: /* Links */ new release v0.48

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.48.zip at_integration_v0.48.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 11:39, 16 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

=Meetings=
* Thursday June 8th 13-14h (room IFW E 44) 
'''Important Note:''' Do your part of the project as selfstanding runtime '''not embedded''' in EiffelStudio or at least a prototype which 'simulates' the functionality of ES.

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-16T08:45:57Z

Philipp: /* Links */ change link to new version

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_integration_v0.47.zip at_integration_v0.47.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] changed 11:39, 16 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

=Meetings=
* Thursday June 8th 13-14h (room IFW E 44) 
'''Important Note:''' Do your part of the project as selfstanding runtime '''not embedded''' in EiffelStudio or at least a prototype which 'simulates' the functionality of ES.

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-13T17:12:34Z

Philipp: /* Links */ hide old links, others split into sub categories

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
'''Help & Info'''
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]

* Batch file to help you with the installation [[Automatic Build Scripts]]


* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]

* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]

'''Definitions'''
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]

* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)

* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.

* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)

'''Sources'''


* [http://n.ethz.ch/student/pboenhof/autotest/at_gui_interface_v0.46.zip at_gui_interface_v0.46.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] 02:14, 13 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

=Meetings=
* Thursday June 8th 13-14h (room IFW E 44) 
'''Important Note:''' Do your part of the project as selfstanding runtime '''not embedded''' in EiffelStudio or at least a prototype which 'simulates' the functionality of ES.

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-13T00:14:09Z

Philipp: /* Links */ updated link of GUI include into ES

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]]
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]
* demo gui source code (version 0.3) (new version below: at_gui_interface) (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do: <code>cmd> ec -from_bench</code> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST)
* [http://n.ethz.ch/student/fleu/download/AutoTest.zip new Version of the Input Interface] including the Eiffel Build *.bpr File and already inheriting from SHARED_AUTO_TEST_PROJECT (Florian, 3 June 2006)
* [http://n.ethz.ch/student/pboenhof/autotest/at_gui_interface_v0.46.zip at_gui_interface_v0.46.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. (If you want changes to appear in later releases please submit also the name of the zip file on which you worked.) --[[User:Philipp|Philipp]] 02:14, 13 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_process_pack.zip auto test cluster prototype], to get general idea. Note: '''Does not work correctly!'''. Only unix-specific (folders, execution), the windows part not available yet! --[[User:Djuric|Djuric]] 21:16, 9 June 2006 (CEST)

* [http://n.ethz.ch/student/djuric/download/at_cluster_12_06_06.zip working auto test cluster system] This system works on my linux machine, a windows implementation is present, but has not yet been successfully executed on windows (auto test problems). For further informations see the mailingslist! ---[[User:Djuric|Djuric]] 22:56, 12 June 2006 (CEST)

=Meetings=
* Thursday June 8th 13-14h (room IFW E 44) 
'''Important Note:''' Do your part of the project as selfstanding runtime '''not embedded''' in EiffelStudio or at least a prototype which 'simulates' the functionality of ES.

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-08T10:30:05Z

Philipp: /* Links */ new version of gui_interface

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]]
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]
* demo gui source code (version 0.3) (new version below: at_gui_interface) (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do: <code>cmd> ec -from_bench</code> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST)
* [http://n.ethz.ch/student/fleu/download/AutoTest.zip new Version of the Input Interface] including the Eiffel Build *.bpr File and already inheriting from SHARED_AUTO_TEST_PROJECT (Florian, 3 June 2006)
* [http://n.ethz.ch/student/pboenhof/autotest/at_gui_interface_v0.45.zip at_gui_interface_v0.45.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions (including the Browse-Menu and some minor fixes from Florian) --[[User:Philipp|Philipp]] 12:30, 8 June 2006 (CEST)

=Meetings=
* Thursday June 8th 13-14h (room IFW E 44) 
'''Important Note:''' Do your part of the project as selfstanding runtime '''not embedded''' in EiffelStudio or at least a prototype which 'simulates' the functionality of ES.

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2004%20Protokoll%2001.06.06.pdf protocol 01.06.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-06T12:44:48Z

Philipp: /* Hints for the work */ state precicely where you started when doing changes

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.
* '''Important:''' If you resubmit a change of any provided and versioned package please state clearly what version you changed so the one who provided it is able to merge it.

=Links=
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]]
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]
* demo gui source code (version 0.3) (new version below: at_gui_interface) (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do: <code>cmd> ec -from_bench</code> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST)
* [http://n.ethz.ch/student/fleu/download/AutoTest.zip new Version of the Input Interface] including the Eiffel Build *.bpr File and already inheriting from SHARED_AUTO_TEST_PROJECT (Florian, 3 June 2006)
* [http://n.ethz.ch/student/pboenhof/autotest/at_gui_interface_v0.43.zip at_gui_interface_v0.43.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions (including the Browse-Menu and some minor fixes from Florian) --[[User:Philipp|Philipp]] 14:12, 6 June 2006 (CEST)

=Meetings=
* Thursday June 8th 13-14h (room IFW E 44) 
'''Important Note:''' Do your part of the project as selfstanding runtime '''not embedded''' in EiffelStudio or at least a prototype which 'simulates' the functionality of ES.

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-06T12:39:11Z

Philipp: /* Meetings */ note for 8th June 2006

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.

=Links=
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]]
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]
* demo gui source code (version 0.3) (new version below: at_gui_interface) (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do: <code>cmd> ec -from_bench</code> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST)
* [http://n.ethz.ch/student/fleu/download/AutoTest.zip new Version of the Input Interface] including the Eiffel Build *.bpr File and already inheriting from SHARED_AUTO_TEST_PROJECT (Florian, 3 June 2006)
* [http://n.ethz.ch/student/pboenhof/autotest/at_gui_interface_v0.43.zip at_gui_interface_v0.43.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions (including the Browse-Menu and some minor fixes from Florian) --[[User:Philipp|Philipp]] 14:12, 6 June 2006 (CEST)

=Meetings=
* Thursday June 8th 13-14h (room IFW E 44) 
'''Important Note:''' Do your part of the project as selfstanding runtime '''not embedded''' in EiffelStudio or at least a prototype which 'simulates' the functionality of ES.

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-06T12:31:15Z

Philipp: /* Links */ removing of obsolete links

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.

=Links=
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]]
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]
* demo gui source code (version 0.3) (new version below: at_gui_interface) (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do: <code>cmd> ec -from_bench</code> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST)
* [http://n.ethz.ch/student/fleu/download/AutoTest.zip new Version of the Input Interface] including the Eiffel Build *.bpr File and already inheriting from SHARED_AUTO_TEST_PROJECT (Florian, 3 June 2006)
* [http://n.ethz.ch/student/pboenhof/autotest/at_gui_interface_v0.43.zip at_gui_interface_v0.43.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions (including the Browse-Menu and some minor fixes from Florian) --[[User:Philipp|Philipp]] 14:12, 6 June 2006 (CEST)

=Meetings=
* Thursday June 1th 13-14h (room IFW E 44) (?)

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-06T12:12:31Z

Philipp: /* Links */ updated at_gui_interface_v0.43

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.

=Links=
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]]
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]
* [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_src.zip demo gui source code (version 0.3)] (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do: <code>cmd> ec -from_bench</code> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST)
* [http://n.ethz.ch/student/fleu/download/AutoTest.zip new Version of the Input Interface] including the Eiffel Build *.bpr File and already inheriting from SHARED_AUTO_TEST_PROJECT (Florian, 3 June 2006)
* [http://n.ethz.ch/student/pboenhof/autotest/at_gui_interface_v0.43.zip at_gui_interface_v0.43.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions (including the Browse-Menu and some minor fixes from Florian) --[[User:Philipp|Philipp]] 14:12, 6 June 2006 (CEST)

=Meetings=
* Thursday June 1th 13-14h (room IFW E 44) (?)

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-05T01:58:20Z

Philipp: /* Links */ added at gui interface v0.4

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.

=Links=
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]]
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]
* [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_src.zip demo gui source code (version 0.3)] (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do: <code>cmd> ec -from_bench</code> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST)
* [http://n.ethz.ch/student/fleu/download/AutoTest.zip new Version of the Input Interface] including the Eiffel Build *.bpr File and already inheriting from SHARED_AUTO_TEST_PROJECT (Florian, 3 June 2006)
* [http://n.ethz.ch/student/pboenhof/autotest/at_gui_interface_v0.4.zip at_gui_interface_v0.4.zip] Complete package to install user interface into ES. Consult README.TXT for further instructions. --[[User:Philipp|Philipp]] 04:55, 5 June 2006 (CEST)

=Meetings=
* Thursday June 1th 13-14h (room IFW E 44) (?)

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc: autotest)
* [[User:Psamuel|Samuel Pasquier]] (doc: output)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc: input)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: general)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

Automatic Build Scripts

2006-06-04T20:03:20Z

Philipp: /* Windows */ remark about batchfile compatibility

[[Category:Compiler]]
[[Category:EiffelStudio]]
This page references different build scripts that automate the process of building EiffelStudio.

== Windows ==

[[User:Barnski|Bernardo Buss]] created a set of scripts for the automated compilation of EiffelStudio under Windows.
* Script: http://homepage.hispeed.ch/barnski/EiffelStudio_batch_files.zip
* Announcement: http://origo.ethz.ch/pipermail/es-devel/2006-April/000052.html
'''Note:''' 
* You may need to keep "2_checkout_dev.bat" up to date by yourself according to [[Compiling_EiffelStudio#Checking_out_from_SVN|Checking out from SVN]].
* It is possible that the '''batchfiles only work partial''' with EiffelStudio '''newer than version 5.7.0826''' (especially parts of the compilation process may differ too much).
'''Update:''' 
* [[User:Philipp|Philipp Bönhof]] improved the scripts with customizable parameters. Download here: http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip

== Linux ==

Bernd Schoeller has developed a build script available for download at http://se.inf.ethz.ch/people/schoeller/download/build-ec-acex

This script requires a single checkout from the SVN repository (with the EIFFEL_SVN environment variable pointing to it). It will compile the bench or the batch compiler (you need to modify the script for the second).

=== Gentoo ===
Eiffelstudio, Gobo, edoc, ewg, eiffelmedia and eclipse edt ebuilds for gentoo, can be downloaded [http://n.ethz.ch/~philipkr/eiffel-ebuilds.tar.gz here] or from cvs:
cvs -z3 -d:pserver:anonymous@waldorf.inf.ethz.ch:/public-cvs co -deiffel-ebuilds student/eiffel-ebuilds
Installation instructions can be found [http://n.ethz.ch/~philipkr/eiffel-tools.html here]

== Mac OSX ==

To compile EiffelStudio under MacOS X with a pre-compiled Linux binary, Martin has developed a script. It is included in the EiffelStudio "compile from source" archive at http://eiffelsoftware.origo.ethz.ch/downloads/tools/experimental/.

AutoTest Integration

2006-06-01T10:49:56Z

Philipp: /* Team */ updating tasks

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.

=Links=
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]]
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]
* [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_src.zip demo gui source code (version 0.3)] (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do: <code>cmd> ec -from_bench</code> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST)

=Meetings=
* Thursday June 1th 13-14h (room IFW E 44) (?)

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; code: output)
* [[User:jong|Je Lan Ong]] (doc)
* [[User:Psamuel|Samuel Pasquier]] (doc: output; testing)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: input)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-06-01T07:49:13Z

Philipp: /* Links */ added skeletton for input gui (EiffelBuild project)

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

Mailing list: es-autotest@origo.ethz.ch

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

== M2: May 2nd 2006 ==
* team divided in sub groups
* divided the project in its components
* we need to treat [http://se.inf.ethz.ch/people/leitner/auto_test/ AutoTest] as black box (unless the developper is able to cope with the problems with Eiffel 5.7)

=To Do=
* create a logo
* caller interface, output interface
* interface to autotest

== Hints for the work ==
* Do the same thing in two groups simultaneously, probably one group has solved some problems faster than the other.

=Links=
* How to install and compile EiffelStudio under Windows see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]
* [http://n.ethz.ch/student/pboenhof/autotest/Philipp_Eiffel_Compilation_Scripts.zip batch scripts for EiffelStudio compilation modified by Philipp (who is not the author)] --[[User:Philipp|Philipp]]
* First interface of a class AUTO_TEST_PROJECT [http://n.ethz.ch/student/djuric/download/auto_test_project.e auto_test_project.e]
* [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_src.zip demo gui source code (version 0.3)] (compiling the according ace file should work, you can also open *.bpr with EiffelBuild) [http://n.ethz.ch/~pboenhof/autotest/autotest_demo_gui_v3_win32_binary.zip win32 binary distribution] for those without a running compiler --modified [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/~pboenhof/autotest/ec_win32_with_autotest_demo.zip win32 ec binary] with rudimentary AutoTest dialog included in Tool menu; to start with the GUI do: <code>cmd> ec -from_bench</code> --added [[User:Philipp|Philipp]] 00:42, 13 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/browsing_notes.pdf notes] from browsing the source code of EiffelStudio --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/pboenhof/autotest/presentation_2006_05_04.pdf opening the compiled eiffel project in EiffelStudio] --[[User:Philipp|Philipp]]
* [http://n.ethz.ch/student/djuric/download/global_design.pdf Global design document] describing the global design goals and ideas, [http://n.ethz.ch/student/djuric/download/global_design.zip source code of the files]. Here is the new corresponding [http://n.ethz.ch/student/djuric/download/auto_test_project.e interface source file] (NOT UP TO DATE!)
* [http://n.ethz.ch/student/djuric/download/at_project_example.zip working example system] that lets you explore the interaction with the interface.
* [http://n.ethz.ch/student/djuric/download/auto_test_interface.zip fixed interface] Use this interface files to build your clients. You can get the reference to the AUTO_TEST_PROJECT by inheriting from SHARED_AUTO_TEST_PROJECT. -- [[User:Djuric|Djuric]] 12:16, 25 May 2006 (CEST)
* [http://n.ethz.ch/student/pboenhof/autotest/demo2_eif_build.zip skeletton for input gui (EiffelBuild project)] Generated also with the components predefined in EiffelBuild 5.6 and can be opened also in EiffelBuild 5.7.0826. (The components in EiffelBuild 5.7.0826 are buggy and if you try to insert one then EiffelBuild won't do it and will stop accepting right clicks and slow down.) --[[User:Philipp|Philipp]] 09:49, 1 June 2006 (CEST)

=Meetings=
* Thursday June 1th 13-14h (room IFW E 44) (?)

==Protocols==
The protocols and other links are mainly in german.
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2001%20Protokoll%2027.04.06.pdf protocol 27.04.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2002%20Protokoll%2004.05.06.pdf protocol 04.05.2006]
* [http://n.ethz.ch/student/jschoch/download/AECCS%20Protokolle/AECCS%2003%20Protokoll%2018.05.06.pdf protocol 18.05.2006]

=Team=

* [[User:Wliu|Weiqiang Liu]] (project leader; libero)
* [[User:jong|Je Lan Ong]] (doc)
* [[User:Psamuel|Samuel Pasquier]] (doc,output; testing)
* [[User:Philipp|Philipp Bönhof]] (code: input interface; wiki)
* [[User:Pgoffin|Pascal Goffin]] (doc)
* [[User:Dilip|Dilip Many]] (code: input interface)
* [[User:Djuric|Dejan Juric]] (over all design; code: output, spec autotest; logos)
* [[User:Jschoch|Jona Schoch]] (protocol; doc: input)
* [[User:Stephan|Stephan Gerhard]] (code: output)
* [[User:Florian|Florian Leu]] (code: input interface)
* [[User:arnofiva|Arno Fiva]] (code: specification autotest)
* Carlo Manco (code: autotest)
* Matthieu Bray (design; testing)
* [[User:ilinca_ciupa|Ilinca Ciupa]] (assistant)

AutoTest Integration

2006-05-12T22:42:41Z

Philipp: /* Links */ new demo gui & win32 ec.exe with demo AutoTest dialog

AutoTest Integration

2006-05-09T12:26:19Z

Philipp: /* To Do */ doc team needs wiki account

Talk:AutoTest Integration

2006-05-05T12:51:24Z

Philipp: version problems while including AutoTest as source code

I think we should use this page to exchange also experiences and other questions. --[[User:Philipp|Philipp]] 17:12, 4 May 2006 (CEST)

'''Problem:''' At the moment AutoTest does not compile with Eiffel 5.7. This is because it works with Gobo33 (not with the new Gobo34) and Eiffel 5.7 supports only very poor backward compatibility to projects and sourcecode written in earlier versions. I hope the developper of AutoTest will be able to solve this incompatibility. Probably we might also be able to help especially if our inclusion to EiffelStudio does not really need the components of AutoTest which rely on Gobo. --[[User:Philipp|Philipp]] 14:51, 5 May 2006 (CEST)

AutoTest Integration

2006-05-05T12:43:13Z

Philipp: /* M2: May 2nd 2006 */ correcting note on how to call AutoTest

AutoTest Integration

2006-05-04T15:38:06Z

Philipp: /* Links */ moved opening compiled project from protocols

Talk:AutoTest Integration

2006-05-04T15:12:21Z

Philipp: starting discussion

I think we should use this page to exchange also experiences and other questions. --[[User:Philipp|Philipp]] 17:12, 4 May 2006 (CEST)

AutoTest Integration

2006-05-04T15:05:51Z

Philipp: /* Meetings */ deleting poss meetings on tuesdays

AutoTest Integration

2006-05-04T12:08:51Z

Philipp: /* Protocols */ presentation 4.5.06

AutoTest Integration

2006-05-04T12:06:07Z

Philipp: /* Team */ interface teams

AutoTest Integration

2006-05-03T23:48:03Z

Philipp: /* Links */ update and sourcecode notes

User:Philipp

2006-05-03T16:58:34Z

Philipp: demo gui report

== project tasks ==
* support for [[Compiling EiffelStudio]] under Windows using also [[Automatic Build Scripts]]
* code -> currently gui
* keep wiki up to date

== working state ==
* I set up some rudimentary graphical user interface for the arguments.
* I'm now trying to integrate it in a file menu or menu bar of EiffelStudio: <ul><li>It is not so hard as I first thought. I looked at a new vision2 project and found out, that it is not that difficult to add a menu entry or a whole pulldown menu.</li><li>Most certain it is better not to add a whole menu list but only one entry, otherwise ES will be overloaded.</li></ul>

AutoTest Integration

2006-05-03T16:48:44Z

Philipp: /* Links */ demo gui

AutoTest Integration

2006-05-03T07:41:52Z

Philipp: /* Links */ added modified batch scripts

User:Philipp

2006-05-02T16:08:21Z

Philipp: /* working state */ changed style

== project tasks ==
* support for [[Compiling EiffelStudio]] under Windows using also [[Automatic Build Scripts]]
* code
* keep wiki up to date

== working state ==
* I set up some rudimentary graphical user interface for the arguments.
* I'm now trying to integrate it in a file menu or menu bar of EiffelStudio.
* I'll post my results here.

User:Philipp

2006-05-02T16:02:33Z

Philipp: project and working state

== project tasks ==
* support for [[Compiling EiffelStudio]] under Windows using also [[Automatic Build Scripts]]
* code
* keep wiki up to date

== working state ==
I set up some rudimentary graphical user interface for the arguments.

I'm now trying to integrate it in a file menu or menu bar of EiffelStudio.

I'll post my results here.

AutoTest Integration

2006-05-02T15:48:41Z

Philipp: /* To Do */ added hints

AutoTest Integration

2006-05-02T15:34:22Z

Philipp: M2, edited Meetings, fixed some typos

AutoTest Integration

2006-04-27T12:12:25Z

Philipp: /* To Do, Meetings & Team */

AutoTest Integration

2006-04-25T20:46:58Z

Philipp: /* Milestones, Meetings, TODO & Links */

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

=Milestones=

== M1: April 25th 2006 ==
* project page has been set up
* members are on the team list
* organizing meetings

=To Do=
* create a logo

=Links=
* Howto install and compile EiffelStudio under Windwos see [[Compiling EiffelStudio]]
* Batch file to help you with the installation [[Automatic Build Scripts]]

=Meetings=
* Thursday April 27th 13-14h (still looking for a room)
* other probably possible meeting time: Tuesdays 15-16h

=Team=

* Weiqiang Liu (project leader)
* Je Lan Ong
* Samuel Pasquier
* [[User:Philipp|Philipp Bönhof]]
* Pascal Goffin
* Dilip Many
* Dejan Juric
* Jona Schoch
* Stephan Gerhard
* Florian Leu
* Arno Fiva
* Carlo Manco
* Matthieu Bray
* [[User:ilinca_ciupa|Ilinca Ciupa]]

AutoTest Integration

2006-04-25T12:21:31Z

Philipp: /* Team */ corrected project leader, links to wiki user

[[Category:Projects]]

=Overview=

Project name: AECCS (Advanced Eiffel Contract Checking System)

Project description: integration of AutoTest into EiffelStudio

=Milestones=

=Team=

* Weiqiang Liu (project leader)
* Je Lan Ong
* Samuel Pasquier
* [[User:Philipp|Philipp Bönhof]]
* Pascal Goffin
* Dilip Many
* Dejan Juric
* Jona Schoch
* Stephan Gerhard
* Florian Leu
* Arno Fiva
* Carlo Manco
* Matthieu Bray
* [[User:ilinca_ciupa|Ilinca Ciupa]]

Automatic Build Scripts

2006-04-20T20:35:25Z

Philipp: /* Windows */ added remark to keep checkout up to date

[[Category:Compiler]]
[[Category:EiffelStudio]]
This page references different build scripts that automate the process of building EiffelStudio.

== Windows ==

Bernardo Buss created a set of scripts for the automated compilation of EiffelStudio under Windows.
* Script: http://homepage.hispeed.ch/barnski/EiffelStudio_batch_files.zip
* Announcement: http://origo.ethz.ch/pipermail/es-devel/2006-April/000052.html
You may need to keep "2_checkout_dev.bat" up to date according to [[Compiling_EiffelStudio#Checking_out_from_SVN|Checking out from SVN]].

== Linux ==

Bernd Schoeller has developed a build script available for download at http://se.inf.ethz.ch/people/schoeller/download/build-studio

This script requires a single checkout from the SVN repository (with the EIFFEL_SVN environment variable pointing to it). It will compile the bench or the batch compiler (you need to modify the script for the second).

== Mac OSX ==

None yet.

Compiling EiffelStudio

2006-04-20T20:22:17Z

Philipp: /* Compiling C code from compiler */ code versions for cmd and bash

[[Category:Compiler]]
[[Category:EiffelStudio]]

== Installing EiffelStudio ==

To compile EiffelStudio, you need an already working EiffelStudio compiler on your machine. The current source tree '''requires at least version 5.7''' of EiffelStudio. You can download it from http://eiffelsoftware.origo.ethz.ch/downloads/builds/. This version still requires a registration (we missed to remove the registration cluster while compiling). You need to '''activate''' EiffelStudio (see below), because in some cases the compiler won't work correctly if not activated. [[Installing EiffelStudio]] is covered in its own article.

'''Note:''' on Windows you will need the Microsoft C compiler to compile Eiffel Studio. How to install the free version of the Microsoft C compiler: [[Installing Microsoft C compiler]]

===Compilation methods===
Currently there are two compilation methods.
* You can either compile EiffelStudio from scratch following the instructions in this document. This is the only method on Windows.
* Alternatively (on Linux/UNIX) you can use a compilation script that Bernd Schoeller has kindly posted to the developer mailinglist: [http://origo.ethz.ch/pipermail/es-devel/2006-April/000016.html Linux compilation script]
If possible, use the compilation script and report any errors to the developer mailing list.

==Extracting source code==

===Checking out from SVN===
#Point an environment variable called '''EIFFEL_SRC''' to the directory where you want to compile EiffelStudio Usually we use the '''XXdev''' convention for this directory name - where XX is the version number from the current developped version of the compiler.
#Make sure that '''ISE_EIFFEL''', '''ISE_PLATFORM''' and '''ISE_C_COMPILER''' (on windows only) are properly defined
#Perform the following checkout procedures:

'''Windows'''
<pre>
set SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co %SVNURL%/trunk/Src 57dev
svn co %SVNURL%/trunk/Delivery 57dev/Delivery
svn co %SVNURL%/trunk/free_add_ons 57dev/free_add_ons
</pre>

'''Bash'''
<pre>
export SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co $SVNURL/trunk/Src 57dev
svn co $SVNURL/trunk/Delivery 57dev/Delivery
svn co $SVNURL/trunk/free_add_ons 57dev/free_add_ons
</pre>

To update the sourcefiles to the latest revision, perform the following steps:

'''Bash and Windows'''
<pre>
cd 57dev
svn up
svn up free_add_ons
svn up Delivery
</pre>

==Installing gobo==

Please make sure to use the version provided or the very latest version from CVS. All other versions (including the official 3.4 release) will not work because of name clashes in the UC_STRING class between GOBO and EiffelStudio. 
As the anonymous CVS on sourceforge is currently broken, use the following link from the gobo newsgroup to get the [http://www.gobosoft.com/download/gobo-cvs-060418.zip CVS-checkout of 18.April].

===Windows specific===

You have to unzip the gobo distribution from $EIFFEL_SRC/free_add_ons/gobo/gobo_34_win.tgz and extract it into $EIFFEL_SRC/library.

===Unix specific===

You have to unzip the gobo distribution from $EIFFEL_SRC/free_add_ons/gobo/gobo_34_unix.tgz and extract it into $EIFFEL_SRC/library. Here is the list of commands to do this:
<pre>cd $EIFFEL_SRC/library
tar -xvzf $EIFFEL_SRC/free_add_ons/gobo/gobo_34_unix.tgz
</pre>

==Compiling C libraries==

===Compiling run-time on Windows===

Before being able to compile the run-time, you need to ensure that '''bash''' is in your '''PATH'''. You can download it from [http://www.cygwin.com http://www.cygwin.com]. Also make sure, that the path to the binaries of your c compiler is placed before the path to cygwin or else the wrong linker will be used. Once done you can do:

'''Windows''' (cmd)
<pre>cd %EIFFEL_SRC%/C
configure [win32|win64] [b|m]</pre>

'''Bash'''
<pre>cd $EIFFEL_SRC/C
./configure.bat [win32|win64] [b|m]</pre>

The first argument indicated whether you are compiling the run-time for 32 or 64 bits. The second one is to tell which C compiler will be used. For now only `b' (Borland) and `m' (Microsoft) are officially supported. We also informally support `g' (GCC) and `l' (LCC).

On Windows 32 bits to clean up all the generated files you do:

'''Windows'''
<pre>configure clean</pre>
'''Bash'''
<pre>./configure.bat clean</pre>

On Windows 64 bits, you do:
<pre>configure cleand</pre>

===Compiling run-time on Unix===

The command is simply:
<pre>cd $EIFFEL_SRC/C
./quick_configure</pre>
This requires that '''ISE_PLATFORM''' is properly defined. The `quick_configure' script will look for the file CONFIGS/$ISE_PLATFORM and use it to extract the platform specific information to compile the run-time. If not found then an error will be reported.

===Compiling C code from libraries===

Here is the list of commands to compile all required C libraries on Windows:

'''Windows'''
<pre>cd %EIFFEL_SRC%/library/net/Clib
make_msc.bat
cd %EIFFEL_SRC%/library/vision2/Clib
make_msc.bat
cd %EIFFEL_SRC%/library/wel/Clib
make_msc.bat</pre>
'''Bash'''
<pre>cd $EIFFEL_SRC/library/net/Clib
./make_msc.bat
cd $EIFFEL_SRC/library/vision2/Clib
./make_msc.bat
cd $EIFFEL_SRC/library/wel/Clib
./make_msc.bat</pre>

On Unix it is slightly different:
<pre>cd $EIFFEL_SRC/library/event/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/net/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/implementation/gtk/Clib
finish_freezing -library</pre>

Make sure that '''ISE_EIFFEL''' is set correctly to your current "EiffelStudio" installation!

===Compiling C code from C_library===

This is only required on Windows to read PNG file. On Unix, this is not required because it is included in GTK+2.4. Simply do the following:

'''Windows'''
<pre>cd %EIFFEL_SRC%/C_library/zlib
make_msc.bat
cd %EIFFEL_SRC%/C_library/libpng
make_msc.bat</pre>
'''Bash'''
<pre>cd $EIFFEL_SRC/C_library/zlib
./make_msc.bat
cd $EIFFEL_SRC/C_library/libpng
./make_msc.bat</pre>

===Compiling C code from compiler===

This is only required on Windows as this C code is a tiny wrapper around the Microsoft C++ API to generate and to debug .NET code.

To compile it, you first need to install the Microsoft .NET SDK. You can download it from their website.

After installing it, you need to update your '''LIB''' and '''INCLUDE''' environment variable to include the path the lib and include directory of the .NET Framework SDK.

Once properly installed, you can do:

'''Windows'''
<pre>cd %EIFFEL_SRC%/Eiffel/library/cli_writer/Clib
nmake</pre>
'''Bash'''
<pre>cd $EIFFEL_SRC/Eiffel/library/cli_writer/Clib
nmake</pre>

==Compiling EiffelStudio==

Now that we have taken care of the C code compilation we can compile the compiler. There are four ace files in $EIFFEL_SRC/Eiffel/Ace:
* batch.mswin.ace
* newbench.mswin.ace
* batch.unix.ace
* newbench.linux.ace
The first two are for windows, the last two for unix (even if the last one says `linux').

To compile simply do:
<pre>ec -ace <chosen_ace_file> -c_compile</pre>

Please note: the 'ec' binary produced by the newbench .ace file contains the full Eiffel compiler, including the batch version. 'estudio' is just a wrapper (available in Src/bench/C/ipc/daemon). So, you need either the one or the other.

===Windows specific===

At the end of the compilation for the workbench version, the C compilation will fail reporting an undefined reference to `nbref'. This is because the ace file has been built for the finalized version of EiffelStudio not the workbench version. To fix this problem do the following:
<pre>copy ec.lnk h</pre>
Then edit the file `h' and replace '''mtcompiler.lib''' by '''mtwcompiler.lib'''.
Once this is done you can complete you do:
<pre>link @h</pre>
In order to update to the new version of metadata consumer tool, follow the instructions described [[Compiling Metadata Consumer|here]].

===Unix specific===

Like the windows version the C compilation, it will fail, but this time for two reasons:
* nbref
* linking order causing many errors to be reported

Here is the recommended way, make a copy of the generated Makefile and put it at the same level as your EIFGEN directory. Edit it and replace '''libmtcompiler.a''' by '''libmtwcompiler.a''', then search for "$(EXTERNALS) $(EIFLIB)" and replace it by "$(EIFLIB) $(EXTERNALS)". Once this is done, you can do:
<pre>make -f ../../Makefile</pre>

A little script that does the necessary changes: Place it at the same level as the EIFGEN directory is.

<code>[bash,N]
#!/bin/bash

cp EIFGEN/W_code/Makefile .
sed 's/libmtcompiler\.a/libmtwcompiler\.a/g' Makefile > tmp
sed 's/\$(EXTERNALS) \$(EIFLIB)/\$$EIFLIB$ \$$EXTERNALS$/g' tmp > Makefile
cd EIFGEN/W_code
make -f ../../Makefile
</code>

'''Note:''' These changes are not required if you try to compile a finalized version of EiffelStudio, but only if you want to create a workbench version of EiffelStudio for development and debugging.

Also, if you encounter problems with your self-compiled version of EiffelStudio, you might try to compile it with GCC 3.x. Version 4 of GCC has a slight change in semantics and EiffelStudio has not been updated. You can see the change in behavior in the following code:

<code>[C,N]
#include <stdio.h>

int a;
int b;
int *pointer;

int foo()
{
pointer = &b;
return 4;
}

int main (int argc, char** argv)
{
a = 3;
b = 0;

pointer = &a;

*pointer = foo();

printf ("You are using GCC %d.%d\n",a,b);
return 0;
}
</code>

===Mac OS X specific===

The basic steps are:
* compile it under linux
* copy the F_Code directory to the mac
* compile it there using make
* fix whatever problems appear

Compiling EiffelStudio

2006-04-20T20:20:54Z

Philipp: /* Compiling C code from C_library */ code versions for cmd and bash

[[Category:Compiler]]
[[Category:EiffelStudio]]

== Installing EiffelStudio ==

To compile EiffelStudio, you need an already working EiffelStudio compiler on your machine. The current source tree '''requires at least version 5.7''' of EiffelStudio. You can download it from http://eiffelsoftware.origo.ethz.ch/downloads/builds/. This version still requires a registration (we missed to remove the registration cluster while compiling). You need to '''activate''' EiffelStudio (see below), because in some cases the compiler won't work correctly if not activated. [[Installing EiffelStudio]] is covered in its own article.

'''Note:''' on Windows you will need the Microsoft C compiler to compile Eiffel Studio. How to install the free version of the Microsoft C compiler: [[Installing Microsoft C compiler]]

===Compilation methods===
Currently there are two compilation methods.
* You can either compile EiffelStudio from scratch following the instructions in this document. This is the only method on Windows.
* Alternatively (on Linux/UNIX) you can use a compilation script that Bernd Schoeller has kindly posted to the developer mailinglist: [http://origo.ethz.ch/pipermail/es-devel/2006-April/000016.html Linux compilation script]
If possible, use the compilation script and report any errors to the developer mailing list.

==Extracting source code==

===Checking out from SVN===
#Point an environment variable called '''EIFFEL_SRC''' to the directory where you want to compile EiffelStudio Usually we use the '''XXdev''' convention for this directory name - where XX is the version number from the current developped version of the compiler.
#Make sure that '''ISE_EIFFEL''', '''ISE_PLATFORM''' and '''ISE_C_COMPILER''' (on windows only) are properly defined
#Perform the following checkout procedures:

'''Windows'''
<pre>
set SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co %SVNURL%/trunk/Src 57dev
svn co %SVNURL%/trunk/Delivery 57dev/Delivery
svn co %SVNURL%/trunk/free_add_ons 57dev/free_add_ons
</pre>

'''Bash'''
<pre>
export SVNURL=https://eiffelsoftware.origo.ethz.ch/svn/es
svn co $SVNURL/trunk/Src 57dev
svn co $SVNURL/trunk/Delivery 57dev/Delivery
svn co $SVNURL/trunk/free_add_ons 57dev/free_add_ons
</pre>

To update the sourcefiles to the latest revision, perform the following steps:

'''Bash and Windows'''
<pre>
cd 57dev
svn up
svn up free_add_ons
svn up Delivery
</pre>

==Installing gobo==

Please make sure to use the version provided or the very latest version from CVS. All other versions (including the official 3.4 release) will not work because of name clashes in the UC_STRING class between GOBO and EiffelStudio. 
As the anonymous CVS on sourceforge is currently broken, use the following link from the gobo newsgroup to get the [http://www.gobosoft.com/download/gobo-cvs-060418.zip CVS-checkout of 18.April].

===Windows specific===

You have to unzip the gobo distribution from $EIFFEL_SRC/free_add_ons/gobo/gobo_34_win.tgz and extract it into $EIFFEL_SRC/library.

===Unix specific===

You have to unzip the gobo distribution from $EIFFEL_SRC/free_add_ons/gobo/gobo_34_unix.tgz and extract it into $EIFFEL_SRC/library. Here is the list of commands to do this:
<pre>cd $EIFFEL_SRC/library
tar -xvzf $EIFFEL_SRC/free_add_ons/gobo/gobo_34_unix.tgz
</pre>

==Compiling C libraries==

===Compiling run-time on Windows===

Before being able to compile the run-time, you need to ensure that '''bash''' is in your '''PATH'''. You can download it from [http://www.cygwin.com http://www.cygwin.com]. Also make sure, that the path to the binaries of your c compiler is placed before the path to cygwin or else the wrong linker will be used. Once done you can do:

'''Windows''' (cmd)
<pre>cd %EIFFEL_SRC%/C
configure [win32|win64] [b|m]</pre>

'''Bash'''
<pre>cd $EIFFEL_SRC/C
./configure.bat [win32|win64] [b|m]</pre>

The first argument indicated whether you are compiling the run-time for 32 or 64 bits. The second one is to tell which C compiler will be used. For now only `b' (Borland) and `m' (Microsoft) are officially supported. We also informally support `g' (GCC) and `l' (LCC).

On Windows 32 bits to clean up all the generated files you do:

'''Windows'''
<pre>configure clean</pre>
'''Bash'''
<pre>./configure.bat clean</pre>

On Windows 64 bits, you do:
<pre>configure cleand</pre>

===Compiling run-time on Unix===

The command is simply:
<pre>cd $EIFFEL_SRC/C
./quick_configure</pre>
This requires that '''ISE_PLATFORM''' is properly defined. The `quick_configure' script will look for the file CONFIGS/$ISE_PLATFORM and use it to extract the platform specific information to compile the run-time. If not found then an error will be reported.

===Compiling C code from libraries===

Here is the list of commands to compile all required C libraries on Windows:

'''Windows'''
<pre>cd %EIFFEL_SRC%/library/net/Clib
make_msc.bat
cd %EIFFEL_SRC%/library/vision2/Clib
make_msc.bat
cd %EIFFEL_SRC%/library/wel/Clib
make_msc.bat</pre>
'''Bash'''
<pre>cd $EIFFEL_SRC/library/net/Clib
./make_msc.bat
cd $EIFFEL_SRC/library/vision2/Clib
./make_msc.bat
cd $EIFFEL_SRC/library/wel/Clib
./make_msc.bat</pre>

On Unix it is slightly different:
<pre>cd $EIFFEL_SRC/library/event/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/net/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/Clib
finish_freezing -library
cd $EIFFEL_SRC/library/vision2/implementation/gtk/Clib
finish_freezing -library</pre>

Make sure that '''ISE_EIFFEL''' is set correctly to your current "EiffelStudio" installation!

===Compiling C code from C_library===

This is only required on Windows to read PNG file. On Unix, this is not required because it is included in GTK+2.4. Simply do the following:

'''Windows'''
<pre>cd %EIFFEL_SRC%/C_library/zlib
make_msc.bat
cd %EIFFEL_SRC%/C_library/libpng
make_msc.bat</pre>
'''Bash'''
<pre>cd $EIFFEL_SRC/C_library/zlib
./make_msc.bat
cd $EIFFEL_SRC/C_library/libpng
./make_msc.bat</pre>

===Compiling C code from compiler===

This is only required on Windows as this C code is a tiny wrapper around the Microsoft C++ API to generate and to debug .NET code.

To compile it, you first need to install the Microsoft .NET SDK. You can download it from their website.

After installing it, you need to update your '''LIB''' and '''INCLUDE''' environment variable to include the path the lib and include directory of the .NET Framework SDK.

Once properly installed, you can do:
<pre>cd $EIFFEL_SRC/Eiffel/library/cli_writer/Clib
nmake</pre>

==Compiling EiffelStudio==

Now that we have taken care of the C code compilation we can compile the compiler. There are four ace files in $EIFFEL_SRC/Eiffel/Ace:
* batch.mswin.ace
* newbench.mswin.ace
* batch.unix.ace
* newbench.linux.ace
The first two are for windows, the last two for unix (even if the last one says `linux').

To compile simply do:
<pre>ec -ace <chosen_ace_file> -c_compile</pre>

Please note: the 'ec' binary produced by the newbench .ace file contains the full Eiffel compiler, including the batch version. 'estudio' is just a wrapper (available in Src/bench/C/ipc/daemon). So, you need either the one or the other.

===Windows specific===

At the end of the compilation for the workbench version, the C compilation will fail reporting an undefined reference to `nbref'. This is because the ace file has been built for the finalized version of EiffelStudio not the workbench version. To fix this problem do the following:
<pre>copy ec.lnk h</pre>
Then edit the file `h' and replace '''mtcompiler.lib''' by '''mtwcompiler.lib'''.
Once this is done you can complete you do:
<pre>link @h</pre>
In order to update to the new version of metadata consumer tool, follow the instructions described [[Compiling Metadata Consumer|here]].

===Unix specific===

Like the windows version the C compilation, it will fail, but this time for two reasons:
* nbref
* linking order causing many errors to be reported

Here is the recommended way, make a copy of the generated Makefile and put it at the same level as your EIFGEN directory. Edit it and replace '''libmtcompiler.a''' by '''libmtwcompiler.a''', then search for "$(EXTERNALS) $(EIFLIB)" and replace it by "$(EIFLIB) $(EXTERNALS)". Once this is done, you can do:
<pre>make -f ../../Makefile</pre>

A little script that does the necessary changes: Place it at the same level as the EIFGEN directory is.

<code>[bash,N]
#!/bin/bash

cp EIFGEN/W_code/Makefile .
sed 's/libmtcompiler\.a/libmtwcompiler\.a/g' Makefile > tmp
sed 's/\$(EXTERNALS) \$(EIFLIB)/\$$EIFLIB$ \$$EXTERNALS$/g' tmp > Makefile
cd EIFGEN/W_code
make -f ../../Makefile
</code>

'''Note:''' These changes are not required if you try to compile a finalized version of EiffelStudio, but only if you want to create a workbench version of EiffelStudio for development and debugging.

Also, if you encounter problems with your self-compiled version of EiffelStudio, you might try to compile it with GCC 3.x. Version 4 of GCC has a slight change in semantics and EiffelStudio has not been updated. You can see the change in behavior in the following code:

<code>[C,N]
#include <stdio.h>

int a;
int b;
int *pointer;

int foo()
{
pointer = &b;
return 4;
}

int main (int argc, char** argv)
{
a = 3;
b = 0;

pointer = &a;

*pointer = foo();

printf ("You are using GCC %d.%d\n",a,b);
return 0;
}
</code>

===Mac OS X specific===

The basic steps are:
* compile it under linux
* copy the F_Code directory to the mac
* compile it there using make
* fix whatever problems appear