K version bump feature list (6.1.0)

[radumereuta]

Updated up to:

• Features:

  • Update documentation and tutorials for group(_) #3487
  • Introducing the hs-backend-booster to K Framework #3475
  • Upgrade debian version to 12 bookworm #3506
  • Remove unit applications in modules #3469
  • Add doc for kserver #3562
  • Minimize JSON output by dropping unused attributes #3568
  • Add --smt-timeout flag to krun #3575
  • Add --smt-timeout flag to kprove #3576
  • Changing pull maven repository to cloudrepo #3581
  • Check parameters on attributes #3579
  • Allowed attributes for sentence types #3589
  • Rule label cannot contain ` or whitespace #3596
  • Adding profiling tests #3603
  • Add Bencher to track Benchmarks Performance Regression #3611
  • [K-Bug] Missing file argument in kompile's flag #3619
  • Update krun usage message to contain [options] #3623
  • Improving kompile's --help and --help-hidden messages using descriptors #3638
  • Adding arguments to kast flags #3642
  • docs: 📝 Added section 2 docs #3639
  • Adding arguments to kprove flags #3648
  • update scala kore parser to use multi-ary and and or everywhere #3678
  • Builing MacOS Package on MacOS 13 #3686
  • Introduces --debugger-command flag to krun #3687
  • kast --debug-tokens #3660
  • Remove focal image usage #3600
  • Drop mentions of Focal from packaging and install documentation #3725
  • Bump JDK requirement to 17 #3736
  • Add option to print better parse errors #3700
  • Update README instructions #3761

• Bug fixes:

  • Ensure module attributes are checked against the whitelist #3484
  • JSON creation - use object factory #3507
  • Checks on main/syntax modules during module exclusion #3561
  • Fresh constants for configuration initializers #3557
  • Better labels for heat/cool rules of a context #3063
  • Remove some old unused attributes #3578
  • Fix Java 19 #3584
  • Make no junk right associative #3602
  • Improving Lesson 1.3 by mentioning longest match while scanning tokens #3618
  • Fix output sorting for KPrint #3653
  • Refactor GeneratedTopFormat #3654
  • [K-Improvement] Create Ordering instance for Sentence's subclasses #3530
  • Move README from builtin #3701

To Check:

• File ./package/version has been bumped to NEW_MAJOR.NEW_MINOR.0, and ./package/version.sh sub has been invoked.
• CHANGELOG.md has been updated with new features.
• K active projects page is up-to-date (receiving commits in the last 3 months).
• Audit of warnings in regression test-suite and tutorial (inspect CI output for unintentional warnings).
• Audit package dependencies in package/ (look at various package/dependency lists in package/ subdirectory and think whether any of them is now not needed).