Did you know ... | Search Documentation: |
![]() | Packs (add-ons) for SWI-Prolog |
Title: | Run-Time Checker for Assertions |
---|---|
Rating: | Not rated. Create the first rating! |
Latest version: | 0.0.1 |
SHA1 sum: | fa934adcf4e6b4c95038bd2ee38430274cdc9c41 |
Author: | Edison Mera Menendez http://www.edisonm.com/ |
Maintainer: | Edison Mera Menendez http://www.edisonm.com/ |
Packager: | Edison Mera Menendez http://www.edisonm.com/ |
Home page: | https://github.com/edisonm/rtchecks |
Download URL: | https://github.com/edisonm/rtchecks.git |
Requires: | assertions |
No reviews. Create the first review!.
Version | SHA1 | #Downloads | URL |
---|---|---|---|
0.0.1 | 1395d309ebff7267788b8030507de8882d345bb3 | 1 | https://github.com/edisonm/rtchecks.git |
1f77a83f739b710e47359398802d61e079cbdaf1 | 1 | https://github.com/edisonm/rtchecks.git | |
3be55886858306d88d1a38f9f144a5cb167d0324 | 1 | https://github.com/edisonm/rtchecks.git | |
46624e6b699baf27bf4ae5a45957fa36ad7c10ca | 1 | https://github.com/edisonm/rtchecks.git | |
53a8bd1326b858b39f6df485935bbe7640a0cf44 | 4 | https://github.com/edisonm/rtchecks.git | |
5aa7bda06b148eb3dac65649898df3e45d370071 | 3 | https://github.com/edisonm/rtchecks.git | |
77b4499f4ea0e1df77a678269cba62570525de4e | 2 | https://github.com/edisonm/rtchecks.git | |
77dd8f9d6275336e4d0effc9b0824ae68faf3429 | 1 | https://github.com/edisonm/rtchecks.git | |
7f311777e045bc3929673c6df4ed086cf82e9fd7 | 1 | https://github.com/edisonm/rtchecks.git | |
886dfae030252e670e57d1b5eb9be8332222712a | 1 | https://github.com/edisonm/rtchecks.git | |
8daa9d1c76b8233abc6b03aadf56098071adde31 | 1 | https://github.com/edisonm/rtchecks.git | |
94917a83c0059fb2ed3584b90142a9c27da27784 | 1 | https://github.com/edisonm/rtchecks.git | |
9714c8856364a90efe5410f6e96bdbec7942f203 | 1 | https://github.com/edisonm/rtchecks.git | |
9867b86f71e0cdbda67ee6ac7fbd82ce487dba59 | 2 | https://github.com/edisonm/rtchecks.git | |
9b0ffa2c09227deba213b0371738e1ac7c96b4d2 | 1 | https://github.com/edisonm/rtchecks.git | |
a5b0d1b27e4b2702c4401bb960e14cbd7d4fe4df | 3 | https://github.com/edisonm/rtchecks.git | |
a874149f0690d905360ff665b325399a027cca84 | 1 | https://github.com/edisonm/rtchecks.git | |
b0fb43fe48939720248e83af6aaea073bf02dc14 | 1 | https://github.com/edisonm/rtchecks.git | |
ccc56d9c11c4b4a7604e1bef71b2a1b99990458d | 1 | https://github.com/edisonm/rtchecks.git | |
d2d0947528e939dbcb51d3b4fb1112f55004c225 | 1 | https://github.com/edisonm/rtchecks.git | |
d671341e8b29479b8aefcd3e81ccc6156e3eccc3 | 3 | https://github.com/edisonm/rtchecks.git | |
e359ff6d75bc43904484f28722d72ce7b65729c1 | 1 | https://github.com/edisonm/rtchecks.git | |
e9a4920c62a84dc8b5428aae825a65c05fbd1473 | 3 | https://github.com/edisonm/rtchecks.git | |
fa934adcf4e6b4c95038bd2ee38430274cdc9c41 | 1 | https://github.com/edisonm/rtchecks.git |
Run-Time Checking of Assertions for Ciao and SWI-Prolog
To install the Run-Time checker of assertions, just follow the next sequence of commands in your SWI-Prolog shell:
$ swipl
?- pack_install('https://github.com/edisonm/rtchecks.git')
.
true.
In Ciao the Run-Time checker is already part of the system so you don't need extra steps to install it.
Pack contains 36 files holding a total of 91.5K bytes.