crc
|
cfd4e9ea15
|
floating point: increase precision in f:E and f:PI
FossilOrigin-Name: bd213f06612c3c2c2a71cb1bce2fe55d991ef8801f81152e354981f407602c5b
|
2021-05-31 00:14:34 +00:00 |
|
crc
|
98a6a30db9
|
interfaces/floatingpoint: smaller io:float-operation
FossilOrigin-Name: 05a362eea49314fe8f9d942c773be1685d845166a48f0201bfbd2e7af16829aa
|
2021-04-19 17:37:16 +00:00 |
|
crc
|
6a4aaf8eac
|
prefix: namespace is now sigil:, rename words, update examples, update docs
FossilOrigin-Name: 25cf19660ab7728d7bfee2722ea826a8a438faf92b2504b28d922d2958906aed
|
2021-03-30 11:58:25 +00:00 |
|
crc
|
b05806fcd8
|
slightly tighter implementation of some of the pipe related words in unix:
FossilOrigin-Name: 76a678bb6dfe3f52833082d02352b4b8de871d76da6d32ccf49a0dea054ad697
|
2020-11-30 18:47:06 +00:00 |
|
crc
|
9c094e91b8
|
io: floatingpoint, small tweaks to reduce size, remove unnecessary overhead
FossilOrigin-Name: 168427b891e1327a281be3d188a9fa60981c7e412633436906f87e8c6c701a78
|
2020-11-23 20:25:07 +00:00 |
|
crc
|
e4eb91eb79
|
io devices: reduce memory usage
FossilOrigin-Name: 0787996383d82ab30c7b62dc4adf38c8360c6849f8e3b9d23f9e788d2d5322c7
|
2020-11-19 19:33:47 +00:00 |
|
crc
|
13f11bb4ce
|
docs: add missing entries to glossary
FossilOrigin-Name: e7a4233ed04368230bf315a076bdb3f105fff28f352a28a17b0efc755deebae8
|
2020-10-01 13:45:20 +00:00 |
|
crc
|
ef9bedc247
|
interfaces: work on commenting the floating point (forth) code
FossilOrigin-Name: dbcc2a7584eba163dce2082a0c926addf5b300e98cb4c642017f3612114060b9
|
2020-09-16 20:01:24 +00:00 |
|
crc
|
e3be3a016a
|
interfaces: io:float-operation rename to float:operation
FossilOrigin-Name: b55987b144e1e3f9a76d7155b4838795a4da311d36b580b6242d64c636928449
|
2020-09-16 19:50:53 +00:00 |
|
crc
|
2deb870e60
|
interfaces: various updates
FossilOrigin-Name: 7a7f047431c56d94272e54fe7380ab427a76ef8b067fcdf1131bf5d0d0952d7f
|
2019-12-09 19:37:26 +00:00 |
|
crc
|
ea8e12d32a
|
finish reorg of main sources
FossilOrigin-Name: 6a7ee82ed6b024ee1d8f7a51a9b91a66a8041cde06b53cce649d6bd383ae9677
|
2019-11-22 18:30:02 +00:00 |
|