| Did you know ... | Search Documentation: |
 | Packs (add-ons) for SWI-Prolog |
Package "rtchecks"
| 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 |
Reviews
No reviews. Create the first review!.
Details by download location
| 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 |
rtchecks
Run-Time Checking of Assertions for Ciao and SWI-Prolog
Installation
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.
Contents of pack "rtchecks"
Pack contains 36 files holding a total of 91.5K bytes.
- README.md(406 bytes)
- pack.pl(452 bytes)
- prolog
- compact_pi_list.pl(421 bytes, not a module)
- inliner
- inliner_ops.pl(274 bytes, not a module)
- rtchecks
- NOCOMPILEFILES(39 bytes)
- compact_list.pl(840 bytes)
- examples
- NOCOMPILE(0 bytes)
- rtc_external.pl(574 bytes, not a module)
- rtchecks_disc.pl(218 bytes, not a module)
- rtchecks_example.pl(4.2K bytes, not a module)
- rtchecks_example2.pl(1.5K bytes, not a module)
- rtchecks_example3.pl(619 bytes, not a module)
- rtchecks_inline.pl(496 bytes, not a module)
- rtchecks_basic.pl(8.3K bytes)
- rtchecks_doc.pl(5.4K bytes, not a module)
- rtchecks_flags.pl(1.0K bytes, not a module)
- rtchecks_meta.pl(3.3K bytes)
- rtchecks_rt.pl(2.7K bytes)
- rtchecks_rt_inline.pl(2.2K bytes, not a module)
- rtchecks_rt_library.pl(72 bytes, not a module)
- rtchecks_send.pl(232 bytes)
- rtchecks_tr.pl(35.2K bytes)
- rtchecks_tr_inline.pl(812 bytes, not a module)
- rtchecks_tr_library.pl(214 bytes, not a module)
- rtchecks_utils.pl(7.6K bytes)
- term_list.pl(1.4K bytes)
- rtchecks.pl(363 bytes, not a module)
- swi
- ctchecks.pl(5.0K bytes)
- rtchecks.pl(627 bytes)
- rtchecks_lib.pl(183 bytes)
- varnames
- apply_dict.pl(2.7K bytes)
- complete_dict.pl(1.7K bytes)
- dict_types.pl(537 bytes)
- pretty_names.pl(497 bytes)
- tests
- ctcex.pl(400 bytes)
- ctchecks.plt(1.3K bytes)