Commits

Branch selector

 main

User selector

damiendoligez

Datepicker

All time

Commit History

Commits on Jun 11, 2024

• Merge pull request #84 from damiendoligez/fix-disappearing-fingerprints

  Show description for 117b5cb
  damiendoligez

  authored
  117b5cb

  Copy full SHA for 117b5cb

• Merge pull request #79 from damiendoligez/fix-nested-except

  Show description for 3373c2b
  damiendoligez

  authored
  3373c2b

  Copy full SHA for 3373c2b

• fix PR#77: wrong expansion of @ in nested EXCEPT

  Show description for 4cd80e7
  damiendoligez

  committed
  4cd80e7

  Copy full SHA for 4cd80e7

Commits on Feb 26, 2024

• Merge pull request #70 from tlaplus/smt-changes

  Show description for d53d147
  damiendoligez

  authored
  d53d147

  Copy full SHA for d53d147

Commits on Feb 13, 2024

• We don't ship CVC4 in our bundled provers, and nowadays Z3 can handle this obligation just fine.

  damiendoligez

  committed
  7a62b05

  Copy full SHA for 7a62b05

• display more details in case of a failed test

  damiendoligez

  committed
  4f43abb

  Copy full SHA for 4f43abb

• tweak proof in GFX_test.tla

  damiendoligez

  committed
  783df0a

  Copy full SHA for 783df0a

Commits on Feb 7, 2024

• Change Pervasives to Stdlib to make the source compatible with OCaml 5.

  Show description for 5f5a285
  damiendoligez

  committed
  5f5a285

  Copy full SHA for 5f5a285

Commits on Jan 25, 2024

• fix laziness

  

  damiendoligez

  authored and

  rozlynd

  committed
  e0ce4e6

  Copy full SHA for e0ce4e6

Commits on Nov 7, 2023

• fix install location for ptl_to_trp (#99)

  Show description for fe954fc
  damiendoligez

  authored
  fe954fc

  Copy full SHA for fe954fc

Commits on Oct 23, 2023

• Merge pull request #91 from kape1395/ocaml-5.1

  Show description for 5a56e60
  damiendoligez

  authored
  5a56e60

  Copy full SHA for 5a56e60

• Merge pull request #83 from kape1395/support-dune-build-deps

  Show description for 87a4f4c
  damiendoligez

  authored
  87a4f4c

  Copy full SHA for 87a4f4c

• Merge pull request #55 from tlaplus/smt-fix

  Show description for 98556bb
  damiendoligez

  authored
  98556bb

  Copy full SHA for 98556bb

Commits on Sep 5, 2023

• Merge pull request #81 from kape1395/support-dune-build

  Show description for dc344b6
  damiendoligez

  authored
  dc344b6

  Copy full SHA for dc344b6

Commits on Jun 6, 2023

• fix disappearing fingerprints

  Show description for d080a44
  damiendoligez

  committed
  d080a44

  Copy full SHA for d080a44

Commits on May 19, 2022

• Merge pull request #64 from damiendoligez/fix-bogus-warning

  Show description for 7eae6cc
  damiendoligez

  authored
  7eae6cc

  Copy full SHA for 7eae6cc

Commits on Feb 3, 2022

• avoid spurious "screen size is bogus" by passing explicit lines and columns to ps

  damiendoligez

  committed
  7c52040

  Copy full SHA for 7c52040

Commits on Jun 2, 2021

• Merge pull request #23 from johnyf/fingerprinting_vars

  Show description for a730729
  damiendoligez

  authored
  a730729

  Copy full SHA for a730729

Commits on May 11, 2021

• classify tests into fast/medium/slow (#19)

  Show description for 4480a70
  damiendoligez

  authored
  4480a70

  Copy full SHA for 4480a70

Commits on Feb 16, 2021

• update version number and remove old svn-based commit numbers (#18)

  Show description for 461a19d
  damiendoligez

  authored
  461a19d

  Copy full SHA for 461a19d

Commits on Dec 3, 2020

• disable obsolete fingerprint test

  damiendoligez

  committed
  b4697ad

  Copy full SHA for b4697ad

Commits on Aug 6, 2020

• fix a small typo in the web site

  damiendoligez

  committed
  f54897a

  Copy full SHA for f54897a

Commits on Jun 9, 2020

• Fix test suite (#4)

  Show description for eeafc56
  damiendoligez

  authored
  eeafc56

  Copy full SHA for eeafc56

Commits on Mar 17, 2020

• use more generic URLs for release binary files

  damiendoligez

  committed
  ce4e267

  Copy full SHA for ce4e267

• change the download links to absolute URLs pointing to the release page on GitHub. This allows us to host the pages on a different site without uploading any binary files (for example, github.io).

  damiendoligez

  committed
  07a8cd4

  Copy full SHA for 07a8cd4

• index.html: fix redirection URL

  damiendoligez

  authored
  26e3a64

  Copy full SHA for 26e3a64

• Create .nojekyll

  Show description for 0d5d29d
  damiendoligez

  authored
  0d5d29d

  Copy full SHA for 0d5d29d

• Add index.html

  Show description for 261a6e8
  damiendoligez

  authored
  261a6e8

  Copy full SHA for 261a6e8

Commits on Feb 28, 2020

• web site: add release 1.4.5

  damiendoligez

  committed
  9f51444

  Copy full SHA for 9f51444

• remove release 1.4.4 from web site

  damiendoligez

  committed
  7d1a270

  Copy full SHA for 7d1a270

• increment version number

  damiendoligez

  committed
  0f33a6f

  Copy full SHA for 0f33a6f

Commits on Feb 19, 2020

• web site: update URLs after renaming v1-tlapm to tlapm on GitHub

  damiendoligez

  committed
  1245d57

  Copy full SHA for 1245d57

• web site: add Video Course redirection page

  damiendoligez

  committed
  27f76de

  Copy full SHA for 27f76de

Commits on Feb 7, 2020

• web site: update MacOS version

  damiendoligez

  committed
  9ff004b

  Copy full SHA for 9ff004b

Commits on Feb 4, 2020

• 1.4.4 : fix release date in two more places

  damiendoligez

  committed
  19de1e4

  Copy full SHA for 19de1e4

Pagination

Previous

Next