Repository navigation

Release v4.0.0 - #46

Merged

fariedabuzaid merged 87 commits into

mainfrom

dev

Aug 13, 2026

Merged

Release v4.0.0#46
fariedabuzaid merged 87 commits into
mainfrom
dev

Commits on Jul 21, 2026
- Symbolic interfaces: a generic first-order layer over the engines
  
  fariedabuzaid
  and
  claude
  committed
  aea670b
- Rewrite Büchi arithmetic on the symbolic layer
  
  fariedabuzaid
  and
  claude
  committed
  05eba30
- Docs: the symbolic interface, and fix the NP-completeness claim
  
  fariedabuzaid
  and
  claude
  committed
  88c87e3
- Enforce output-free notebooks with nbstripout
  
  fariedabuzaid
  and
  claude
  committed
  3cb5ae4
- Codec: the encoding's shape belongs to the backend
  
  fariedabuzaid
  and
  claude
  committed
  bd8ecb9
- Symbolic interfaces over the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  dd5d5b5
- Constants and finiteness over the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  4a76408
- Enumeration and exists-infinity over the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  0f356fc
- Pin the symbolic interface over uniformly tree-automatic classes
  
  fariedabuzaid
  and
  claude
  committed
  dc4df1d
- Fix a universal quantifier that silently became an existential
  
  fariedabuzaid
  and
  claude
  committed
  83d8cc5
- Default signatures: groups get * , abelian groups get +
  
  fariedabuzaid
  and
  claude
  committed
  b5b0a8b
- Relations that are declared now and built on first use
  
  fariedabuzaid
  and
  claude
  committed
  0d55227
- Every presentation has an equality relation, named Eq
  
  fariedabuzaid
  and
  claude
  committed
  b1c57bd
Commits on Jul 22, 2026
- Fix the three docs-build warnings
  
  fariedabuzaid
  and
  claude
  committed
  1d93514
- Potential fix for pull request finding
  
  fariedabuzaid
  and
  Copilot
  authored
  98aabba
- Potential fix for pull request finding
  
  fariedabuzaid
  and
  Copilot
  authored
  589f479
- Merge branch 'symbolic-interfaces' of github.com:fariedabuzaid/AutStr into symbolic-interfaces
  fariedabuzaid
  committed
  853e088
- Restore spliced relations even when a query fails
  
  fariedabuzaid
  and
  claude
  committed
  1b5e39b
- The infinite extraspecial p-group
  
  fariedabuzaid
  and
  claude
  committed
  19b4d19
- Potential fix for pull request finding
  
  fariedabuzaid
  and
  Copilot
  authored
  4f32cf0
- Merge pull request #37 from fariedabuzaid/symbolic-interfaces
  fariedabuzaid
  authored
  5262560
Commits on Aug 11, 2026
- InfiniteGraph: the shared surface for infinite graph structures
  
  fariedabuzaid
  and
  claude
  committed
  202b19f
- IntegerGrid: the Cayley graph of Z^n as an async product
  
  fariedabuzaid
  and
  claude
  committed
  2fddb20
- First-order interpretations, Phase 1: one-dimensional, no quotient
  
  fariedabuzaid
  and
  claude
  committed
  71b6ba2
- First-order interpretations, Phase 2: k-dimensional
  
  fariedabuzaid
  and
  claude
  committed
  7e606f8
Commits on Aug 12, 2026
- Fix all/none sentence markers dropping the structure's alphabet
  
  fariedabuzaid
  and
  claude
  committed
  3564126
- Quotient interpretations at dimension 1
  
  fariedabuzaid
  and
  claude
  committed
  6163be3
- Restrict every tape of a relation to the universe, not all but the last
  
  fariedabuzaid
  and
  claude
  committed
  e3cb14c
- k-dimensional quotient interpretations
  
  fariedabuzaid
  and
  claude
  committed
  be836a0
- Sentences as operands of a connective
  
  fariedabuzaid
  and
  claude
  committed
  bb02877
- Signatures for relational structures and orders
  
  fariedabuzaid
  and
  claude
  committed
  fac342f
- Ordinals below omega^omega, as interpretations of Buechi arithmetic
  
  fariedabuzaid
  and
  claude
  committed
  647fa69
- The regular tree T_k, with its successors and prefix order
  
  fariedabuzaid
  and
  claude
  committed
  682b5af
- Turing-machine configuration graphs, and where FO stops
  
  fariedabuzaid
  and
  claude
  committed
  bc686ce
- Call partial_dfa directly
  
  fariedabuzaid
  and
  claude
  committed
  f427131
- Merge pull request #38 from fariedabuzaid/infinite-graphs
  fariedabuzaid
  authored
  30cdba6
- List the infinite structures and interpretations in the README
  
  fariedabuzaid
  and
  claude
  committed
  3e27635
- Test partial_dfa directly
  
  fariedabuzaid
  and
  claude
  committed
  10db313
- Pin the sentence-under-connective behaviour
  
  fariedabuzaid
  and
  claude
  committed
  eef8c42
- Escape the alphabet-size expression in partial_dfa's docstring
  
  fariedabuzaid
  and
  claude
  committed
  f21fa17
- Merge pull request #39 from fariedabuzaid/tier1-structures
  fariedabuzaid
  authored
  768821e
- Sentences as operands of a connective, on the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  c86a24b
- fold_tapes for tree automata
  
  fariedabuzaid
  and
  claude
  committed
  2c01753
- First-order interpretations over the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  245cb08
- Merge dev (Tier I structures) into tree-interpretations
  fariedabuzaid
  committed
  62cd8c7
- Cross-check the two engines on sentences under connectives
  
  fariedabuzaid
  and
  claude
  committed
  05d94eb
- Correct why tree quotients are unavailable
  
  fariedabuzaid
  and
  claude
  committed
  fb80135
- Ordinals below omega^(omega^n), on the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  712e6a6
- The countable atomless boolean algebra
  
  fariedabuzaid
  and
  claude
  committed
  d3c0e5d
- Let a constant be a set or a map
  
  fariedabuzaid
  and
  claude
  committed
  bade4fa
- List the atomless boolean algebra in the README
  
  fariedabuzaid
  and
  claude
  committed
  d8cbb7a
- Merge pull request #40 from fariedabuzaid/tree-interpretations
  fariedabuzaid
  authored
  af0d0b9
- Merge pull request #41 from fariedabuzaid/atomless-boolean-algebra
  fariedabuzaid
  authored
  9c2f374
- partial_tree_automaton, the tree counterpart of partial_dfa
  
  fariedabuzaid
  and
  claude
  committed
  59525ff
- Level 2 collapsible pushdown graphs, on the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  9d9b27a
- List the collapsible pushdown graphs in the README
  
  fariedabuzaid
  and
  claude
  committed
  57e3c60
Commits on Aug 13, 2026
- A linear order and a domain-containment relation, on trees
  
  fariedabuzaid
  and
  claude
  committed
  7521c09
- Quotient interpretations over the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  b72093e
- Note the tree quotient in the README
  
  fariedabuzaid
  and
  claude
  committed
  395f181
- Merge pull request #42 from fariedabuzaid/level2-collapsible-pushdown
  fariedabuzaid
  authored
  839a101
- Merge pull request #43 from fariedabuzaid/tree-quotient-representatives
  fariedabuzaid
  authored
  167ee76
- Say what the two conditions on n actually do
  
  fariedabuzaid
  and
  claude
  committed
  27962ba
- An oracle for returns, loops and 1-loops
  
  fariedabuzaid
  and
  claude
  committed
  868ffcf
- Returns and loops, by saturation
  
  fariedabuzaid
  and
  claude
  committed
  9389658
- restrict_alphabet, for reading a tree automaton over fewer letters
  
  fariedabuzaid
  and
  claude
  committed
  ee9e78d
- The summary annotation, on a tape of its own
  
  fariedabuzaid
  and
  claude
  committed
  039b0fb
- B: the topmost word loses letters
  
  fariedabuzaid
  and
  claude
  committed
  0472bc9
- C: the topmost word gains letters
  
  fariedabuzaid
  and
  claude
  committed
  88b9e57
- A, as far as returns take it
  
  fariedabuzaid
  and
  claude
  committed
  6768436
- A: a collapse that spans several words
  
  fariedabuzaid
  and
  claude
  committed
  f317f69
- D and the composition, with D not yet correct
  
  fariedabuzaid
  and
  claude
  committed
  1715922
- D, and reachability
  
  fariedabuzaid
  and
  claude
  committed
  d59b401
- Reach_L, and reachability as a relation of the graph
  
  fariedabuzaid
  and
  claude
  committed
  98d524b
- The rule table is a literal block, not a definition list
  
  fariedabuzaid
  and
  claude
  committed
  ff3048b
- Merge pull request #44 from fariedabuzaid/level2-reachability
  fariedabuzaid
  authored
  9549eb8
- Every structure declares its own vocabulary; dissolve `buildin`
  
  fariedabuzaid
  and
  claude
  committed
  3a2e0e1
- Notebooks: sets as sets, and a formula that says what its label claims
  
  fariedabuzaid
  and
  claude
  committed
  dec437a
- Interpretations, and three bugs that writing the notebook found
  
  fariedabuzaid
  and
  claude
  committed
  e291b40
- Notebooks: the atomless Boolean algebra, and MSO without the paren soup
  
  fariedabuzaid
  and
  claude
  committed
  5a74b35
- v4.0.0: the changelog moves to a file of its own
  
  fariedabuzaid
  and
  claude
  committed
  af1b5a4
- Regenerate the history animation through v4.0.0
  
  fariedabuzaid
  and
  claude
  committed
  0e89e50
- Serialization for the tree engine
  
  fariedabuzaid
  and
  claude
  committed
  c91796a
- References: four in the README, all of them in the documentation
  
  fariedabuzaid
  and
  claude
  committed
  a4987f7
- Look up the references I could not verify offline
  
  fariedabuzaid
  and
  claude
  committed
  58bf5e4
- Merge pull request #45 from fariedabuzaid/release-v4-prep
  fariedabuzaid
  authored
  055109f
- Review: a dead disjunct in Min, and two import blocks I mangled
  
  fariedabuzaid
  and
  claude
  committed
  2c3c693
- Run the suite in parallel
  
  fariedabuzaid
  and
  claude
  committed
  637f22f

Commits

Commits on Jul 21, 2026

Commits on Jul 22, 2026

Commits on Aug 11, 2026

Commits on Aug 12, 2026

Commits on Aug 13, 2026