Old Revisions

These are the older revisons of the current document. To revert to an old revision, select it from below, click Edit this page and save it.

2026/05/12 10:35 help:scripting – [Global variables] danil +55 B (current)
2025/08/06 07:32 help:scripting – Add details for all essential verification properties danil +121 B
2025/07/30 15:35 help:scripting – [Verification commands] danil +15 B
2025/07/30 13:49 help:scripting – Add checkStgLocalSelfTriggering command danil +107 B
2024/12/18 15:25 help:scripting – danil +6 B
2024/12/18 15:24 help:scripting – Add split commands danil +777 B
2024/11/13 09:16 help:scripting – Add mutex protocol transformation commands danil +359 B
2024/09/02 12:11 help:scripting – danil -2 B
2024/08/29 09:47 help:scripting – [Editor functions] danil -4 B
2024/08/29 09:46 help:scripting – Add editor functions danil +148 B
2023/03/24 20:09 help:scripting – Move attribute modification commands to transformation section danil +599 B
2023/03/21 19:02 help:scripting – old revision restored (2023/03/21 17:02) danil +1 B
2023/03/21 19:01 help:scripting – Wrapper functions for accessing circuit contact methods danil -1 B
2023/03/21 17:02 help:scripting – [Verification commands] danil +296 B
2023/03/21 14:52 help:scripting – Added wrapper functions to access circuit contact info danil +1.5 KB
2023/02/02 10:33 help:scripting – [Basic] danil +8 B
2022/11/17 14:46 help:scripting – [Transformation commands] danil ±0 B
2022/11/16 10:10 help:scripting – [File operations] danil +266 B
2022/09/16 08:15 help:scripting – Added statCircuitRefinement command danil +123 B
2022/07/14 16:51 help:scripting – [File operations] danil +196 B