Skip to content

Latest commit

 

History

History
656 lines (424 loc) · 31.7 KB

RELEASES.md

File metadata and controls

656 lines (424 loc) · 31.7 KB

Changelog

All notable changes to this project will be documented in this file. Dates are displayed in UTC.

Generated by auto-changelog (Note: versions before 0.11.0 were manually generated).

  • 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

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

22 November 2020

  • Fix boats' coherence talk link in the book #654
  • Introduce Visitor::BreakTy #651
  • Hyperlink protocol changed: HTTP -> HTTPS (#1) #652
  • Hyperlink protocol changed: HTTP -> HTTPS #1

15 November 2020

  • Bump version to 0.39.0-dev.0 #653
  • Clauses cleanup #638
  • Variance #609
  • Fix "var_universe invoked on bound variable" crash #649
  • Add empty and erased regions #650
  • Use ControlFlow in Visitor #645
  • Remove TargetInterner #648
  • Make max goal size for recursive solver configurable #647

1 November 2020

  • Program printer: Use Debug to print concrete consts #641

29 October 2020

  • Replace bound lifetime variables with inference variables in AntiUnifier #640

25 October 2020

  • Fix glossary links #635
  • rewrite parts concerning typename, fix links #634
  • Document notation #630
  • Format parse errors better #632
  • Remove TypeName and merge into TyKind #629
  • Rename TyData to TyKind #628

18 October 2020

  • Handle cached answers correctly in any_future_answer #626
  • Don't add wf clauses for function args #625

11 October 2020

7 October 2020

  • Don't panic on unimplemented types for auto traits #622
  • Update book and add coherence chapter #623
  • Fix mdbook links after chalk-engine changes #620
  • Parse opaque types without bounds #619

4 October 2020

  • Add static lifetime #617
  • Support fundamental types with multiple type parameters #616
  • Remove Context trait from chalk-engine #611
  • Implement generators #593

28 September 2020

  • Fix assertion failure during recursive solving #613

27 September 2020

20 September 2020

  • Add CoerceUnsized builtin rules #607
  • Extend push_auto_trait_impl to built-in types #612
  • fix debug print of pointer types #608

13 September 2020

  • More lowering improvements #606
  • Extend well-known traits by Unpin #603
  • Simplify lowering #602

6 September 2020

  • Extern types #601
  • Check well-formedness of opaque type declarations #579
  • Refactor FnPointer and FnDef #599
  • document opaque types #559
  • Fix links in chalk book #600
  • Properly unify consts with vars #598

30 August 2020

  • Guard against infinite loop in recursive solver #569

23 August 2020

16 August 2020

  • Update dependencies #594

9 August 2020

  • Turn a few generics into dynamic dispatch. #592

4 August 2020

  • Handle well known traits for more types #591
  • .chalk syntax writer: Fix name de-duplication bug #585

2 August 2020

  • Don't ever consider cycles until we've started accepting ambiguous answers #588
  • Upgrade salsa #581
  • Add default RustIrDatabase::*_name impls #575

26 July 2020

  • Fix clippy warnings #577
  • Refactor and flesh out Fn pointers #573
  • Create single Github actions job to gate bors on #582
  • Remove force_impl_for from RustIrDatabase #583
  • Don't fail CI if only nightly fails #580
  • Add workflow_dispatch for manual publish #578
  • Support where clauses on opaque types #563
  • Upgrade everything except Salsa #576

19 July 2020

  • Only generate clauses requiring Compatible when it is in the environment #566
  • Cleanup & comment .chalk file writer tests #570

12 July 2020

  • Add readme for chalk-recursive #572
  • Don't flounder on int/float vars #555
  • Fix associated type bindings in dyn types #567
  • Remove unit fields from enum variants #565
  • Fix links in chalk book #564
  • Separate recursive solver #546
  • Upgrade dependencies (incl. Salsa) #553

5 July 2020

  • Cleanup comments in syntax writer #558
  • Further reduce interned type boilerplate #554
  • Allow printing lifetime placeholders #557
  • Support for ADTs #524
  • Add type outlives goal #551
  • Incorporate region constraints into program clauses #543
  • Feature gate heavy tracing dependencies #549
  • Cleanup function names in chalk-ir #545
  • Use tracing-tree for logging / clean up debug output #544
  • Fix coherence issue with associated types in generic bound #538
  • .chalk file syntax writer #430

28 June 2020

  • Fix built-in Fn impls when generics are involved #541
  • Add method to get repr data of an ADT to ChalkDatabase #523
  • Add more Copy implementations #539
  • Refactor LifetimeOutlives goals to produce AddRegionConstraint subgoals #527
  • Document all public items in chalk-ir #536
  • Typo in book #537
  • Support logs in lowering tests #535

21 June 2020

  • Change README to be more clear #534
  • Ignore auto traits order #531
  • Add closures #519
  • Introduce Tracing into Chalk (Third Time's the Charm) #525
  • Ucanonicalization fix #529
  • Fix recursive solver completeness example to correctly fail #528

14 June 2020

  • Refactor ProgramClauseData to remove Implies variant #514
  • new version: 0.13.0-dev.0 #522
  • Recursive solver factoring and privacy #513
  • complete wf checks for Copy impls #503
  • Model function ABI in the Rust IR #481
  • add Unsize trait implementation #427
  • add phantom_data adt flag #502
  • Add FnOnce trait, and provide impl for Function type #494
  • remove IntoIterator impl for &Binders #501
  • Use pretty_assertions crate when comparing expected and actual output #495
  • Fix typo in Implied Bounds book chapter #497
  • rename WellKnownTrait::&lt;TraitName&gt;Trait to WellKnownTrait::&lt;TraitName&gt; #500
  • Fix link to Minimums in recursive solver documentation #493
  • Refactor the recursive solver a bit #487
  • Add binders around inputs/outputs for FnDefDatum #489
  • add lifetimes to trait objects #492
  • update example trait name #490
  • words #491
  • document recursive solver #488

2 June 2020

  • Update publish.yml #485
  • Update publish.yml #484
  • Get ready for the first publish #483
  • Correct mistake in publishing #482
  • Add lifetime outlives goal #451
  • Added scheduled release workflow #461
  • Actually fix tests #480
  • Remove chalk-base #479
  • Add function def clauses #477
  • Include more guidance in ambiguous results #433
  • Request hidden opaque types lazily #478
  • Integer and float variable kinds #470
  • Fix solving <impl Trait as Trait>::AssocType #473
  • Generate auto trait clauses for opaque type goals #468
  • Remove unused StackIndex from chalk-engine. #474
  • Use chain and filter instead of extending a vec in program_clauses_fo… #476
  • Make chalk-engine depend on chalk-ir #472
  • Add array types to TypeName #467
  • Fix references to chalk_rust_ir #471
  • Cleanup crate structure and add features for SLG/recursive solvers #459
  • Check for trivial cycles in persue_answer #469
  • Add never type to TypeName #466
  • Opaque Type Generics #464
  • Issue260 #462
  • Handle bound vars in builtin trait impls #463
  • Fix broken link #465
  • const generics support #393
  • Add FnDef to TypeName #449
  • Rename struct types to ADT types and introduce new interned ADT ID #454
  • refactor Parameter into GenericArg #455
  • Bump most dependency crate version. #458
  • Make lowering failure tests less fragile #448
  • Fix overeager cycle detection in dyn impl clause generation #446
  • Upgrade book linkcheck warnings to errors #450
  • Add the str type #441
  • Mutable references should not be Copy/Clone #447
  • Add ObjectSafe goal and flag #445
  • Add slice type to TypeName #443
  • Add reference types to TypeName #444
  • Add raw pointers to TypeName #442
  • Fix outdated dev guide links #436
  • add WellKnownTraits chapter to the book #428
  • Add publishing steps to book #422
  • Replace lalrpop-intern with string_cache #432
  • Make dyn Trait implement its super traits as well #415
  • convert from lifetime equality constraints to outlives constraints #419
  • Fix broken links in "What is Chalk?" and "Walkthrough" #426
  • Fix mdBook plugins not loading in CI #424
  • Release 0.10.0 #421

30 April 2020

  • Too many changes to list

17 December 2018

  • Added the variance parameter

24 May 2018 to 31 October 2018

Forgot to write release notes =)

21 May 2018

  • Pare down to very few dependencies, and make even those optional.

21 May 2018

  • Tweak various things about the traits to aid in rustc integration.

27 March 2018

  • Remove some pointless traits from Chalk engine context.

22 March 2018

Initial release.