idiginBPEL

IdiginBPEL is an automatic invariant generator for WS-BPEL.

Activities

• Sunday September 25 2011

  • Push

    12:39

    

    Javier Santacruz pushed 29 commits to idiginbpel/idiginbpel:master. View diff

    master changed from 177b98e to e9427f0

    

• Wednesday June 30 2010

  • Commit

    20:53

    

    Javier Santacruz created branch trad on idiginbpel/idiginbpel

• Saturday June 26 2010

  • Push

    19:44

    

    Javier Santacruz pushed 47 commits to idiginbpel/idiginbpel:master

    master changed from 149edcd to 177b98e

    

• Monday May 10 2010

  • Push

    23:13

    

    Javier Santacruz pushed 43 commits to idiginbpel/idiginbpel:master

    master changed from 4b5eec5 to 149edcd

    

• Thursday April 22 2010

  • Push

    10:27

    

    Javier Santacruz pushed 19 commits to idiginbpel/idiginbpel:master

    master changed from 6832ef9 to 4b5eec5

    

• Monday April 19 2010

  • Commit

    17:44

    

    Javier Santacruz started development of idiginbpel/idiginbpel

  • Repository

    17:31

    

    Javier Santacruz created repository idiginbpel in idiginBPEL

    Automatic invariant generation for WS-BPEL

  • Project

    17:31

    

    Javier Santacruz created project idiginBPEL

    IdiginBPEL is an automatic invariant generator for WS-BPEL.

• Saturday April 17 2010

  • Commit

    20:55

    

    frajasal committed 6832ef95 to idiginbpel

    Script de instalación install.py ahora coge el código de trunk y no de el tag stable, que se utilizará más adelante.

  • Commit

    20:54

    

    frajasal committed e84776b6 to idiginbpel

    Borrado de la antigua ayuda

  • Commit

    20:54

    

    frajasal committed ba648589 to idiginbpel

    Cambio de estilo en las páginas de ayuda

  • Commit

    20:53

    

    frajasal committed 833d87c7 to idiginbpel

    Añadida primera versión inglesa de la ayuda

  • Commit

    20:53

    

    frajasal committed 5d226b78 to idiginbpel

    Modificada la estructura de la carpeta con los html de ayuda.

• Tuesday April 13 2010

  • Commit

    23:25

    

    frajasal committed 4b952c5c to idiginbpel

    Actualizada la interfaz de la pantalla de invariantes.

  • Commit

    23:25

    

    frajasal committed 790444ad to idiginbpel

    Comentada la propiedad en build.xml que hacía que Daikon se llamase siempre con los mismos argumentos sin hacer caso de los puestos en base-build.xml

  • Commit

    23:24

    

    frajasal committed 7e99fe95 to idiginbpel

    Arreglada errata, no es index-flattering es index-flattening

  • Commit

    23:24

    

    frajasal committed 844b607b to idiginbpel

    Arreglada errata. CheckButton.is_active no existe, es get_active

  • Commit

    20:03

    

    frajasal committed d4b6d1cf to idiginbpel

    Poner el tiempo total del análisis en la pantalla de invariantes

  • Commit

    20:02

    

    frajasal committed 9f6166ca to idiginbpel

    Funciones para obtener el tiempo del cronómetro

  • Commit

    00:03

    

    frajasal committed 77ad8f5b to idiginbpel

    Actualizar el tag stable con los últimos cambios en trunk.

  • Commit

    00:02

    

    frajasal committed c888e833 to idiginbpel

    Modificada la función filtrar para arreglar el progreso de la ejecución del análisis en la interfaz.

  • Commit

    00:01

    

    frajasal committed 17bf9f51 to idiginbpel

    Escrito el inicio de la parte de invariantes

  • Commit

    00:00

    

    frajasal committed 625b7680 to idiginbpel

    Añadidas funciones para manejar de manera básica invariantes

• Monday April 12 2010

  • Commit

    23:59

    

    frajasal committed 98eac253 to idiginbpel

    Renombrados elementos de interfaz según la nomenclatura y añadido scroll para el text view

  • Commit

    21:49

    

    frajasal committed c0c3ac76 to idiginbpel

    Modificaciones para instalar la aplicación desde el tag stable

  • Commit

    20:25

    

    frajasal committed 04b4ed9c to idiginbpel

    Creando tag stable a partir de trunk.

  • Commit

    20:12

    

    frajasal committed eb5817c2 to idiginbpel

    Eliminación del tag stable antiguo

  • Commit

    20:10

    

    frajasal committed 96ca667f to idiginbpel

    Actualizado base-build.xml con la nueva ruta a la clase InstrumentProcessTask

  • Commit

    20:09

    

    frajasal committed 8e17c292 to idiginbpel

    Cambiada la configuración por defecto para que tome de ~/IdiginBPEL los ficheros de runtime

• Thursday April 08 2010

  • Commit

    16:34

    

    frajasal committed 22e48b61 to idiginbpel

    Creación de un tab 'stable' para instalación.