User contributions
- 19:24, 20 January 2018 diff hist +383 N NewsEntry (2018/01/20) Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.5] was released |subtitle=Functions for parity acceptance, co-Büchi generation, LTL synthesis. |date=2018/01/20 }} The main f..."
- 21:49, 16 November 2017 diff hist -358 m NewsEntry (2017/09/06) Blanked the page current
- 21:48, 16 November 2017 diff hist +432 Nm NewsEntry (2017/09/06)2 Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.4] was released |subtitle=More tools, and more support for complex acceptance conditions. |date=2017/09/06 }} This release con..." current
- 21:46, 16 November 2017 diff hist +358 N NewsEntry (2017/09/06) Created page with "{{News |title=[http://spot.lrde.epita.fr/ Spot 2.4] was released |date=2017/09/06 }} This release contains two new tools (genaut for generating families of automata taken from..."
- 12:30, 23 February 2017 diff hist +203 Jobs/M2 2017 MC Spot Generic Acc
- 12:31, 2 February 2017 diff hist -2 Affiche-these-HDR-ADL
- 16:30, 19 January 2017 diff hist +418 N NewsEntry (2017/01/19) Spot 2.3 current
- 10:43, 5 December 2016 diff hist +136 Application Form →Fiche de candidature au LRDE: question sur editeur préféré
- 18:41, 30 November 2016 diff hist +29 Jobs/M2 2017 MC Spot Generic Acc
- 18:35, 30 November 2016 diff hist +84 Jobs/M2 2017 MC Spot Generic Acc
- 18:32, 30 November 2016 diff hist 0 Jobs/M2 2017 MC Spot Generic Acc
- 18:31, 30 November 2016 diff hist +2,111 N Jobs/M2 2017 MC Spot Generic Acc Created page with "{{Job |Reference id=M2 2017 MC Spot Generic Acc |Title=Algorithms for generic acceptance |Dates=5-6 months in 2017 |Research field=Model checking |Related project=Spot |Genera..."
- 17:58, 30 November 2016 diff hist 0 Jobs/M2 2016 ER Multi-core for Spot current
- 17:57, 30 November 2016 diff hist +14 Jobs/M2 2016 ER Multi-core for Spot
- 11:39, 29 November 2016 diff hist +14 Jobs/M2 2015 ADL SAT-based Minimization
- 19:23, 28 November 2016 diff hist +11 Jobs/M2 2017 MC Spot demo typos
- 18:06, 30 March 2016 diff hist -259 NewsEntry (2016/04/08) erase contents current
- 19:33, 19 November 2015 diff hist +54 Jobs/M2 2015 ADL SAT-based Minimization
- 19:24, 19 November 2015 diff hist +22 Jobs/M2 2015 ADL Python Interfaces for Spot
- 19:22, 19 November 2015 diff hist -252 Jobs/M2 ADL 2015 General Acceptance Condition