chalk-ir

1 June 2025

• fix: Don't panic when formatting without Program #830

20 April 2025

13 April 2025

• Add associated_ty_from_impl to Chalk db to avoid computing associated types eagerly #826

9 March 2025

• Bump versions to 0.100.0-dev.0 #825
• Implement built-in supports for AsyncFn* traits #824

14 January 2025

• bump version -> 0.99.0-dev.0 #822
• Implement trait upcasting #821
• Configure CI for merge queue #818
• Remove unnecessary symbols and add missing symbols #817

7 July 2024

• Bump version number to 0.98.0-dev.0 to fix automatic releases #813
• Add f16 and f128 #811

7 April 2024

• Add missing ?Sized bounds for HasInterner impls #810
• chore: fix typo in comment #808
• Introduce Lifetime::Error #809
• Remove unused dependency #807

7 January 2024

• Rename generator to coroutine #806

19 November 2023

• Fixes typo in what_is_chalk.md #804
• Bump deps #805

8 October 2023

• Remove an unnecessary mut and fix warning #803
• Upgrade to indexmap 2 #802
• chalk-solve: upgrade petgraph to version 0.6.4 #801

13 August 2023

• Push DiscriminantKind implementation fact unconditionally #800

30 June 2023

• Pin cargo-workspaces to 0.2.44 #799
• fix: generalize types before generating built-in Normalize clauses #797
• Support FnPtr trait #798
• Generate clauses for placeholder associated types #795
• Generalize program clause for AliasEq goal with nested alias #792
• Generate Normalize clauses for dyn and opaque types #780

30 April 2023

• Add support for Pointee trait #794
• add test for bug with mixed cycles #788

2 April 2023

• update syn to 2.0 #793

19 March 2023

• Fix projection substitution order considering GATs #790
• update inductive_canonical_cycle test #787
• Add test for inductive canonical cycle #786

4 December 2022

• Add test for example found from removing fresh vars in rustc #784
• Implement should_continue in chalk-recursive #774

13 November 2022

• Remove empty lifetime #783
• Implement support for the Tuple trait #782
• fix: consider ADT's generic parameters #781

16 October 2022

• Fix parameter for Interner in derive(FallibleTypeFolder) macro #779
• Fix Self type retrieval from ProjectionTy #778

9 October 2022

• Split fallible infallible folding #772
• Bump regex from 1.5.4 to 1.5.5 #764
• Bump thread_local from 1.1.3 to 1.1.4 #766
• Bump crossbeam-utils from 0.8.5 to 0.8.9 #771
• Update mdbook-mermaid #776

31 July 2022

• Solve auto traits for closures (issue #734) #755

26 June 2022

• Remove unused Result assoc type from Fold trait #768
• Rename folding/visiting traits #767
• Detect dark theme for mermaid diagrams #770
• Add workaround for GitHub doc url's returning 403 #769
• Typo #765

12 April 2022

• we only need to prove things one way #754

27 March 2022

• Use SPDX license format #757
• Fix function pointers of different param counts unifying #759

20 March 2022

• Make DispatchFromDyn a well-known type #738

13 March 2022

• Add missing fold_free_var_const #756
• Fix clippy warnings #753

6 March 2022

• repl: add --solver flag. #751
• recursive: fix hang on fulfill by slightly smarter check for progress. #752
• Add some additional topics to todo.md #748

20 February 2022

• Update indexmap to 1.8.0 #746
• Allow tests to be updated automatically #744

26 December 2021

• Remove Ord from chalk_ir::interner::DefId #740
• Remove unused field #743
• Allow test invocations to elide empty program declarations #741

12 December 2021

• Use owned copies of Interner rather than refs #735
• chore: update tracing dependencies (amongst others) #737

29 November 2021

• More clause fixes #728
• Introduce Folder::Error #709

7 November 2021

• Fix broken markdown and intr-doc links in documentation #731

10 October 2021

• Replace ControlFlow with version in std #729
• Regenerate lockfile to fix tests in nightly #730

29 August 2021

• Make the Generator trait well-known #723
• Switch runner for publish job to Ubuntu from Mac #722

1 August 2021

• Install auto-changelog globally to fix command not found #720
• rework recursive solver for better integration into an expanded version of salsa #708
• Make various methods on InferenceTable public #718
• Use unnamed consts in chalk-derive #717
• Update "implied bounds" rules for types to match #206 #714
• Update publishing page in the book with automation details #715
• Skip crate publishing if there have been no changes #711
• Fix automatic changelog generation to include current version's changes #713
• Automate the changelog #710
• Fix typo: [defined by the] embedded -> embedder #712

6 June 2021

30 May 2021

23 May 2021

• Mentions to Goal in major_concepts are meant to be DomainGoal #707
• fix typo (Deterermine->Determine) in docs #705
• Bump version to 0.67.0 #706
• fix(chalk-recursive): allow chalk-solve's default-features to be disabled #703
• Unignore a few tests. #702
• Small fixes on engine #704

25 April 2021

• Show -> Display #701
• Coinduction handling for recursive solver #698

11 April 2021

• Add Fold binders depth example #699

28 March 2021

• Add a couple of examples on the generator section of the book #697
• Properly link Rustc's TyKind #696
• Fix some book typos #695

21 March 2021

• Implement CastTo<WhereClause> for TypeOutlives #693

14 March 2021

• fix typo types.md #692
• fix typo #691

7 March 2021

28 February 2021

• Bump dependencies and propagate tracing features #687

21 February 2021

• Generate clauses for super traits of opaque bounds #681

14 February 2021

• add Movability to Generator #685
• Opaque type cleanup #684

7 February 2021

• Compute flags in interner #682

1 February 2021

• No environment in Constraints #680

31 January 2021

• mdbook fix #679
• Subst canonical environment clauses #671
• Some various bits of cleanup #661

24 January 2021

20 January 2021

• Generalize with variance #673
• Remove dead code and re-enable functions tests #664

17 January 2021

• Update WellFormed-AssocTy rule in book #675

10 January 2021

• Deduplicate solution enum in chalk-recursive #674
• Update mdbook #672

3 January 2021

• fix: small typo error #669

27 December 2020

• Update occurences of outdated ProjectionEq predicate in Chalk book #668

20 December 2020

• Optimize Fold impls for types on the heap #662
• Add TypeFlags for TyKind in chalk-ir #639
• Update mermaid.min.js to fix mermaid graphs #663
• Pass canonical goals to program clauses code in SLG solver #624
• Add DiscriminantKind builtin trait #633

6 December 2020

• Always relate with Invariant to non-General inference vars #659
• Fold by value, not by reference #660

29 November 2020

• Add "Recursive solver coinduction chapter" to book todo list #657
• Fix handling of variables in goal for new alias clauses #656
• Make Variances Debug #655