Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on May 28, 2022

• Add -thread flag to fix compilation on OCaml 4.12

  

  Daniel Hilst

  committed
  2e58187

  Copy full SHA for 2e58187

Commits on Jul 30, 2019

• Add Travis badge

  clarus

  authored
  5cf7dc9

  Copy full SHA for 5cf7dc9

• Merge pull request coq-io#4 from coq-io/add-travis

  Show description for 3df38ee
  clarus

  authored
  3df38ee

  Copy full SHA for 3df38ee

• Add Travis and opam file

  clarus

  committed
  18fec5c

  Copy full SHA for 18fec5c

Commits on Jul 23, 2019

• Add compatibility with Coq 8.9

  clarus

  committed
  dda5549

  Copy full SHA for dda5549

Commits on Nov 26, 2015

• Update README.md

  clarus

  committed
  768cc80

  Copy full SHA for 768cc80

Commits on Jul 3, 2015

• Update to the new OPAM repo urls

  clarus

  committed
  9d6d089

  Copy full SHA for 9d6d089

Commits on May 10, 2015

• Update README.md

  clarus

  committed
  c64ff5d

  Copy full SHA for c64ff5d

• Merge pull request coq-io#2 from gitter-badger/gitter-badge

  Show description for dba12c1
  clarus

  committed
  dba12c1

  Copy full SHA for dba12c1

• Added Gitter badge

  gitter-badger

  committed
  8f1278f

  Copy full SHA for 8f1278f

• Update to the new versions of dependencies

  clarus

  committed
  9b569b0

  Copy full SHA for 9b569b0

Commits on Mar 23, 2015

• Update to the latest version of coq:io

  clarus

  committed
  9ae1c29

  Copy full SHA for 9ae1c29

• OPAM folder ignored

  clarus

  committed
  b3a5232

  Copy full SHA for b3a5232

• Main.v is moved to src/

  clarus

  committed
  188e9be

  Copy full SHA for 188e9be

Commits on Mar 11, 2015

• Concurrent Hello World

  clarus

  committed
  077751c

  Copy full SHA for 077751c

Commits on Mar 4, 2015

• Update README.md

  clarus

  committed
  b01cc26

  Copy full SHA for b01cc26

Commits on Mar 3, 2015

• Updated scenarios

  clarus

  committed
  7369ebe

  Copy full SHA for 7369ebe

• Merge branch 'master' of https://github.com/clarus/coq-hello-world

  clarus

  committed
  c4ed689

  Copy full SHA for c4ed689

• Update README.md

  clarus

  committed
  164d9ad

  Copy full SHA for 164d9ad

• Makefile updated

  clarus

  committed
  63e5980

  Copy full SHA for 63e5980

• Update to the new dependencies

  clarus

  committed
  1989046

  Copy full SHA for 1989046

Commits on Feb 20, 2015

• Fix

  clarus

  committed
  3176604

  Copy full SHA for 3176604

• Cosmetic

  clarus

  committed
  b1fb364

  Copy full SHA for b1fb364

• README filled

  clarus

  committed
  aa57059

  Copy full SHA for aa57059

• Comments

  clarus

  committed
  d19a93b

  Copy full SHA for d19a93b

• Function your_name added

  clarus

  committed
  4a97386

  Copy full SHA for 4a97386

• Extracted program renamed main.native

  clarus

  committed
  eca635e

  Copy full SHA for eca635e

• Running extracted program

  clarus

  committed
  24a6892

  Copy full SHA for 24a6892

• First commit with the main function

  clarus

  committed
  0fa08d6

  Copy full SHA for 0fa08d6

• Cosmetic

  clarus

  committed
  c3b504b

  Copy full SHA for c3b504b

• Initial commit

  clarus

  committed
  9788df4

  Copy full SHA for 9788df4