Tags
Tags give the ability to mark specific points in history as being important
v0.1.35
e8f8dcd8
·
Merge branch 'master' into main
·
Oct 28, 2022
v0.1.32
2f2b8d47
·
Add gitlab-ci.yml config.
·
Oct 28, 2022
v0.1.31
e8439ca1
·
Add GraphQL server and client skeleton (#64)
·
Oct 25, 2022
v0.1.30
d14865cc
·
Two Nix fixes; update nixpkgs (#60)
·
Oct 24, 2022
v0.1.29
85281584
·
Implement K-REPL server skeleton with Flask (#58)
·
Oct 24, 2022
v0.1.28
87943f37
·
Update template (#68)
·
Oct 24, 2022
v0.1.27
32c9efbe
·
Various fixes to pyk library (#70)
·
Oct 24, 2022
v0.1.26
6eae972d
·
Pin `poetry2nix` to known working version (#71)
·
Oct 23, 2022
v0.1.25
a328d14f
·
Eliminate shared resources from integration tests (#69)
·
Oct 23, 2022
v0.1.24
a6be6cc2
·
Automate release process (#67)
·
Oct 21, 2022
v0.1.23
d9cc2802
·
Correct the way get_basic_block checks for unique state (#66)
·
Oct 21, 2022
v0.1.22
f3c75779
·
Run tests on CI as non-root user (#63)
·
Oct 19, 2022
v0.1.21
3bcf107a
·
Implement K-REPL client skeleton (#57)
·
Oct 13, 2022
v0.1.20
1b5926b2
·
Add module `pyk.krepl.rpc` (#53)
·
Oct 12, 2022
v0.1.19
d397e95a
·
Fix quotes (#55)
·
Oct 12, 2022
v0.1.18
a248e65d
·
Fix KPrint/KRun with default temporary directory (#50)
·
Oct 10, 2022
v0.1.17
11529cb7
·
Implement K-REPL server skeleton (#49)
·
Oct 10, 2022
v0.1.16
08bd57bf
·
Add --keep-cells to pyk print (#42)
·
Oct 07, 2022
v0.1.15
e82b7ca2
·
Update dependencies (#39)
·
Sep 30, 2022
v0.1.14
b1f9daf7
·
Make argument `sort` optional in `_kast` (#38)
·
Sep 29, 2022
1
2