humza/sml-projects
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Commit Graph

  • 9728a1ca25 amend 'make clean' target in bench folder (now removes gap_buffer_seph too) Humza Shahid 2024-05-27 13:35:01 +01:00
  • d6a5055be1 commit bench folder (also committing examples folder but that's kind of broken at this state) Humza Shahid 2024-05-27 13:30:53 +01:00
  • b5c70772fa reorganise repository Humza Shahid 2024-05-27 13:28:09 +01:00
  • 1bc468238e print more benchmark stats in util.sml Humza Shahid 2024-05-26 15:04:12 +01:00
  • c96cbed866 complete correct implementation of delete for gap buffer Humza Shahid 2024-05-26 13:52:12 +01:00
  • 217bf766a9 progress on starting delete function Humza Shahid 2024-05-25 23:47:48 +01:00
  • 01496aa06f 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) Humza Shahid 2024-05-25 15:05:40 +01:00
  • e9339908ef regenerate some data sets (except automerge), putting the contents in modules Humza Shahid 2024-05-25 13:51:02 +01:00
  • b96539d348 refactor function in gap_buffer.sml to make use of two helper functions when inserting into the left/right Humza Shahid 2024-05-25 13:21:14 +01:00
  • 153c66b546 use joinEndOfLeft and joinStartOfRight functions to navigate between nodes in the gap buffer Humza Shahid 2024-05-25 12:56:33 +01:00
  • 54b052c8f5 make gap buffer a little bit faster by trying to join strings less than or equal to targetLength Humza Shahid 2024-05-25 10:49:57 +01:00
  • 008fa90196 add gap buffer implementation which has an insert and a toString function Humza Shahid 2024-05-22 13:52:50 +01:00
  • d9a2933598 code delete-balancing functions for tiny_rope23.sml Humza Shahid 2024-05-22 00:00:52 +01:00
  • d6d518b5b4 fix correctness error in tiny_rope23.sml's ins function (to do with traverseing down the N3 case) Humza Shahid 2024-05-21 17:21:09 +01:00
  • e7edd06e54 fix compile errors in tiny_rope23.sml Humza Shahid 2024-05-21 15:43:22 +01:00
  • 640bc8cc31 finish coding last insert function (insLeaf) Humza Shahid 2024-05-21 13:45:55 +01:00
  • ab6b08f3c9 code insert function for rope (except for the leaf case) Humza Shahid 2024-05-21 13:24:04 +01:00
  • 87d999ba84 update readme with benchmarks Humza Shahid 2024-04-03 18:39:29 +01:00
  • 23ec222404 fix typo in readme, and add line break humzashahid 2024-03-24 13:12:11 +00:00
  • 7ea58a2b38 add performance section to readme humzashahid 2024-03-24 13:10:09 +00:00
  • 14619b63c0 finish readme humzashahid 2024-03-24 12:55:08 +00:00
  • e2b1d2c58c add examples of usage humzashahid 2024-03-24 12:50:57 +00:00
  • c12aaea8c2 add higher order functions to fold through Rope and TinyRope humzashahid 2024-03-24 10:06:26 +00:00
  • a7417d89af change utils.sml to use camelCase (except for svelte_arr/rust_arr/seph_arr/automerge_arr, because I don't want to create a diff for large files humzashahid 2024-03-14 23:35:13 +00:00
  • f5649b4ee9 change utils.sml to run using rope (with line metadata) instead of tiny_rope, and verify that line metadata is correct humzashahid 2024-03-14 23:29:10 +00:00
  • 571b16ba6c add code for deleting from rope.sml humzashahid 2024-03-14 23:05:36 +00:00
  • 8ea6d2c1b7 add 'append' and 'appendLine' functions to rope humzashahid 2024-03-14 12:22:27 +00:00
  • 224226fea8 add toString function in ROPE signature defined in rope.sml humzashahid 2024-03-14 09:38:37 +00:00
  • 3f768bab4e add function to verify line metadata in rope.sml humzashahid 2024-03-14 08:07:12 +00:00
  • e991156a3a code insert function function rope humzashahid 2024-03-14 07:48:33 +00:00
  • 02ec341ecb progress creating a rope (rope.sml) which holds line metadata humzashahid 2024-03-13 09:48:34 +00:00
  • 3e23e1e936 begin rope.sml which is meant to store line metadata humzashahid 2024-03-13 07:37:45 +00:00
  • 21fd98df8b add append function to tiny_rope.sml humzashahid 2024-03-13 06:54:19 +00:00
  • 7bd4fad8e8 remove brackets around one part in delN2Left, making it more consistent with other part humzashahid 2024-03-13 06:37:59 +00:00
  • 84d6dacdeb format rope.sml using smlfmt humzashahid 2024-03-13 06:33:51 +00:00
  • 8177c99ef7 convert snake_case names in rope.sml to camelCase (which is standard convention for Standard ML) humzashahid 2024-03-13 06:20:10 +00:00
  • eadaf05f94 remove smlfmt binary humzashahid 2024-02-15 19:49:37 +00:00
  • f9d3c4a080 amend formatting humzashahid 2024-02-15 19:49:01 +00:00
  • 424acf5603 amend ins_root function, which had some errors when porting over from OCaml humzashahid 2024-02-15 19:46:40 +00:00
  • ebf449205c add delete function to rope.sml humzashahid 2024-02-15 14:05:50 +00:00
  • d5ffb4f762 progress rewriting rope.sml humzashahid 2024-02-15 12:30:48 +00:00
  • f0fc084171 license Humza Shahid 2023-11-14 10:44:52 +00:00
  • 374f89348e remove cached build files from repository Humza Shahid 2023-11-13 09:05:36 +00:00
  • 588e3ccd63 amend .gitignore, so it ignores build files Humza Shahid 2023-11-13 09:04:41 +00:00
  • 137fe24ef5 add to_string function Humza Shahid 2023-11-13 09:03:29 +00:00
  • 6cd3db9104 fix balancing errors Humza Shahid 2023-11-13 06:05:36 +00:00
  • 26cfc01f5c add some util functions Humza Shahid 2023-11-13 05:17:27 +00:00
  • dec2366926 add note to third-party Humza Shahid 2023-11-13 04:43:53 +00:00
  • 08411e7724 generate tuple files for testing Humza Shahid 2023-11-13 04:39:11 +00:00
  • d19b660be5 forgot to write outer delete function before (only 6 lines long), so added it now Humza Shahid 2023-11-13 03:18:35 +00:00
  • 49204dd3f1 implement core operations Humza Shahid 2023-11-13 03:16:56 +00:00
  • 2d00d67a7e add substring operation Humza Shahid 2023-11-13 02:44:27 +00:00
  • 7bd7de01fb init Humza Shahid 2023-11-13 02:07:42 +00:00