Julien COHEN

  • Email:
  • Registered on: 06/15/2015
  • Last connection: 09/29/2017

Projects

  • REFACCERT (Manager , Développeur , Rapporteur , Project Manager, FileUploader, 06/15/2015)

Activity

Reported issues: 23

12/13/2016

10:34 am REFACCERT refaccert-0.6.tgz
10:34 am REFACCERT refaccert-0.6-licenced-files.tgz

02/8/2016

12:47 pm REFACCERT refaccert-0.4.tgz
12:47 pm REFACCERT refaccert-0.4-licenced-files.tgz

01/25/2016

04:47 pm REFACCERT refaccert-0.3.tgz
04:46 pm REFACCERT refaccert-0.3-licenced-files.tgz

12/24/2015

10:15 am REFACCERT Research report is out with a new release !
A research report on refactoring in Compcert C is now available at https://hal.archives-ouvertes.fr/hal-01248121 . Th...
10:06 am REFACCERT refaccert-0.2-licenced-files.tgz
10:06 am REFACCERT refaccert-0.2.tgz

11/20/2015

04:08 pm REFACCERT First version is out !
The first version of RefacCert is out.
You can download the sources in the "Files" or "Fichiers" tab.
We provi...

Also available in: Atom