Identi.ca Identi.ca
  • Login

  • Public

    • Public
    • Groups
    • Featured
    • Popular

jaj's status on Sunday, 24-Apr-11 22:49:09 UTC

  1. jaj jaj

    http://compcert.inria.fr/compcert-C.html - Compcert formally verified #C #Compiler #INRIA

    Sunday, 24-Apr-11 22:49:09 UTC from xmpp
  • Help
  • About
  • FAQ
  • TOS
  • Privacy
  • Source
  • Version
  • Contact

Identi.ca is a microblogging service brought to you by E14N. It runs the StatusNet microblogging software, version 1.1.0-release, available under the GNU Affero General Public License.

Creative Commons Attribution 3.0 All Identi.ca content and data are available under the Creative Commons Attribution 3.0 license.

Switch to mobile site layout.

Built in Montreal