Copyright 1999-2000 VA Linux Systems, Inc. http://ligforge.imag.fr LiGforge Project News Highlights http://ligforge.imag.fr/forum/forum.php?forum_id=575 La version en ligne d'EDBA comporte maintenant 512 exercices ( http://edba.imag.fr ou https://edba.imag.fr/index_EDBA_Full.html pour être complet). C'est l'occasion de produire une version hors-ligne SPA (single page application) avec les 512 exercices en cache (plus 20 prédicats publics ou prédéfinis), pour un usage local sans internet, ou via une plateforme pédagogique comme Moodle, voici donc aussi : EDBA - SPA - BD - 512 ( https://ligforge.imag.fr/frs/download.php/235/EdbaSpaBd512.html ). rem. : la version hors-ligne ne comporte pas de gestion des utilisateurs, d'accés aux outils d'administration d'EDBA, etc. qui n'existent que dans la version en ligne (cf. plus haut). TELJavascript Denis Bouhineau Wed, 20 Mar 2013 5:03:26 GMT http://ligforge.imag.fr/forum/forum.php?forum_id=566 Le projet edba change de serveur d'exécution, il est accueilli maintenant par Marvelig, http://edba.imag.fr ou (pour être complet) https://edba.imag.fr/index_EDBA_Full.html J'en profite pour faire un point d'actualité. Cet été le projet aura 4 ans et il devrait dépasser bientôt les 100 utilisateurs et les 400 exercices (avec les exercices en anglais, c'est déjà le cas). Cette année, l'idée de départ d'identifier partiellement, en première approche, un exercice/algorithme avec ses entrées-sorties a été généralisée et a donné plusieurs résultats intéressants : la base d'exercices peut être interrogée à la manière de //http://oeis.org/ en donnant quelques éléments sémantiques observationnels. Ex: rechercher un exercice qui répond [1,2,3] sur l'entrée [3,2,1] permet de trouver trois exercices/algorithmes : trier, renverser et "échanger premier et dernier d'une liste". A partir de la sémantique observationnelle partielle des exerices/algorithmes des cartes de l'ensemble des exercices ont été produites. Les propositions de solutions d'exercices, même et surtout si elles ne correspondent pas aux algorithmes cherchées peuvent être identifiées par leur signature observationnelle partielle et des indications de correction des erreurs (pour obtenir l'algorithme recherché) peuvent être associées à ces signatures de manière collaborative et utilisées au moment approprié. TELJavascript Denis Bouhineau Fri, 08 Jun 2012 3:54:20 GMT http://ligforge.imag.fr/forum/forum.php?forum_id=558 Le projet OSE est maintenant hébergé sur le site : https://forge.imag.fr/projects/ose/ Le projet continue a être un projet public sous licence libre. Outil de Suivi des Effectifs (OSE) guillet isabelle Mon, 30 Jan 2012 6:26:28 GMT http://ligforge.imag.fr/forum/forum.php?forum_id=439 A new release of krash is out. The version 0.3 is a rewrite in C/C++ with the libcgroup as the new interface for kernel cooperation. The release also use the autotools for install and should be quite easy to use with the help of a full man page. Have fun ! KRASH Swann Perarnau Sun, 28 Feb 2010 7:53:06 GMT http://ligforge.imag.fr/forum/forum.php?forum_id=434 This new release of GGen fixes a bug in the previous distribution. The builtin.hpp file wasn't included. Thanks to Franck Rousseau for the bug report. GGen Swann Perarnau Thu, 18 Feb 2010 4:50:03 GMT http://ligforge.imag.fr/forum/forum.php?forum_id=424 La nouvelle version v1.2 est disponible en téléchargement Pistou guillet isabelle Fri, 05 Feb 2010 4:35:09 GMT http://ligforge.imag.fr/forum/forum.php?forum_id=416 First version of S_GPU 1 available S_GPU Matthieu Ospici Mon, 01 Feb 2010 4:56:21 GMT http://ligforge.imag.fr/forum/forum.php?forum_id=412 http://sway.imag.fr/unldeco/WelcomePresentation.po Utiliser le compte: readunl pour tester UNL Deconversion Server Hong-Thai NGUYEN Mon, 01 Feb 2010 4:55:56 GMT http://ligforge.imag.fr/forum/forum.php?forum_id=129 Un Wiki est maintenant disponible pour chacun des projets. Site Admin Local GForge Admin Wed, 08 Oct 2008 2:52:49 GMT http://ligforge.imag.fr/forum/forum.php?forum_id=74 L'outil de Suivi des Effectifs est désormais distribué avec une licence LGPL (cf. http://www.gnu.org/licenses/lgpl-3.0.txt). Outil de Suivi des Effectifs (OSE) Jean-Marie Vallet Thu, 29 May 2008 3:33:22 GMT