Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Dec 21, 2024

• Merge pull request #21 from SwampertX/patch-1

  Show description for 3fd44d6
  Lysxia

  authored
  3fd44d6

  Copy full SHA for 3fd44d6

Commits on Dec 16, 2024

• Update Why3 link in README.md

  Show description for cf6f451
  SwampertX

  authored
  cf6f451

  Copy full SHA for cf6f451

Commits on Oct 16, 2024

• More modern why3

  xldenis

  committed
  c7f4965

  Copy full SHA for c7f4965

Commits on Sep 13, 2024

• Merge pull request #20 from Lysxia/provider

  Show description for b1d6459
  Lysxia

  authored
  b1d6459

  Copy full SHA for b1d6459

• Add task provider

  Lysxia

  committed
  1636347

  Copy full SHA for 1636347

• Merge pull request #18 from Lysxia/master

  Show description for ec9566c
  xldenis

  authored
  ec9566c

  Copy full SHA for ec9566c

Commits on Sep 12, 2024

• Fix dl action

  xldenis

  committed
  8e7d6e1

  Copy full SHA for 8e7d6e1

• Futz with caching because this is insane

  xldenis

  committed
  fc9e19e

  Copy full SHA for fc9e19e

• Update pin as well

  xldenis

  committed
  010fd89

  Copy full SHA for 010fd89

• flags to go faste?

  xldenis

  committed
  38ca9f9

  Copy full SHA for 38ca9f9

• Update release yml

  xldenis

  committed
  b30b0a9

  Copy full SHA for b30b0a9

• Fix crash when get_goal_loc doesn't find a location

  Show description for 1c9e680
  Lysxia

  committed
  1c9e680

  Copy full SHA for 1c9e680

• Detect coma extension

  Lysxia

  committed
  cc9ea46

  Copy full SHA for cc9ea46

Commits on Jun 30, 2024

• Update dependencies

  xldenis

  committed
  44b696f

  Copy full SHA for 44b696f

Commits on Jan 4, 2024

• Push some changes

  xldenis

  committed
  4ec307b

  Copy full SHA for 4ec307b

Commits on Nov 22, 2023

• Update README.md

  Show description for 0f6fcda
  sarsko

  authored
  0f6fcda

  Copy full SHA for 0f6fcda

Commits on Oct 19, 2023

• Always attempt to find an already open session

  xldenis

  committed
  2245049

  Copy full SHA for 2245049

Commits on Oct 3, 2023

• Better settings for show task

  xldenis

  committed
  13c8fd0

  Copy full SHA for 13c8fd0

• Add a primitive form of support for transformations. Currently limited to arg-less transformations

  xldenis

  committed
  c8c9f3b

  Copy full SHA for c8c9f3b

• Add a primitive status indicator

  xldenis

  committed
  695b049

  Copy full SHA for 695b049

• Fix action

  xldenis

  committed
  70ac73f

  Copy full SHA for 70ac73f

• Fix errors

  xldenis

  committed
  98ddac0

  Copy full SHA for 98ddac0

• Update release pin of why3

  xldenis

  committed
  d2aff67

  Copy full SHA for d2aff67

• Update lockfile

  xldenis

  committed
  86043e3

  Copy full SHA for 86043e3

• Fix crashes

  xldenis

  committed
  5ec2a6b

  Copy full SHA for 5ec2a6b

Commits on Sep 25, 2023

• Update linol

  xldenis

  committed
  5508d9d

  Copy full SHA for 5508d9d

• Remove obsolete API call

  xldenis

  committed
  811f7d9

  Copy full SHA for 811f7d9

Commits on Jul 6, 2023

• Update why3 dep

  xldenis

  committed
  f1817ff

  Copy full SHA for f1817ff

Commits on Jun 1, 2023

• Merge pull request #13 from xldenis/new-grammar

  Show description for 2043902
  xldenis

  authored
  2043902

  Copy full SHA for 2043902

Commits on May 1, 2023

• Attempt at contracts

  xldenis

  committed
  166a35c

  Copy full SHA for 166a35c

• Move stuff around

  xldenis

  committed
  71641a3

  Copy full SHA for 71641a3

• Work on new grammar

  xldenis

  committed
  d10bac3

  Copy full SHA for d10bac3

Commits on Apr 20, 2023

• Fix no-server again

  xldenis

  committed
  7105e9e

  Copy full SHA for 7105e9e

• Attempt to auto-start hte server when a relevant file is loaded

  xldenis

  committed
  7b85788

  Copy full SHA for 7b85788

• Include files in session in located_file set

  xldenis

  committed
  a95f6c5

  Copy full SHA for a95f6c5

Pagination

Previous

Next