# HG changeset patch # User Gerwin Klein <kleing@unsw.edu.au> # Date 1742088790 -39600 # Sun Mar 16 12:33:10 2025 +1100 # Node ID 2a6cb0968822ed6690ad95819dbf1bef758716c5 # Parent 16c1696f20eb2791b6d5a6bf3ee53273c82765bd releases: add 2024 release dates diff --git a/metadata/releases.toml b/metadata/releases.toml --- a/metadata/releases.toml +++ b/metadata/releases.toml @@ -196,6 +196,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Abstract_Substitution] +2024-10-04 = "2024" + [Ackermanns_not_PR] 2022-03-24 = "2021-1" 2022-10-27 = "2022" @@ -299,6 +302,10 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Alpha_Beta_Pruning] +2024-06-16 = "2024" +2024-06-17 = "2024" + [Amicable_Numbers] 2020-08-15 = "2020" 2021-02-23 = "2021" @@ -449,6 +456,7 @@ [AutoCorres2] 2024-05-26 = "2024" +2024-05-27 = "2024" [AutoFocus-Stream] 2011-02-24 = "2011" @@ -568,6 +576,10 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Babai_Nearest_Plane] +2024-10-31 = "2024" +2024-11-07 = "2024" + [Balog_Szemeredi_Gowers] 2022-11-16 = "2022" 2023-09-13 = "2023" @@ -828,6 +840,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Boustrophedon_Transform] +2024-11-01 = "2024" + [Broadcast_Psi] 2024-04-02 = "2023" 2024-05-26 = "2024" @@ -878,6 +893,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[BurrowsWheeler] +2025-01-17 = "2024" + [BytecodeLogicJmlTypes] 2008-12-22 = "2008" 2009-04-29 = "2009" @@ -1015,6 +1033,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[CVM_Distinct_Elements] +2025-02-07 = "2024" + [CVP_Hardness] 2023-02-05 = "2022" 2023-09-13 = "2023" @@ -1259,6 +1280,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Category_Set] +2024-10-11 = "2024" + [Catoids] 2023-08-16 = "2022" 2023-09-13 = "2023" @@ -1338,6 +1362,9 @@ 2023-11-21 = "2023" 2024-05-26 = "2024" +[Chebyshev_Prime_Bounds] +2024-09-16 = "2024" + [Chord_Segments] 2016-10-11 = "2016" 2016-12-17 = "2016-1" @@ -1546,6 +1573,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Combinatorial_Q_Analogues] +2025-01-24 = "2024" + [Combinatorics_Words] 2021-05-26 = "2021" 2021-12-14 = "2021-1" @@ -1855,6 +1885,12 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Coppersmith_Method] +2024-06-13 = "2024" + +[Coproduct_Measure] +2024-08-22 = "2024" + ["CoreC++"] 2006-05-16 = "2005" 2007-11-27 = "2007" @@ -1925,6 +1961,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Countable_Sums_and_Discrete_Distributions] +2024-06-04 = "2024" + [Coupledsim_Contrasim] 2023-10-11 = "2023" 2024-05-26 = "2024" @@ -1963,6 +2002,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Cube_Dissection] +2024-11-25 = "2024" + [Cubic_Quartic_Equations] 2021-09-03 = "2021" 2021-12-14 = "2021-1" @@ -2268,6 +2310,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Diagonal_Ramsey] +2024-09-03 = "2024" + [Dict_Construction] 2017-10-10 = "2017" 2018-08-16 = "2018" @@ -2279,6 +2324,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Difference_Bound_Matrices] +2024-08-26 = "2024" + [Differential_Dynamic_Logic] 2017-02-14 = "2016-1" 2017-10-10 = "2017" @@ -2300,6 +2348,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Differential_Privacy] +2025-02-02 = "2024" + [Digit_Expansions] 2022-05-09 = "2021-1" 2022-05-26 = "2021-1" @@ -2578,6 +2629,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[EnrichedCategoryBasics] +2024-06-17 = "2024" + [Epistemic_Logic] 2018-10-29 = "2018" 2019-06-11 = "2019" @@ -2701,6 +2755,7 @@ 2023-08-15 = "2022" 2023-09-13 = "2023" 2024-05-26 = "2024" +2024-07-30 = "2024" [Executable_Randomized_Algorithms] 2023-06-29 = "2022" @@ -2802,6 +2857,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[FOL_Compactness] +2025-02-27 = "2024" + [FOL_Harrison] 2017-01-04 = "2016-1" 2017-10-10 = "2017" @@ -3575,6 +3633,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Generalized_Cauchy_Davenport] +2024-12-27 = "2024" + [Generalized_Counting_Sort] 2019-12-09 = "2019" 2020-04-18 = "2020" @@ -3988,6 +4049,12 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Hilbert_Basis] +2025-02-12 = "2024" + +[Hilbert_Space_Tensor_Product] +2024-12-04 = "2024" + [HoareForDivergence] 2023-01-23 = "2022" 2023-09-13 = "2023" @@ -4153,6 +4220,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[ILL] +2024-11-28 = "2024" + [IMAP-CRDT] 2017-11-10 = "2017" 2018-08-16 = "2018" @@ -4210,6 +4280,12 @@ 2024-02-13 = "2023" 2024-05-26 = "2024" +[IMP_Noninterference_Extension] +2024-09-03 = "2024" + +[IMP_With_Speculation] +2024-08-25 = "2024" + [IO_Language_Conformance] 2023-10-11 = "2023" 2024-05-26 = "2024" @@ -4738,6 +4814,9 @@ 2024-02-20 = "2023" 2024-05-26 = "2024" +[Karatsuba_Sqrt] +2024-10-09 = "2024" + [Key_Agreement_Strong_Adversaries] 2017-02-03 = "2016-1" 2017-10-10 = "2017" @@ -4928,6 +5007,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[LTL3_Semantics] +2024-09-02 = "2024" + [LTL_Master_Theorem] 2019-04-17 = "2018" 2019-06-11 = "2019" @@ -5217,6 +5299,12 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Levy_Prokhorov_Metric] +2024-06-11 = "2024" + +[Lie_Groups] +2024-08-01 = "2024" + [Lifting_Definition_Option] 2014-10-15 = "2014" 2015-05-27 = "2015" @@ -5289,6 +5377,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Linear_Diophantine_Preprocessor] +2024-06-19 = "2024" + [Linear_Inequalities] 2019-06-24 = "2019" 2020-04-18 = "2020" @@ -5401,6 +5492,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[List_Power] +2025-02-23 = "2024" + [List_Update] 2016-02-22 = "2016" 2016-02-23 = "2016" @@ -5797,6 +5891,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Min_Max_Least_Greatest] +2024-10-30 = "2024" + [MiniML] 2004-03-23 = "2003" 2004-04-20 = "2004" @@ -5872,6 +5969,15 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Mission_Time_LTL] +2025-01-28 = "2024" + +[Mission_Time_LTL_Language_Partition] +2025-03-04 = "2024" + +[Mission_Time_LTL_to_Regular_Expression] +2025-01-28 = "2024" + [Modal_Logics_for_NTS] 2016-10-25 = "2016" 2016-10-27 = "2016" @@ -5973,6 +6079,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[More_LazyLists] +2024-06-05 = "2024" + [MuchAdoAboutTwo] 2007-11-27 = "2007" 2008-06-10 = "2008" @@ -6061,6 +6170,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[NREST] +2024-09-18 = "2024" + [Name_Carrying_Type_Inference] 2017-07-15 = "2016-1" 2017-10-10 = "2017" @@ -6125,6 +6237,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Negative_Association] +2025-01-20 = "2024" + [Nested_Multisets_Ordinals] 2016-12-17 = "2016-1" 2017-10-10 = "2017" @@ -6313,6 +6428,10 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Notes_On_Goedels_Ontological_Argument] +2025-01-07 = "2024" +2025-01-17 = "2024" + [Nullstellensatz] 2019-06-17 = "2019" 2020-04-20 = "2020" @@ -6650,6 +6769,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Parallel_Shear_Sort] +2024-09-30 = "2024" + [Parity_Game] 2015-11-02 = "2015" 2016-02-22 = "2016" @@ -6702,6 +6824,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Pattern_Completeness] +2024-06-03 = "2024" + [Pell] 2018-06-25 = "2017" 2018-08-16 = "2018" @@ -6782,6 +6907,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Pi_Irrational] +2024-09-13 = "2024" + [Pi_Transcendental] 2018-10-02 = "2018" 2019-06-11 = "2019" @@ -7227,6 +7355,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Prop_Compactness] +2024-08-30 = "2024" + [Propositional_Logic_Class] 2023-01-11 = "2022" 2023-09-13 = "2023" @@ -7379,6 +7510,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Quantum_Fourier_Transform] +2025-02-21 = "2024" + [Quasi_Borel_Spaces] 2022-02-04 = "2021-1" 2022-10-27 = "2022" @@ -7505,6 +7639,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Ramsey_Bounds] +2024-09-02 = "2024" + [Random_BSTs] 2017-04-04 = "2016-1" 2017-10-10 = "2017" @@ -7556,6 +7693,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Randomized_Closest_Pair] +2024-09-23 = "2024" + [Rank_Nullity_Theorem] 2013-01-16 = "2012" 2013-02-16 = "2013" @@ -7837,6 +7977,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Relative_Security] +2024-06-05 = "2024" + [Rensets] 2023-03-02 = "2022" 2023-09-13 = "2023" @@ -7862,6 +8005,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[ResiduatedTransitionSystem2] +2024-06-17 = "2024" + [Residuated_Lattices] 2015-04-16 = "2014" 2015-05-27 = "2015" @@ -7929,6 +8075,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Riesz_Representation] +2024-06-11 = "2024" + [Risk_Free_Lending] 2022-09-22 = "2021-1" 2022-10-27 = "2022" @@ -7966,6 +8115,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Rogers_Ramanujan] +2025-01-24 = "2024" + [Root_Balanced_Tree] 2017-08-20 = "2016-1" 2017-10-10 = "2017" @@ -8046,6 +8198,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[SCL_Simulates_Ground_Resolution] +2024-11-04 = "2024" + [SC_DOM_Components] 2020-11-27 = "2020" 2021-02-23 = "2021" @@ -8203,6 +8358,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Secret_Directed_Unwinding] +2024-06-05 = "2024" + [Security_Protocol_Refinement] 2017-05-25 = "2016-1" 2017-10-10 = "2017" @@ -8340,6 +8498,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Serializable] +2025-02-11 = "2024" + [Shadow_DOM] 2021-02-23 = "2021" 2021-12-14 = "2021-1" @@ -8611,6 +8772,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Sorted_Terms] +2024-06-03 = "2024" + [Source_Coding_Theorem] 2016-10-19 = "2016" 2016-12-17 = "2016-1" @@ -8806,6 +8970,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Stone_Cech] +2024-06-05 = "2024" + [Stone_Kleene_Relation_Algebras] 2017-10-10 = "2017" 2018-08-16 = "2018" @@ -8981,6 +9148,9 @@ 2024-05-03 = "2023" 2024-05-26 = "2024" +[SuffixArray] +2024-10-03 = "2024" + [SumSquares] 2007-11-27 = "2007" 2008-06-10 = "2008" @@ -9007,6 +9177,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Sum_Of_Squares_Count] +2024-11-30 = "2024" + [Sumcheck_Protocol] 2024-02-07 = "2023" 2024-05-26 = "2024" @@ -9031,6 +9204,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Superposition_Calculus] +2024-10-30 = "2024" + [Suppes_Theorem] 2023-01-23 = "2022" 2023-09-13 = "2023" @@ -9167,6 +9343,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Theta_Functions] +2025-01-24 = "2024" + [Three_Circles] 2021-09-01 = "2021" 2021-12-14 = "2021-1" @@ -9196,6 +9375,9 @@ 2024-05-10 = "2023" 2024-05-26 = "2024" +[Topological_Groups] +2024-08-27 = "2024" + [Topological_Semantics] 2020-12-22 = "2020" 2021-02-23 = "2021" @@ -9327,6 +9509,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Transitive_Union_Closed_Families] +2025-02-01 = "2024" + [Transport] 2023-10-13 = "2023" 2024-05-26 = "2024" @@ -9446,6 +9631,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Two_Hermitian_Results] +2024-11-25 = "2024" + [Tycon] 2012-06-28 = "2012" 2013-02-16 = "2013" @@ -9845,6 +10033,15 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[With_Type] +2024-09-05 = "2024" + +[Wlog] +2024-09-06 = "2024" + +[Wooley_Elementary_Discrete_Inequality] +2024-10-17 = "2024" + [Word_Lib] 2016-06-09 = "2016" 2016-12-17 = "2016-1" @@ -9883,6 +10080,9 @@ 2023-09-13 = "2023" 2024-05-26 = "2024" +[Worklist_Algorithms] +2024-08-21 = "2024" + [X86_Semantics] 2021-10-31 = "2021" 2021-12-14 = "2021-1"