Anton Trunov
Compilers, formal verification
Pull Requests
630
Code Reviews
2,662
Top Repositories
Activity Feed (latest 50)
deleted branch dependabot/npm_and_yarn/typescript-eslint/parser-8.35.1 at tact-lang/tact
Jul 1, 2025, 3:32 PM
pushed to main in tact-lang/tact
Jul 1, 2025, 3:32 PM
merged a pull request in tact-lang/tact
Jul 1, 2025, 3:32 PM
deleted branch dependabot/npm_and_yarn/knip-5.61.3 at tact-lang/tact
Jul 1, 2025, 3:32 PM
pushed to main in tact-lang/tact
Jul 1, 2025, 3:32 PM
merged a pull request in tact-lang/tact
Jul 1, 2025, 3:32 PM
deleted branch 111-bump-toncrypto-from-320-to-330 at tact-lang/tact-template
Jul 1, 2025, 2:36 PM
pushed to main in tact-lang/tact-template
Jul 1, 2025, 2:36 PM
closed an issue in tact-lang/tact-template
Jul 1, 2025, 2:36 PM
merged a pull request in tact-lang/tact-template
Jul 1, 2025, 2:36 PM
deleted branch 3439-bump-tonsandbox-from-0322-to-0330 at tact-lang/tact
Jun 30, 2025, 10:06 AM
closed an issue in tact-lang/tact
Jun 30, 2025, 10:06 AM
pushed to main in tact-lang/tact
Jun 30, 2025, 10:06 AM
merged a pull request in tact-lang/tact
Jun 30, 2025, 10:06 AM
reviewed a pull request in tact-lang/tact
Jun 30, 2025, 10:06 AM
pushed to main in tact-lang/web-ide
Jun 30, 2025, 10:05 AM
merged a pull request in tact-lang/web-ide
Jun 30, 2025, 10:05 AM
reviewed a pull request in tact-lang/web-ide
Jun 30, 2025, 10:05 AM
pushed to main in tact-lang/tact-template
Jun 30, 2025, 10:04 AM
closed an issue in tact-lang/tact-template
Jun 30, 2025, 10:04 AM
merged a pull request in tact-lang/tact-template
Jun 30, 2025, 10:04 AM
deleted branch fix-standard-representation at tact-lang/tact
Jun 30, 2025, 10:03 AM
closed an issue in tact-lang/tact
Jun 30, 2025, 10:03 AM
pushed to main in tact-lang/tact
Jun 30, 2025, 10:03 AM
merged a pull request in tact-lang/tact
Jun 30, 2025, 10:03 AM
reviewed a pull request in tact-lang/tact
Jun 30, 2025, 9:21 AM
commented on pull request tact-lang/tact#3442
Jun 30, 2025, 9:20 AM
deleted branch 106-bump-toncore-from-0601-to-0610 at tact-lang/tact-template
Jun 26, 2025, 1:14 PM
closed an issue in tact-lang/tact-template
Jun 26, 2025, 1:14 PM
pushed to main in tact-lang/tact-template
Jun 26, 2025, 1:14 PM
closed an issue in tact-lang/tact-template
Jun 26, 2025, 1:14 PM
merged a pull request in tact-lang/tact-template
Jun 26, 2025, 1:14 PM
deleted branch dependabot/npm_and_yarn/allure-jest-3.3.0 at tact-lang/tact
Jun 24, 2025, 8:01 AM
pushed to main in tact-lang/tact
Jun 24, 2025, 8:01 AM
merged a pull request in tact-lang/tact
Jun 24, 2025, 8:01 AM
deleted branch dependabot/npm_and_yarn/typescript-eslint/parser-8.35.0 at tact-lang/tact
Jun 24, 2025, 8:01 AM
pushed to main in tact-lang/tact
Jun 24, 2025, 8:01 AM
merged a pull request in tact-lang/tact
Jun 24, 2025, 8:01 AM
closed an issue in tact-lang/tact
Jun 20, 2025, 6:54 AM
deleted branch closes-1156/re-entrancy at tact-lang/tact
Jun 20, 2025, 6:54 AM
closed an issue in tact-lang/tact
Jun 20, 2025, 6:54 AM
pushed to main in tact-lang/tact
Jun 20, 2025, 6:54 AM
merged a pull request in tact-lang/tact
Jun 20, 2025, 6:54 AM
pushed to closes-1156/re-entrancy in tact-lang/tact
Jun 20, 2025, 6:51 AM
commented on pull request tact-lang/tact#3375
Jun 20, 2025, 6:50 AM
reviewed a pull request in tact-lang/tact
Jun 20, 2025, 6:50 AM
deleted branch closes-2916/bounced-are-not-free at tact-lang/tact
Jun 20, 2025, 6:43 AM
pushed to main in tact-lang/tact
Jun 20, 2025, 6:43 AM
closed an issue in tact-lang/tact
Jun 20, 2025, 6:43 AM
merged a pull request in tact-lang/tact
Jun 20, 2025, 6:43 AM