Raphaël Amiard
01e9a19b61
Merge branch 'topic/free_clause' into 'master'
...
Expose procedure for deallocating a Clause.
See merge request eng/libadalang/adasat!21
2024-01-03 17:00:52 +00:00
Romain Beguet
593416e78e
Expose procedure for deallocating a Clause.
2023-12-22 12:06:31 +01:00
Romain Béguet
64a3da5136
Merge branch 'topic/leak_test' into 'master'
...
Fix memory leak in test.
See merge request eng/libadalang/adasat!19
2023-12-14 11:24:05 +00:00
Romain Beguet
da722226d3
Fix memory leak in test.
2023-12-14 12:20:19 +01:00
Romain Béguet
b1dd7ff0e9
Merge branch 'topic/improve_resolution' into 'master'
...
Avoid unnecessary cycles in conflict resolution.
Closes #3
See merge request eng/libadalang/adasat!16
2023-11-06 10:22:39 +00:00
Romain Beguet
66f6607e18
Avoid unnecessary cycles in conflict resolution.
2023-10-31 14:59:01 +01:00
Romain Béguet
4a316fe76a
Merge branch 'topic/lal-1108' into 'master'
...
Allocate data structures on the heap.
See merge request eng/libadalang/adasat!15
2023-10-31 10:30:28 +00:00
Romain Beguet
4efe6a48d3
Allocate data structures on the heap.
2023-10-31 10:29:43 +00:00
Pierre-Marie de Rodat
f2e06e4a8a
Merge branch 'pmderodat/ci' into 'master'
...
Various CI cleanups
See merge request eng/libadalang/adasat!17
2023-10-25 10:09:10 +00:00
Pierre-Marie de Rodat
910db1aaf3
Various CI cleanups
2023-10-25 08:22:38 +00:00
Pierre-Marie de Rodat
3ed4895b3a
Merge branch 'pmderodat/ci' into 'master'
...
CI: add MR issue checker
See merge request eng/libadalang/adasat!14
2023-09-26 14:17:06 +00:00
Pierre-Marie de Rodat
32496cb7ef
CI: add MR issue checker
2023-09-26 16:10:03 +02:00
Pierre-Marie de Rodat
55b2b3c404
Merge branch 'pmderodat/cb' into 'master'
...
CB: refactor to use common config from the Libadalang repository
See merge request eng/libadalang/adasat!13
2023-06-21 12:52:03 +00:00
Pierre-Marie de Rodat
7b167fc433
CB: refactor to use common config from the Libadalang repository
2023-06-21 12:38:08 +00:00
Pierre-Marie de Rodat
354e7a2201
Merge branch 'pmderodat/cb' into 'master'
...
.gitlab-ci.yml: switch CB to --smart-rebuild
See merge request eng/libadalang/adasat!12
2023-06-20 14:50:43 +00:00
Pierre-Marie de Rodat
53e9dc5d89
.gitlab-ci.yml: switch CB to --smart-rebuild
2023-06-20 12:03:52 +00:00
Pierre-Marie de Rodat
420b26dcb6
Merge branch 'pmderodat/cb' into 'master'
...
.gitlab-ci.yml: add a CB for AdaSAT
See merge request eng/libadalang/adasat!11
2023-06-05 12:39:55 +00:00
Pierre-Marie de Rodat
08088e9027
.gitlab-ci.yml: add a CB for AdaSAT
2023-06-05 11:10:16 +00:00
Romain Béguet
319c2b00e1
Merge branch 'topic/update-license' into 'master'
...
Re-license AdaSAT to Apache 2.0 + LLVM Exception.
Closes #2
See merge request eng/libadalang/adasat!10
2023-05-30 16:52:32 +00:00
Romain Beguet
e0c4774a4e
Re-license AdaSAT to Apache 2.0 + LLVM Exception.
2023-05-30 12:15:02 +02:00
Romain Beguet
f948e2271a
VB22-027: Fix potential leak when resolution fails early in backjumping routine.
...
The backjumping clause that we set up was not free'd in the early return path
of the Backjump routine.
Also, rename some of the test case files to simplify further copies.
2023-01-20 14:54:21 +01:00
Romain Beguet
9314120fa8
VB22-027: Avoid leaking when theory check raises an exception.
2023-01-12 15:55:45 +01:00
Romain Beguet
d4bcffad68
VB22-027: Avoid memory leak when resolution fails early.
2023-01-12 15:38:58 +01:00
Pierre-Marie de Rodat
05f486b280
Testsuite: add a mode to run tests under Valgrind
...
TN: W112-021
2023-01-12 14:35:58 +00:00
Romain Beguet
49fb5ee0d1
Address comment from Raph's review.
2023-01-03 10:56:18 +00:00
