Commit Graph

613 Commits

Author SHA1 Message Date
Aaron Blankstein
3ae098e244 perf: improvements in clarity analysis
* cow/arcing tuple types and refactoring some checks in analyzer
2024-06-25 14:46:50 -05:00
Brice Dobry
cf01028d65 Merge pull request #4791 from stacks-network/feat/sqlite-feature-flag
Make rusqlite optional
2024-05-17 17:39:47 +00:00
Brice Dobry
890f07cd1d test: check more variable reuse scenarios 2024-05-15 08:18:02 -04:00
Brice Dobry
2b4b1c14bf feat: handle tenure-height with at-block before epoch 3.0
Also including some other improvements from PR review.
2024-05-14 16:48:42 -04:00
Hugo Caillard
eefaeb7460 refactor: revert trailing spaces changes 2024-05-14 19:24:34 +02:00
Hugo Caillard
cb5802f381 refactor: revert trailing spaces changes 2024-05-14 19:18:07 +02:00
Hugo Caillard
2eec4e17e1 refactor: cargo fmt-stacks 2024-05-14 18:45:39 +02:00
Hugo Caillard
ec8771f037 fix: add the canonical cargo feature to clarity/testing 2024-05-14 17:56:44 +02:00
Hugo Caillard
a2ba82e241 fix: stacks-common dependency features 2024-05-14 17:48:29 +02:00
Hugo Caillard
11fb999e2a feat: add a canonical feature in stacks-common and in clarity 2024-05-14 17:19:03 +02:00
Hugo Caillard
d271d14c60 refactor: move rusqlite related code to clarity_src/vm/database/sqlite.rs 2024-05-14 15:44:53 +02:00
Brice Dobry
302af761b7 refactor: make tenure height key a constant 2024-05-09 13:57:09 -04:00
Brice Dobry
117c41cf76 fix: finish resolving issues with previous changes 2024-05-08 14:54:15 -04:00
Brice Dobry
aef35a1a57 refactor: move lookup_by_name_at_version into the macro
Instead of defining it separately in each of several different types,
just add this method to the macro. h/t @kantai's review suggestion.
2024-05-08 12:44:35 -04:00
Brice Dobry
1d7464f88e test: check handling of block height keywords across versions 2024-05-08 12:02:17 -04:00
Brice Dobry
02e3d89a15 feat: add analysis error for use of block-height in Clarity 3 2024-05-08 12:00:45 -04:00
Brice Dobry
7a63f899e8 chore: address simple review comments 2024-05-07 22:16:09 -04:00
Brice Dobry
2dc5bc3c41 fix: update tests 2024-05-07 01:44:04 -04:00
Brice Dobry
741726e676 fix: setup tenure height in test environments 2024-05-07 01:02:07 -04:00
Brice Dobry
d8ee58efef feat: simplify tenure-height implementation
With this commit, undo the MARF changes following the mechanism used for
`block-height` and replace it with a Clarity based solution.
2024-05-07 00:24:09 -04:00
Brice Dobry
7763df2782 fix: set clarity version when building boot contracts' docs 2024-05-05 20:05:12 -04:00
Brice Dobry
6953194de6 fix: update tests for Clarity 3 2024-05-04 11:23:55 -04:00
Brice Dobry
a51579a1b2 Merge branch 'develop' into feat/stacks-block-height 2024-05-03 23:28:03 -04:00
Brice Dobry
9f523d6811 fix: update tests to handle Clarity 3 2024-05-03 23:26:24 -04:00
Brice Dobry
02ec34a761 feat: better way to store/retrieve tenure height 2024-05-03 16:43:40 -04:00
Brice Dobry
134afd3696 feat: add tenure height to block_headers table
Handle the `tenure-height` keyword in Clarity3, and using the same logic
for `block-height` in Clarity 1 or 2.
2024-05-02 23:23:19 -04:00
Brice Dobry
5a91bdc13b feat: block-height -> stacks-block-height
`block-height` can no longer be used in Clarity 3 and above and will
cause an analysis error. In its place is `stacks-block-height`.
2024-04-30 14:42:47 -04:00
obycode
4e9e47fd66 Merge branch 'master' into develop 2024-04-26 17:16:42 -04:00
Brice Dobry
807d54c07a feat: add max version for builtins
In addition to specifying a minimum version, when a builtin is first
available, we can now also specify a maximum version, after which the
builtin is no longer available. This is needed for `block-height`, which
will not be available starting in Clarity 3.
2024-04-22 16:43:01 -04:00
Brice Dobry
9b1faf52bf docs: add docs for stacks-block-height and tenure-height
Also update the docs for `block-height` to explain its removal in
Clarity 3.
2024-04-22 16:43:01 -04:00
Brice Dobry
619d26e1dd feat: initial changes to support Clarity 3 2024-04-22 16:43:01 -04:00
wileyj
63bafb0180 Adjust comment for correct version 2024-04-20 14:54:56 -07:00
Aaron Blankstein
809c5fecc0 fix: .expect_result must try, regression from 2.4.0.1.0 2024-04-20 10:31:04 -05:00
bestmike007
96d68e4405 chore: properly handle context rollback for eval readonly 2024-04-19 16:33:13 +00:00
Aaron Blankstein
aab1ffb60c feat: more efficient tuple types, reduce type map tracking overhead 2024-04-02 11:45:00 -05:00
ASuciuX
9d97913b3c format it 2024-03-26 14:35:37 +02:00
ASuciuX
0ff3ccbbd8 added the mutants from PR #4483 2024-03-26 14:24:59 +02:00
Aaron Blankstein
c50a93088d refactor: address PR review comments 2024-03-19 20:33:52 -05:00
ASuciuX
80adc2762c Merge pull request #4530 from ASuciuX/chore/remove-boxing-of-symbolicexpression
Chore: Remove `Box`ing of `SymbolicExpression`s
2024-03-19 13:09:44 +00:00
saralab
05d2bf1828 Merge pull request #4520 from stacks-network/feat/allow-private-func-to-return-any-value
feat: return any value type from `execute_contract_allow_private`
2024-03-15 13:54:23 +00:00
Brice Dobry
e9404a5ff3 Merge pull request #4537 from stacks-network/fix/expected-size-debug
fix: correct deserialization size check
2024-03-13 17:32:38 +00:00
Brice Dobry
238a099ba9 fix: correct deserialization size check
This fixes the condition controlling a debug message related to value
sanitization.
2024-03-13 12:49:37 -04:00
Hugo Caillard
929bf1b577 chore: add comment 2024-03-13 17:36:36 +01:00
Hugo Caillard
fdf193554e refactor: add a new 'devtools' feature in clarity crate 2024-03-13 16:44:02 +01:00
ASuciuX
462356c76d feat: remove boxing of 'PreSymbolicExpression' strutrure 2024-03-13 14:33:56 +02:00
ASuciuX
93a918d4ab chore: remove boxing of 'SymbolicExpression's 2024-03-13 03:28:13 +02:00
Hugo Caillard
99b54f5f62 fix: feature flag allow_private to return any value 2024-03-12 11:27:37 +01:00
Hugo Caillard
deaeeb518b feat: return any value type from execute_contract_allow_private 2024-03-11 22:33:48 +01:00
ASuciuX
59d7907ee1 feat: rename 'get'/'put' methods in clarity to 'get_data'/'put_data' 2024-03-11 13:53:42 +02:00
Jeff Bencin
c4278f6021 Merge pull request #4500 from jbencin/chore/optimize-traits-resolver
chore: Optimize`TraitsResolver`
2024-03-09 04:26:20 +00:00