Adrian Mariano
|
c1782f1113
|
added no_children checks, and attachable to vnf_polyhedron
|
2020-08-27 19:25:41 -04:00 |
|
Garth Minette
|
b5d465cf1e
|
docs_gen.py now shows more docs errors.
|
2020-07-27 15:15:34 -07:00 |
|
Revar Desmera
|
6ec3ce1556
|
Bugfix for suffix() when len is longer than the string length.
|
2020-06-15 01:24:57 -07:00 |
|
Revar Desmera
|
e2c0d6dc98
|
Bugfix for fmt_int() found by creating regressions.
|
2020-06-14 23:53:10 -07:00 |
|
Revar Desmera
|
53c1e25395
|
Standardize indention on spaces, not tabs.
|
2020-05-29 19:04:34 -07:00 |
|
Revar Desmera
|
608bde9077
|
Formatting fix for str_format() docs.
|
2020-03-14 04:26:38 -07:00 |
|
Revar Desmera
|
8879b7a4d9
|
Added str_format(), echofmt(), is_letter(), is_digit(), is_hexdigit(), is_upper(), is_lower(), fmt_fixed(). Renamed fmti() to fmt_int(), and fmtf() to fmt_float().
|
2020-03-14 04:23:33 -07:00 |
|
Revar Desmera
|
6433ebaa82
|
Fix fmti() for very large numbers around 1e15
|
2020-03-05 03:28:41 -08:00 |
|
Revar Desmera
|
39fc4bffb5
|
fmtf() assert was in wrong place.
|
2020-03-05 02:11:43 -08:00 |
|
Revar Desmera
|
05405564b4
|
Typo fix.
|
2020-03-05 02:08:50 -08:00 |
|
Revar Desmera
|
9b87420c12
|
Fixed bug in fmtf()
|
2020-03-05 02:07:35 -08:00 |
|
Revar Desmera
|
7c3f913050
|
Fixed error in results of fmtf(0.01)
|
2019-11-11 11:26:18 -08:00 |
|
Revar Desmera
|
54246a154d
|
Added str_strip*() functions. Added fmti() and fmtf() number formating functions.
|
2019-07-05 04:25:55 -07:00 |
|
Adrian Mariano
|
aa31fb9ddd
|
Changed str_frac() to take mixed fractions with mixed, improper and signed flag options.
|
2019-06-23 12:51:43 -04:00 |
|
Adrian Mariano
|
e3be9a3b5b
|
Combined str_matches and str_match and added start parameter.
|
2019-06-22 14:50:01 -04:00 |
|
Adrian Mariano
|
60be226e85
|
Added 3 examples to roundcorners.
Added doc text for list_increasing and list_decreasing.
Added str_match, str_matches, starts_width, ends_width.
Fixed substr to use tail recursion.
|
2019-06-22 13:33:49 -04:00 |
|
adrianVmariano
|
77f1855810
|
Add files via upload
|
2019-06-11 21:55:39 -04:00 |
|