Commits

Branch selector

 master

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 20, 2025

• Merge pull request #469 from nsfisis/fix/ci-badge

  Show description for c2cbc48
  gfngfn

  authored
  c2cbc48

  Copy full SHA for c2cbc48

Commits on Jan 19, 2025

• Fix broken links to CI status badges

  nsfisis

  committed
  df47e79

  Copy full SHA for df47e79

Commits on Nov 7, 2024

• Merge pull request #466 from gfngfn/upgrade-otfed-to-0-3-2

  Show description for f284043
  gfngfn

  authored
  f284043

  Copy full SHA for f284043

Commits on Nov 6, 2024

• upgrade otfed to .0.3.2

  gfngfn

  committed
  46f33bd

  Copy full SHA for 46f33bd

Commits on Aug 9, 2024

• Merge pull request #449 from ghaaj/master

  Show description for 4d27f13
  gfngfn

  authored
  4d27f13

  Copy full SHA for 4d27f13

• fix duplication of font-latin-bold

  ghaaj

  authored
  ac6f984

  Copy full SHA for ac6f984

Commits on Aug 4, 2024

• Merge pull request #448 from smorimoto/fix-opam-dependency-submission

  Show description for 4d25474
  gfngfn

  authored
  4d25474

  Copy full SHA for 4d25474

• Fix Opam Dependency Submission workflow

  Show description for e39a333
  smorimoto

  committed
  e39a333

  Copy full SHA for e39a333

• Merge pull request #447 from smorimoto/cleanup

  Show description for cd715db
  gfngfn

  authored
  cd715db

  Copy full SHA for cd715db

• Cleanup

  Show description for a1a7846
  smorimoto

  committed
  a1a7846

  Copy full SHA for a1a7846

Commits on Jul 29, 2024

• Merge pull request #446 from smorimoto/pervasives-stdlib

  Show description for 9882630
  gfngfn

  authored
  9882630

  Copy full SHA for 9882630

Commits on Jul 6, 2024

• Pervasives -> Stdlib

  Show description for b8801ce
  smorimoto

  committed
  b8801ce

  Copy full SHA for b8801ce

Commits on Jul 4, 2024

• Merge pull request #445 from smorimoto/setup-ocaml-v3

  Show description for c712a75
  gfngfn

  authored
  c712a75

  Copy full SHA for c712a75

• BatOption -> Option

  Show description for b21c43c
  smorimoto

  committed
  b21c43c

  Copy full SHA for b21c43c

• dune 3.16

  Show description for 80d976c
  smorimoto

  committed
  80d976c

  Copy full SHA for 80d976c

• Update ocaml/setup-ocaml to v3

  Show description for 26a54a5
  smorimoto

  committed
  26a54a5

  Copy full SHA for 26a54a5

Commits on Jun 22, 2024

• Merge pull request #442 from nsfisis/feat/transparent-png-image

  Show description for 98d8eb2
  gfngfn

  authored
  98d8eb2

  Copy full SHA for 98d8eb2

Commits on Jun 21, 2024

• support transparent PNG images

  nsfisis

  committed
  9ad9512

  Copy full SHA for 9ad9512

Commits on May 19, 2024

• Merge pull request #438 from smorimoto/update-gha

  Show description for 879664e
  gfngfn

  authored
  879664e

  Copy full SHA for 879664e

Commits on Apr 10, 2024

• Update GitHub Actions

  Show description for dbd51c3
  smorimoto

  committed
  dbd51c3

  Copy full SHA for dbd51c3

Commits on Feb 26, 2024

• Merge pull request #431 from mtshiba/fix-mitou

  Show description for cc6a054
  gfngfn

  authored
  cc6a054

  Copy full SHA for cc6a054

• fix mitou-report numbering bug

  mtshiba

  committed
  68990bf

  Copy full SHA for 68990bf

Commits on Feb 5, 2024

• Merge branch 'master' of github.com:gfngfn/SATySFi

  gfngfn

  committed
  8792aa8

  Copy full SHA for 8792aa8

• update README

  gfngfn

  committed
  eee46e8

  Copy full SHA for eee46e8

• Merge pull request #428 from gfngfn/release-0-0-11

  Show description for 71f00da
  gfngfn

  authored
  71f00da

  Copy full SHA for 71f00da

• release 0.0.11

  gfngfn

  committed
  1150d30

  Copy full SHA for 1150d30

• Merge pull request #419 from y-yu/generate-version-from-opam-file

  Show description for e1e2ad0
  gfngfn

  authored
  e1e2ad0

  Copy full SHA for e1e2ad0

• Merge pull request #426 from gfngfn/fix-camlimages-dependencies

  Show description for cec8c17
  gfngfn

  authored
  cec8c17

  Copy full SHA for cec8c17

Commits on Feb 3, 2024

• revert change on the version constraint of camlimages for the moment

  gfngfn

  committed
  e0f744e

  Copy full SHA for e0f744e

Commits on Jan 18, 2024

• specify more versions in satysfi.opam

  gfngfn

  committed
  62dcbfd

  Copy full SHA for 62dcbfd

• fix src/dune about how to use camlimages

  gfngfn

  committed
  cfc4c9d

  Copy full SHA for cfc4c9d

Commits on Dec 31, 2023

• Merge pull request #425 from gfngfn/avoid-camlimages-5-0-5

  Show description for 34bf0de
  gfngfn

  authored
  34bf0de

  Copy full SHA for 34bf0de

• avoid camlimages.5.0.5 for an installation issue

  gfngfn

  committed
  8338dbe

  Copy full SHA for 8338dbe

Commits on Oct 23, 2023

• Merge branch 'master' into generate-version-from-opam-file

  y-yu

  authored
  49e20f3

  Copy full SHA for 49e20f3

Commits on Oct 22, 2023

• Merge pull request #418 from gfngfn/release-0-0-10

  Show description for 530ab47
  gfngfn

  authored
  530ab47

  Copy full SHA for 530ab47

Pagination

Previous

Next