Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 13, 2024

• almost setup new Implication module

  xypp3

  committed
  4f2c3cb

  Copy full SHA for 4f2c3cb

Commits on Jan 20, 2024

• Merge pull request verse-lab#7 from tmoux/ematch

  Show description for 1d9a39a
  kiranandcode

  authored
  1d9a39a

  Copy full SHA for 1d9a39a

Commits on Jan 19, 2024

• Fix e-matching in generic.ml

  tmoux

  committed
  4a6a337

  Copy full SHA for 4a6a337

• Merge pull request verse-lab#6 from tmoux/ematch

  Show description for 58a1f74
  kiranandcode

  authored
  58a1f74

  Copy full SHA for 58a1f74

• Fix e-matching in basic.ml

  Show description for 5602ab8
  tmoux

  committed
  5602ab8

  Copy full SHA for 5602ab8

• Add failing tests

  tmoux

  committed
  8877d04

  Copy full SHA for 8877d04

Commits on Jul 12, 2022

• Merge pull request verse-lab#4 from tmoux/master

  Show description for ffdc1ad
  kiranandcode

  authored
  ffdc1ad

  Copy full SHA for ffdc1ad

• Merge pull request verse-lab#3 from crackcomm/master

  Show description for 23ce729
  kiranandcode

  authored
  23ce729

  Copy full SHA for 23ce729

Commits on Jul 2, 2022

• Fix typo in doc

  tmoux

  committed
  fc95d75

  Copy full SHA for fc95d75

Commits on Apr 19, 2022

• ppx_inline_alcotest dependency

  crackcomm

  committed
  0c78891

  Copy full SHA for 0c78891

Commits on Nov 4, 2021

• [0.0.6] release

  kiranandcode

  committed
  39bec78

  Copy full SHA for 39bec78

• updated opam

  kiranandcode

  committed
  af70764

  Copy full SHA for af70764

• fixed some bugs with scheduler

  kiranandcode

  committed
  e4cadba

  Copy full SHA for e4cadba

• updated option.get_exn to use new version

  kiranandcode

  committed
  4549de7

  Copy full SHA for 4549de7

Commits on Aug 31, 2021

• updated to use ruby image

  kiranandcode

  committed
  7725210

  Copy full SHA for 7725210

• updated rules

  kiranandcode

  committed
  4a7d435

  Copy full SHA for 4a7d435

• updated gitlab-ci file

  kiranandcode

  committed
  d89f17c

  Copy full SHA for d89f17c

• added gitlab-ci file

  kiranandcode

  committed
  8c0291e

  Copy full SHA for 8c0291e

• updated dune project

  kiranandcode

  committed
  5daf312

  Copy full SHA for 5daf312

Commits on Aug 30, 2021

• removed use of check'

  kiranandcode

  committed
  6d49ca4

  Copy full SHA for 6d49ca4

• updated opam file and removed old bos dependency

  kiranandcode

  committed
  7e7708d

  Copy full SHA for 7e7708d

• added readme

  kiranandcode

  committed
  eb8d126

  Copy full SHA for eb8d126

• removed binaries

  kiranandcode

  committed
  9a185d6

  Copy full SHA for 9a185d6

• updated merge mechanism etc.

  kiranandcode

  committed
  9ce12fe

  Copy full SHA for 9ce12fe

• initial commit

  kiranandcode

  committed
  cacfcf9

  Copy full SHA for cacfcf9