dev-racket/k-example
examples of using k theorem prover
-
k-example-9999doc
View Download Browse License: all-rights-reservedOverlay: racket-overlay -
k-example-0_p20220125~amd64 ~arm ~ppc ~ppc64 ~x86doc
View Download Browse License: all-rights-reservedOverlay: racket-overlay
ChangeLog
commit 36daa6ad7790e1f78c213f1dc16e046d9ed35e51
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Sep 9 10:29:50 2023 +0200
dev-racket: big cleanup
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a52163ef6cb2588839b5c6ee1a795ed7d7c56786
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 02:23:42 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 24059f805ec0c5bdb9575faddee835b4828cad03
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 01:04:40 2022 +0200
dev-racket: change version scheme
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 0cfbb7ea283b1aba42bc2b676d84d1c1f219031e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Aug 12 13:34:00 2022 +0200
dev-racket: sort inherits
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 4d77e698061dd198663788dccc46bb6bd1f66393
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Jul 25 00:47:32 2022 +0200
*/*: keyword for arches supported by dev-scheme/racket
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 48824b102711534ff8e9d9fe9f0d9e0cbc456270
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Feb 8 21:27:35 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 75206bbe425f007516f20df5ed7119fbbed734f3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jan 28 23:31:02 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 85a787b22b91acde425b883c502c2f93e5d4ae50
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 22 19:12:46 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit ca6b83670a619087b18ddfb733436a99deab7f15
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 15 14:04:23 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 0aabd23bab5e8d2da73173b1dd6c8076cfad6ea3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 8 04:23:28 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Sep 9 10:29:50 2023 +0200
dev-racket: big cleanup
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit a52163ef6cb2588839b5c6ee1a795ed7d7c56786
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 02:23:42 2022 +0200
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 24059f805ec0c5bdb9575faddee835b4828cad03
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Sep 13 01:04:40 2022 +0200
dev-racket: change version scheme
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 0cfbb7ea283b1aba42bc2b676d84d1c1f219031e
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Aug 12 13:34:00 2022 +0200
dev-racket: sort inherits
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 4d77e698061dd198663788dccc46bb6bd1f66393
Author: Maciej Barć <xgqt@gentoo.org>
Date: Mon Jul 25 00:47:32 2022 +0200
*/*: keyword for arches supported by dev-scheme/racket
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 48824b102711534ff8e9d9fe9f0d9e0cbc456270
Author: Maciej Barć <xgqt@gentoo.org>
Date: Tue Feb 8 21:27:35 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 75206bbe425f007516f20df5ed7119fbbed734f3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Fri Jan 28 23:31:02 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 85a787b22b91acde425b883c502c2f93e5d4ae50
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 22 19:12:46 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit ca6b83670a619087b18ddfb733436a99deab7f15
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 15 14:04:23 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>
commit 0aabd23bab5e8d2da73173b1dd6c8076cfad6ea3
Author: Maciej Barć <xgqt@gentoo.org>
Date: Sat Jan 8 04:23:28 2022 +0100
dev-racket: autoupdate
Signed-off-by: Maciej Barć <xgqt@gentoo.org>