issues
search
essential-contributions
/
pint
Pint, the constraint-based programming language for declarative blockchains
Apache License 2.0
17
stars
5
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
WIP compute graph support
#1007
mohammadfawaz
opened
8 hours ago
0
Add most of fixed size array map morphisms.
#1006
otrho
closed
1 day ago
0
Disallow multiple identical predicates in the same contract
#1005
lethalgem
closed
2 days ago
0
Fix alias in union variant resolution
#1004
mohammadfawaz
closed
2 days ago
1
Audit all internal errors and make sure they are valid
#1003
mohammadfawaz
opened
4 days ago
0
Change solution format to JSON in validation_tests
#1002
mohammadfawaz
closed
5 days ago
0
Upgrade trunk
#1001
github-actions[bot]
closed
5 days ago
0
Refactor internal errors
#1000
mohammadfawaz
closed
5 days ago
0
Bump `pintc` to `0.11.0`
#999
mohammadfawaz
closed
6 days ago
0
Bump pintc to `0.10.0`
#998
mohammadfawaz
closed
6 days ago
0
Change `Rc` to `Arc`
#997
mohammadfawaz
closed
6 days ago
0
Document storage keys assignment in the Book of Pint
#996
mohammadfawaz
closed
6 days ago
0
feat: Expose `pint build` command args for use downstream
#995
mitchmindtree
closed
6 days ago
1
Fix a math-based example of a failing contraint in pint book
#994
nfurfaro
closed
6 days ago
0
Come up with a style guide for Pint and document it
#993
mohammadfawaz
opened
1 week ago
0
Add an "Operators and Symbols" appendix chapter to the Book of Pint
#992
mohammadfawaz
opened
1 week ago
0
Change solution formats in validation tests to JSON
#991
mohammadfawaz
closed
4 days ago
1
bump `pintc` to `0.9.0`
#990
mohammadfawaz
closed
1 week ago
0
Update interface and predicate instance syntax
#989
mohammadfawaz
closed
1 week ago
0
Querying storage variables in abi gen
#988
mohammadfawaz
opened
1 week ago
0
Change jump indices to labels and resolve them later
#987
mohammadfawaz
opened
1 week ago
0
Optimizations related to morphisms
#986
mohammadfawaz
opened
1 week ago
0
Pint playground
#985
mohammadfawaz
opened
1 week ago
0
Allow solution generation from Pint
#984
mohammadfawaz
opened
1 week ago
0
Add intrinsics for most VM opcodes
#983
mohammadfawaz
opened
1 week ago
0
Add a Readme to all the crates that we publish
#982
mohammadfawaz
opened
1 week ago
0
Support the "compute graph" in Pint
#981
mohammadfawaz
opened
1 week ago
0
Introduce "parameterized expressions"
#980
mohammadfawaz
opened
1 week ago
0
Allow storage accesses everywhere
#979
mohammadfawaz
opened
1 week ago
0
Make the Book of Pint versioned
#978
mohammadfawaz
opened
1 week ago
0
Bump pintc to `0.8.0`
#977
mohammadfawaz
closed
1 week ago
0
Upgrade trunk to 1.22.8
#976
github-actions[bot]
closed
1 week ago
0
bump pint-manifest
#975
freesig
closed
2 weeks ago
0
publish
#974
freesig
closed
2 weeks ago
1
It might be enough to make this `manifest::Manifest` instead of using `ManifestFile` (`ManifestFile` derefs to `Manifest` btw).
#973
mohammadfawaz
opened
2 weeks ago
0
Update asm gem with the new memory ops
#972
mohammadfawaz
opened
2 weeks ago
2
Small `macro` updates to the book
#971
mohammadfawaz
closed
2 weeks ago
0
Uncomment sections in the Pint Book about macro splicing and hygienic vars
#970
mohammadfawaz
closed
2 weeks ago
0
Fix macros and `let`.
#969
otrho
closed
2 weeks ago
0
Abi Gen Docs in the Book of Pint
#968
mohammadfawaz
closed
1 week ago
0
Upgrade trunk
#967
github-actions[bot]
closed
2 weeks ago
0
Update `pint new` to also include a test harness
#966
mohammadfawaz
closed
1 week ago
1
Add more `pint` printing flags
#965
mohammadfawaz
closed
2 weeks ago
0
Allow, in the parser, maps to have arrays as keys by handling the token `[[`
#964
mohammadfawaz
closed
3 weeks ago
0
Cannot access a `storage map` with an `alias` for a `union`
#963
lethalgem
closed
2 days ago
2
token `[[` is invalid when accessing storage `maps`
#962
lethalgem
closed
3 weeks ago
0
Fix const addresses in external storage accesses
#961
mohammadfawaz
closed
3 weeks ago
0
Add `--print-parsed` to the `pint` CLI tool
#960
mohammadfawaz
closed
2 weeks ago
0
Add an explicit check for const array initialisers of the wrong dimension.
#959
otrho
closed
3 weeks ago
0
Book updates after redesigning vars and pub vars
#958
mohammadfawaz
closed
3 weeks ago
1
Next