Skip to content

Commit

Permalink
[FunC] Bump FunC version to v0.5.0
Browse files Browse the repository at this point in the history
  • Loading branch information
unserialize committed Jun 14, 2024
1 parent caf8a18 commit 8d38799
Show file tree
Hide file tree
Showing 17 changed files with 19 additions and 4 deletions.
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
// Standard library for funC
//
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
1 change: 1 addition & 0 deletions crypto/func/auto-tests/legacy_tests/config/stdlib.fc
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
1 change: 1 addition & 0 deletions crypto/func/auto-tests/legacy_tests/elector/stdlib.fc
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
// Standard library for funC
//
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
1 change: 1 addition & 0 deletions crypto/func/auto-tests/legacy_tests/storage/stdlib.fc
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
// Standard library for funC
//
#pragma version >=0.5.0;

/*
# Tuple manipulation primitives
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
1 change: 1 addition & 0 deletions crypto/func/auto-tests/legacy_tests/wallet-v4/stdlib.fc
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
;; Standard library for funC
;;
#pragma version >=0.5.0;

forall X -> tuple cons(X head, tuple tail) pure asm "CONS";
forall X -> (X, tuple) uncons(tuple list) pure asm "UNCONS";
Expand Down
2 changes: 1 addition & 1 deletion crypto/func/func.h
Original file line number Diff line number Diff line change
Expand Up @@ -45,7 +45,7 @@ extern std::string generated_from;

constexpr int optimize_depth = 20;

const std::string func_version{"0.4.4"};
const std::string func_version{"0.5.0"};

enum Keyword {
_Eof = -1,
Expand Down
6 changes: 3 additions & 3 deletions crypto/smartcont/stdlib.fc
Original file line number Diff line number Diff line change
@@ -1,6 +1,3 @@
// Standard library for funC
//

/*
This file is part of TON FunC Standard Library.

Expand All @@ -14,7 +11,10 @@
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU Lesser General Public License for more details.

Note, that currently stdlib.fc is distributed as a standalone file,
but since FunC v0.6.0 it will be a part of FunC installation.
*/
#pragma version >=0.5.0;

/*
# Tuple manipulation primitives
Expand Down

0 comments on commit 8d38799

Please sign in to comment.