Commits

Branch selector

 master

User selector

All users

All time

Commit History

Commits on Jan 3, 2024

• Merge branch 'topic/free_clause' into 'master'

  Show description for 01e9a19
  raph-amiard

  committed
  01e9a19

  Copy full SHA for 01e9a19

Commits on Dec 22, 2023

• Expose procedure for deallocating a Clause.

  Roldak

  committed
  593416e

  Copy full SHA for 593416e

Commits on Dec 14, 2023

• Merge branch 'topic/leak_test' into 'master'

  Show description for 64a3da5
  Roldak

  committed
  64a3da5

  Copy full SHA for 64a3da5

• Fix memory leak in test.

  Roldak

  committed
  da72222

  Copy full SHA for da72222

Commits on Nov 6, 2023

• Merge branch 'topic/improve_resolution' into 'master'

  Show description for b1dd7ff
  Roldak

  committed
  b1dd7ff

  Copy full SHA for b1dd7ff

Commits on Oct 31, 2023

• Avoid unnecessary cycles in conflict resolution.

  Roldak

  committed
  66f6607

  Copy full SHA for 66f6607

• Merge branch 'topic/lal-1108' into 'master'

  Show description for 4a316fe
  Roldak

  committed
  4a316fe

  Copy full SHA for 4a316fe

• Allocate data structures on the heap.

  Roldak

  committed
  4efe6a4

  Copy full SHA for 4efe6a4

Commits on Oct 25, 2023

• Merge branch 'pmderodat/ci' into 'master'

  Show description for f2e06e4
  pmderodat

  committed
  f2e06e4

  Copy full SHA for f2e06e4

• Various CI cleanups

  pmderodat

  committed
  910db1a

  Copy full SHA for 910db1a

Commits on Sep 26, 2023

• Merge branch 'pmderodat/ci' into 'master'

  Show description for 3ed4895
  pmderodat

  committed
  3ed4895

  Copy full SHA for 3ed4895

• CI: add MR issue checker

  pmderodat

  committed
  32496cb

  Copy full SHA for 32496cb

Commits on Jun 21, 2023

• Merge branch 'pmderodat/cb' into 'master'

  Show description for 55b2b3c
  pmderodat

  committed
  55b2b3c

  Copy full SHA for 55b2b3c

• CB: refactor to use common config from the Libadalang repository

  pmderodat

  committed
  7b167fc

  Copy full SHA for 7b167fc

Commits on Jun 20, 2023

• Merge branch 'pmderodat/cb' into 'master'

  Show description for 354e7a2
  pmderodat

  committed
  354e7a2

  Copy full SHA for 354e7a2

• .gitlab-ci.yml: switch CB to --smart-rebuild

  pmderodat

  committed
  53e9dc5

  Copy full SHA for 53e9dc5

Commits on Jun 5, 2023

• Merge branch 'pmderodat/cb' into 'master'

  Show description for 420b26d
  pmderodat

  committed
  420b26d

  Copy full SHA for 420b26d

• .gitlab-ci.yml: add a CB for AdaSAT

  pmderodat

  committed
  08088e9

  Copy full SHA for 08088e9

Commits on May 30, 2023

• Merge branch 'topic/update-license' into 'master'

  Show description for 319c2b0
  Roldak

  committed
  319c2b0

  Copy full SHA for 319c2b0

• Re-license AdaSAT to Apache 2.0 + LLVM Exception.

  Roldak

  committed
  e0c4774

  Copy full SHA for e0c4774

Commits on Jan 20, 2023

• VB22-027: Fix potential leak when resolution fails early in backjumping routine.

  Show description for f948e22
  Roldak

  committed
  f948e22

  Copy full SHA for f948e22

Commits on Jan 12, 2023

• VB22-027: Avoid leaking when theory check raises an exception.

  Roldak

  committed
  9314120

  Copy full SHA for 9314120

• VB22-027: Avoid memory leak when resolution fails early.

  Roldak

  committed
  d4bcffa

  Copy full SHA for d4bcffa

• Testsuite: add a mode to run tests under Valgrind

  Show description for 05f486b
  pmderodat

  committed
  05f486b

  Copy full SHA for 05f486b

Commits on Jan 3, 2023

• Address comment from Raph's review.

  Roldak

  committed
  49fb5ee

  Copy full SHA for 49fb5ee

• Add -flto flag to prod builds.

  Roldak

  committed
  4be0f21

  Copy full SHA for 4be0f21

Commits on Dec 20, 2022

• VB22-027: Mention python instead of python3 in testsuite runner.

  Show description for 8c79a6a
  Roldak

  committed
  8c79a6a

  Copy full SHA for 8c79a6a

• VB22-027: Quote paths given to relocate-build-tree.

  Show description for 6fd0822
  Roldak

  committed
  6fd0822

  Copy full SHA for 6fd0822

Commits on Dec 13, 2022

• Minor fixes

  raph-amiard

  committed
  856f864

  Copy full SHA for 856f864

Commits on Dec 12, 2022

• Minor fixes in the README

  raph-amiard

  committed
  c0dcb32

  Copy full SHA for c0dcb32

Commits on Nov 24, 2022

• Fix erroneous assumption when propagating AMO constraint.

  Show description for 480f429
  Roldak

  committed
  480f429

  Copy full SHA for 480f429

• Remove useless code.

  Show description for 5d5a2be
  Roldak

  committed
  5d5a2be

  Copy full SHA for 5d5a2be

• Minor: add missing subprogram box.

  Roldak

  committed
  6713601

  Copy full SHA for 6713601

Commits on Nov 23, 2022

• VB22-027: Add makefile to simplify anod spec.

  Roldak

  committed
  0d84d97

  Copy full SHA for 0d84d97

Commits on Nov 15, 2022

• Add fancy WaveFunctionCollapse test.

  Roldak

  committed
  e1ed3a2

  Copy full SHA for e1ed3a2

Pagination

Previous

Next