Commits

Breadcrumbs

History for

onmaster

User selector

All users

Datepicker

All time

Commit History

Commits on May 11, 2023

• Back to development: 0.4.4

  

  Lucas Bourneuf

  committed
  37b8881

  Copy full SHA for 37b8881

• Preparing release 0.4.3

  

  Lucas Bourneuf

  committed
  c36e3d9

  Copy full SHA for c36e3d9

Commits on May 10, 2023

• Allow yielding stats when problem is unsatisfiable

  Show description for fa98068
  barreeeiroo

  committed
  fa98068

  Copy full SHA for fa98068

• Fix tests on Windows

  Show description for 579c759
  barreeeiroo

  committed
  579c759

  Copy full SHA for 579c759

Commits on Mar 31, 2022

• Back to development: 0.4.3

  Aluriak

  committed
  393f7e6

  Copy full SHA for 393f7e6

• Preparing release 0.4.2

  Aluriak

  committed
  3d37f12

  Copy full SHA for 3d37f12

Commits on Mar 1, 2022

• bugfix

  Aluriak

  committed
  d4abbd5

  Copy full SHA for d4abbd5

Commits on Feb 27, 2022

• Back to development: 0.4.2

  Aluriak

  committed
  a1dbeff

  Copy full SHA for a1dbeff

• Preparing release 0.4.1

  Aluriak

  committed
  ecb374b

  Copy full SHA for ecb374b

• remove logging line

  Aluriak

  committed
  f989788

  Copy full SHA for f989788

• Back to development: 0.4.1

  Aluriak

  committed
  bbd308d

  Copy full SHA for bbd308d

• Preparing release 0.4.0

  Aluriak

  committed
  ca21834

  Copy full SHA for ca21834

• Preparing release 0.3.33

  Aluriak

  committed
  a098fda

  Copy full SHA for a098fda

• bugfix

  Aluriak

  committed
  a4a953d

  Copy full SHA for a4a953d

• handle the new clingo module API

  Show description for 894d992
  Aluriak

  committed
  894d992

  Copy full SHA for 894d992

Commits on Feb 23, 2022

• style

  Aluriak

  committed
  51588ff

  Copy full SHA for 51588ff

• bugfix: correctly handle negative number

  Aluriak

  committed
  723a798

  Copy full SHA for 723a798

• bugfix

  Aluriak

  committed
  3d15523

  Copy full SHA for 3d15523

Commits on Feb 21, 2022

• Back to development: 0.3.33

  Aluriak

  committed
  cc45b37

  Copy full SHA for cc45b37

• Preparing release 0.3.32

  Aluriak

  committed
  507596c

  Copy full SHA for 507596c

• API changes in clingo ; try something

  Aluriak

  committed
  1bc2afe

  Copy full SHA for 1bc2afe

Commits on Apr 16, 2020

• Back to development: 0.3.32

  Aluriak

  committed
  05bef03

  Copy full SHA for 05bef03

• Preparing release 0.3.31

  Aluriak

  committed
  1fde1f4

  Copy full SHA for 1fde1f4

Commits on Feb 27, 2020

• Back to development: 0.3.31

  Aluriak

  committed
  c0f94c3

  Copy full SHA for c0f94c3

• Preparing release 0.3.30

  Aluriak

  committed
  8b3bd19

  Copy full SHA for 8b3bd19

• python 3.5 compat

  Aluriak

  committed
  01cf6a9

  Copy full SHA for 01cf6a9

Commits on Feb 26, 2020

• Back to development: 0.3.30

  Aluriak

  committed
  3794a64

  Copy full SHA for 3794a64

• Preparing release 0.3.29

  Aluriak

  committed
  cfd740e

  Copy full SHA for cfd740e

• fix default negation usage when using official clingo module

  Aluriak

  committed
  d2b561d

  Copy full SHA for d2b561d

Commits on Feb 21, 2020

• test default negation

  Aluriak

  committed
  a65d85c

  Copy full SHA for a65d85c

Commits on Feb 14, 2020

• Back to development: 0.3.29

  Aluriak

  committed
  9978d6e

  Copy full SHA for 9978d6e

• Preparing release 0.3.28

  Aluriak

  committed
  f9e1cf2

  Copy full SHA for f9e1cf2

• handle default negation (atoms prefixed by a dash) as suggested by A.S.

  Aluriak

  committed
  7067470

  Copy full SHA for 7067470

• fix import error

  Aluriak

  committed
  e93f6cd

  Copy full SHA for e93f6cd

Commits on Jan 10, 2020

• Back to development: 0.3.28

  Aluriak

  committed
  58e0533

  Copy full SHA for 58e0533

Pagination

Previous

Next