humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
176 Commits 1 Branch 0 Tags
d6e119a161d1ede6bfb0fec32731a73e21ef553b
Go to file
Clone
Open with VS Code Open with VSCodium Open with Intellij IDEA
Download ZIP Download TAR.GZ Download BUNDLE
Humza Shahid d6e119a161 fix bug in line_gap.sml's 'deleteRightFromHere' function: when we reach end of buffer, return with current index and current line instead of setting these to 0, and return input leftString and leftLines when we reach the end, instead of an empty list for these fields, because all of our text content is in those values and it would disappear if we return empty lists instead
2025-09-22 15:06:36 +01:00
bench
begin implementation of gap_map.sml
2025-02-12 01:51:39 +00:00
data-sets
organise repository a little bit
2024-06-30 00:07:45 +01:00
examples
commit bench folder (also committing examples folder but that's kind of broken at this state)
2024-05-27 13:30:53 +01:00
src
fix bug in line_gap.sml's 'deleteRightFromHere' function: when we reach end of buffer, return with current index and current line instead of setting these to 0, and return input leftString and leftLines when we reach the end, instead of an empty list for these fields, because all of our text content is in those values and it would disappear if we return empty lists instead
2025-09-22 15:06:36 +01:00
tests
verify that all known bugs have been fixed and that none of the datasets give any issues with string contents or line metadata
2024-07-20 01:23:38 +01:00
.DS_Store
format rope.sml using smlfmt
2024-03-13 06:33:51 +00:00
.gitignore
add benchmark files for line_gap.sml and adjust the Makefile in /bench/ directory to use them
2024-07-21 00:45:37 +01:00
LICENSE
amend bug resulting from previous refactoring (don't know origin of bug but I pressed undo in my editor and did the refactoring again, and this time all tests passed)
2024-05-25 15:05:40 +01:00
README.md
reorganise repository
2024-05-27 13:28:09 +01:00

README.md

Brolib-sml

Introduction

Implementations of various data structures for manipulating text (inserting into the data structure and removing from it).

Currently experimenting; not for public use.

Reference in New Issue View Git Blame Copy Permalink
Description
No description provided
Readme 88 MiB
Languages
Standard ML 96%
C 4%