Skip to content

Pull requests: kadena-io/pact-5

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Assignee
Filter by who’s assigned
Sort

Pull requests list

Add initial Lexer test
#1 by rsoeldner was closed Jan 4, 2023 Draft
Lexer parser tests
#2 by rsoeldner was merged Jan 4, 2023 Loading…
add initial github action
#3 by rsoeldner was merged Feb 6, 2023 Loading…
Parse all of pact
#6 by jmcardon was merged Mar 29, 2023 Loading…
fix parser and tests
#7 by rsoeldner was merged Mar 23, 2023 Loading…
fix ci testing, disable repl for now
#9 by jmcardon was merged Apr 27, 2023 Loading…
Document parser ambiguities
#11 by jmcardon was merged Apr 27, 2023 Loading…
Objects + Db
#13 by jmcardon was merged Oct 17, 2023 Loading…
Nix Setup
#14 by rsoeldner was merged Aug 28, 2023 Loading…
defpacts
#16 by rsoeldner was merged Oct 18, 2023 Loading…
remove additionl ci and rely on nix
#18 by rsoeldner was merged Oct 11, 2023 Loading…
[wip] Time builtins
#19 by imalsogreg was merged Oct 17, 2023 Loading…
Interleave printing with Repl output
#20 by jmcardon was merged Oct 19, 2023 Loading…
stable encoding
#21 by rsoeldner was merged Oct 19, 2023 Loading…
Namespaces in core
#23 by jmcardon was merged Oct 27, 2023 Loading…
run pact-core tests from nix build
#24 by rsoeldner was merged Oct 26, 2023 Loading…
consistent renaming of Pacts
#25 by rsoeldner was merged Oct 24, 2023 Loading…
Replicate FlagEnforceKeyFormats behavior
#27 by 0xd34df00d was merged Nov 8, 2023 Loading…
Module hashing + Defconst eval
#28 by jmcardon was merged Nov 23, 2023 Loading…
SQLite
#29 by rsoeldner was merged Dec 17, 2023 Loading…
Implement create-pact-guard
#30 by 0xd34df00d was merged Nov 20, 2023 Loading…
Migrate to hs-nix-infra for the Nix setup
#31 by enobayram was merged Nov 17, 2023 Loading…
Namespaced keysets
#32 by 0xd34df00d was merged Dec 1, 2023 Loading…
fix devshell
#33 by rsoeldner was merged Dec 4, 2023 Loading…
ProTip! What’s not been updated in a month: updated:<2025-01-06.