Miguel Oliveira e Silva
Miguel Oliveira e Silva- Email: mos@ua.pt
- mec: 0
- Registered on: 09/08/2010
- Last connection: 06/04/2013
Issues
Projects
- GBoard (Manager, Developer, Reporter, 03/21/2011)
- DbC concurrency library (Manager, 10/28/2013)
- DbC data structure library (Manager, 11/07/2013)
- labi2016-t4g6 (Professor, 12/13/2016)
- Projeto do grupo 1 da turma 6 (Reporter, 10/24/2016)
- labi2016-cpu-16 (Professor, 12/05/2016)
- Website do Relatório - T06G03 (Reporter, Professor, 12/19/2016)
- labi2016-pbox-g25 (Professor, 03/23/2017)
Activity
11/14/2018
- 06:42 PM GBoard Revision 7814a8c0: Version 3.0: missing files added
- 06:41 PM GBoard Revision 2ffa4b0f: Version 3.0
- Many changes to gboard.
Mutable gelems now work.
11/07/2018
- 05:13 PM DbC concurrency library Revision c4428ca2 (dbc-concurrency-library): Version 0.9
10/24/2018
- 06:25 PM DbC concurrency library Revision 88b11a38 (dbc-concurrency-library): Version 0.89
12/14/2015
- 08:15 PM DbC concurrency library Revision d842f4a0 (dbc-concurrency-library): Version 0.87
12/03/2013
- 03:39 PM GBoard Revision c25ea034: make-version script
- 03:36 PM DbC data structure library Revision ab60f15e (dbc-data-structure-library): make-version script
- 03:30 PM DbC concurrency library Revision 5a1f8c69 (dbc-concurrency-library): make-version script
- 03:16 PM DbC concurrency library Revision dbf90303 (dbc-concurrency-library): Version 0.82: termination policies added to CThread ...
11/11/2013
- 02:00 PM DbC concurrency library Revision 928418e8 (dbc-concurrency-library): Version 0.8: termination policies added to CThread
Also available in: Atom