ada/langkit
0
0
Fork 0
mirror of https://github.com/AdaCore/langkit.git synced 2026-02-12 12:28:12 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
master
langkit/testsuite/tests/adalog
History
Pierre-Marie de Rodat 725b7f3c97 adalog/topo_sort_cleanup: remove a useless use clause
2025-12-16 11:06:03 +00:00
..
alias_loop
Logic vars: prevent the creation of aliasing loops
2022-03-30 14:23:21 +00:00
any_false
Remove dead code.
2024-01-11 10:14:41 +00:00
any_left
Remove dead code.
2024-01-11 10:14:41 +00:00
custom_bind
Remove dead code.
2024-01-11 10:14:41 +00:00
debug_image
Remove dead code.
2024-01-11 10:14:41 +00:00
def_cycle
Remove dead code.
2024-01-11 10:14:41 +00:00
def_cycle_error
Log info output topo sort failures in verbose trace.
2024-07-18 15:29:19 +00:00
def_twice
Remove dead code.
2024-01-11 10:14:41 +00:00
deferred_predicate
Remove dead code.
2024-01-11 10:14:41 +00:00
diagnostics
Include an NPropagate atom in adalog/diagnostics test case.
2024-01-17 10:42:23 +01:00
domain
Remove dead code.
2024-01-11 10:14:41 +00:00
domain_comb
Remove dead code.
2024-01-11 10:14:41 +00:00
domain_eq
Remove dead code.
2024-01-11 10:14:41 +00:00
domain_or
Remove dead code.
2024-01-11 10:14:41 +00:00
dyn_scheduling
Remove dead code.
2024-01-11 10:14:41 +00:00
empty_all
Adalog: remove the state machine solver and the solver generic interface
2022-03-30 14:23:21 +00:00
empty_any
Adalog: remove the state machine solver and the solver generic interface
2022-03-30 14:23:21 +00:00
exception_in_partial_solution
Remove dead code.
2024-01-11 10:14:41 +00:00
false_atom
Remove dead code.
2024-01-11 10:14:41 +00:00
general
Remove dead code.
2024-01-11 10:14:41 +00:00
image
Remove dead code.
2024-01-11 10:14:41 +00:00
incomplete_branch
Remove dead code.
2024-01-11 10:14:41 +00:00
indirect_aliasing
Remove dead code.
2024-01-11 10:14:41 +00:00
invalid_atom
Remove dead code.
2024-01-11 10:14:41 +00:00
many_independent_orphans
W117-011: Extend timeout mechanism to cover complete topo sort failures.
2023-02-02 13:57:19 +00:00
multiway_aliasing
Remove dead code.
2024-01-11 10:14:41 +00:00
n_predicate
Remove dead code.
2024-01-11 10:14:41 +00:00
n_predicate_2
Remove dead code.
2024-01-11 10:14:41 +00:00
n_propagate
Remove dead code.
2024-01-11 10:14:41 +00:00
null
Adalog: remove the state machine solver and the solver generic interface
2022-03-30 14:23:21 +00:00
orphan_fixed_by_unify
Consider both sides of Unify atoms to resolve unset vars.
2025-02-06 15:59:10 +00:00
pred_before_set
Remove dead code.
2024-01-11 10:14:41 +00:00
pred_exc
Remove dead code.
2024-01-11 10:14:41 +00:00
pred_order
Remove dead code.
2024-01-11 10:14:41 +00:00
self_alias
Remove dead code.
2024-01-11 10:14:41 +00:00
solve_first_vars_result
Adalog: remove the state machine solver and the solver generic interface
2022-03-30 14:23:21 +00:00
stateless_wrappers
Remove dead code.
2024-01-11 10:14:41 +00:00
timeout
Remove dead code.
2024-01-11 10:14:41 +00:00
topo_fail_nested_cycle
Fix contradictions for nested cycles in toposort failures.
2025-02-06 15:59:10 +00:00
topo_sort_cleanup
adalog/topo_sort_cleanup: remove a useless use clause
2025-12-16 11:06:03 +00:00
true_pred
Remove dead code.
2024-01-11 10:14:41 +00:00
unify_in_any
Remove dead code.
2024-01-11 10:14:41 +00:00
unify_lr
Remove dead code.
2024-01-11 10:14:41 +00:00
unify_one_side
Remove dead code.
2024-01-11 10:14:41 +00:00
unify_reset
Remove dead code.
2024-01-11 10:14:41 +00:00
var_aliasing_chain_cleanup
Remove dead code.
2024-01-11 10:14:41 +00:00
var_aliasing_cleanup
Remove dead code.
2024-01-11 10:14:41 +00:00
variadics
Remove dead code.
2024-01-11 10:14:41 +00:00
variant_eq_conv
Remove dead code.
2024-01-11 10:14:41 +00:00