Navigation
index
modules
|
next
|
previous
|
Libadalang User Manual 23.0w-20220116 documentation
»
Development design documents
Development design documents
ΒΆ
1. Better solver API
1.1. High level problem
2. Proper handling of function attributes
2.1. Current problem
2.2. Proposed Solution
3. Implicit dereference aspect/expected subtype
3.1. Problem
3.2. High level solution for expected subtype (TODO fill out)
3.3. High level solution for implicit dereference aspect (TODO fill out)
4. Name Resolution of Char Literals
4.1. Current problem
4.2. Proposed Solution
5. Adalog solver rewrite
5.1. Global goal
5.2. Expand high level operations to low level ones
5.2.1. Introduce a
Val
operation
5.2.2. Expand
Unify
to
Assign
and
Val
5.2.3. Expand
Member
into
Any
and
Assign
5.3. Develop relations
5.3.1. The algorithm
5.3.2. Exponential time resolution optimization (1)
5.4. Check completeness
5.5. Topo sort/check out for cycles
5.6. Execute the resulting relation
5.6.1. Exponential time resolution optimization (2)
Previous topic
10.
Libadalang API breaking changes
Next topic
1.
Better solver API
This Page
Show Source
Quick search
Navigation
index
modules
|
next
|
previous
|
Libadalang User Manual 23.0w-20220116 documentation
»
Development design documents