- Committer: rosivaldo.fa
- Date: 2023-04-10 17:16:10 UTC
- Revision ID: rosivaldo.fa@gmail.com-20230410171610-te9yo7gnj9kzkvdi
{STI_PARTITION_SUBSET_FAMILY}.family_with
| Filename | Latest Rev | Last Changed | Committer | Comment | Size | ||
|---|---|---|---|---|---|---|---|
 .. |
|||||||
doc
|
186 | 5 years ago | rosivaldo.fa | Project packaged into self-contained libraries. Do |
|
||
|
EIFGENs
|
186 | 5 years ago | rosivaldo.fa | Project packaged into self-contained libraries. Do |
|
||
|
src
|
161.2.1 | 6 years ago | rosivaldo.fa | let's restart... :-( |
|
||
.bzrignore |
1357 | 2 years ago | rosivaldo.fa | {STI_RATIONAL_NUMBER}.product_overflows | 55 bytes |
|
|
|
addandcommit.cmd |
1691 | 1 year ago | rosivaldo.fa | {STS_PARTITION_SET_FAMILY} heritage from {STS_SET} | 377 bytes |
|
|
|
license.lic |
161.1.1 | 6 years ago | rosivaldo.fa | overall experiment with avoiding catcalls. let's r | 229 bytes |
|
|
|
set_theory.bak.ecf |
294 | 3 years ago | rosivaldo.fa | {STS_ELEMENT}.is_in | 8.4 KB |
|
|
|
set_theory.ecf |
1013 | 3 years ago | rosivaldo.fa | {STI_COMPLEX_NUMBER} regression | 1.4 KB |
|
|
|
st_implementation.ecf |
704 | 3 years ago | rosivaldo.fa | {STS_COMPLEX_NUMBER} heritage from {STS_ELEMENT} | 2.7 KB |
|
|
|
st_properties.ecf |
704 | 3 years ago | rosivaldo.fa | {STS_COMPLEX_NUMBER} heritage from {STS_ELEMENT} | 2.6 KB |
|
|
|
st_props_impl.ecf |
222 | 5 years ago | rosivaldo.fa | some minor refactorings. updated docs. | 4.7 KB |
|
|
|
st_specification.ecf |
689 | 3 years ago | rosivaldo.fa | {STI_SET_TUPLE} metrics | 2.8 KB |
|
|
|
st_tests.ecf |
1547 | 2 years ago | rosivaldo.fa | Trying to allow tests in finalized mode. | 8.9 KB |
|
|