a04f6ec | Jan de Muijnck-Hughes | 22 May 2020, 09:03:53 UTC | Merge pull request #29 from farrellm/fix/master/redblack-dependent Add proofs for red-black properties and black height. | 22 May 2020, 09:03:53 UTC |
d5c0775 | Jan de Muijnck-Hughes | 22 May 2020, 09:03:13 UTC | Merge pull request #28 from farrellm/fix/master/redblack-kv Update Data.RedBlack.Tree to use key-value pairs | 22 May 2020, 09:03:13 UTC |
8bfa051 | Jan de Muijnck-Hughes | 22 May 2020, 08:55:58 UTC | updated testing hook. | 22 May 2020, 08:59:01 UTC |
5672de4 | Jan de Muijnck-Hughes | 20 May 2020, 15:32:59 UTC | nothing to see. | 20 May 2020, 15:32:59 UTC |
b416344 | Jan de Muijnck-Hughes | 31 March 2020, 09:24:11 UTC | Fixes #36 --- Work around for exporting issues. When I refactored the AVL code to extract the Tree data structure as a standalone module. I may have screwed up the visibility of terms which were catched during erasure. I am not sure if this is an Idris or PEBKAC. This fix should fix it. | 31 March 2020, 09:35:28 UTC |
fe666f4 | Jan de Muijnck-Hughes | 19 March 2020, 15:15:24 UTC | Some updates. + New data structures for dealing intrinsicly with Lists + New predicates for pairs + New data structure for dealing with vects. + Decidable error for error reporting. | 19 March 2020, 15:15:24 UTC |
7a223b6 | Jan de Muijnck-Hughes | 04 August 2019, 12:06:44 UTC | updated DList. | 04 August 2019, 12:06:44 UTC |
ecb3910 | Jan de Muijnck-Hughes | 01 August 2019, 15:26:14 UTC | New functions to read and update DVect. | 01 August 2019, 15:26:14 UTC |
02438aa | Jan de Muijnck-Hughes | 31 July 2019, 19:47:38 UTC | Reorder AVL based structures. + Spun out underlying Tree data structure to allow it's use outside of AVL realisation. + Reorganised internals to promote better maintainence burden. + Renamed predicates so that they are consistent and namespace naming is more intuative for auto complete systems. | 31 July 2019, 19:47:38 UTC |
080ad61 | Jan de Muijnck-Hughes | 31 July 2019, 18:52:55 UTC | Spin out tests to separate package. | 31 July 2019, 18:52:55 UTC |
0cc4f11 | Jan de Muijnck-Hughes | 31 July 2019, 18:52:32 UTC | Add more list functions, and `isElem` for DList. | 31 July 2019, 18:52:32 UTC |
0902a4f | Jan de Muijnck-Hughes | 30 July 2019, 09:08:11 UTC | More list functions + moved filter and leftpad into a new home. + Added more proof producing versions of suffix and prefix for lists. | 30 July 2019, 09:08:11 UTC |
475f90a | Jan de Muijnck-Hughes | 30 July 2019, 08:38:18 UTC | Changes + improved API for DList + extended API for DVect + Made slight modifications to Filter. + Added new deciable equality interface for indexed data structure. | 30 July 2019, 08:42:13 UTC |
99f7149 | Jan de Muijnck-Hughes | 30 June 2019, 19:59:24 UTC | fix error. | 30 June 2019, 19:59:55 UTC |
707505f | Jan de Muijnck-Hughes | 02 May 2019, 13:00:29 UTC | Updates | 02 May 2019, 13:00:29 UTC |
6365b0b | Jan de Muijnck-Hughes | 01 May 2019, 15:42:11 UTC | New data structures. + Moved some predicates to own sub modules. Some could be migrated to own top level modules in my own Data heirarchy. + Added an implementation for a bounded vector. + Added filter + Added a left pad instance. | 01 May 2019, 15:42:11 UTC |
a0856fe | Jan de Muijnck-Hughes | 13 November 2018, 20:23:42 UTC | Adjust access modifiers to for proof search. | 13 November 2018, 20:23:42 UTC |
1052d2f | Jan de Muijnck-Hughes | 13 November 2018, 15:46:09 UTC | Added quantifiers for AVLTrees with KVPairs. No decision procedures exist...yet. Quantifiers for Dict have not been added, too lazy. | 13 November 2018, 15:46:09 UTC |
b946ac4 | Jan de Muijnck-Hughes | 11 November 2018, 16:57:49 UTC | Reworking internals for AVL Tree based data types. 1. Moved `Tree` to AVL. 1. Introduced several predicates operating over Data types acting on AVL Tree (not graph). | 11 November 2018, 16:58:55 UTC |
5cce3c0 | Jan de Muijnck-Hughes | 03 October 2018, 16:04:21 UTC | Merge pull request #31 from jfdm/algebraic-graphs Algebraic graphs | 03 October 2018, 16:04:21 UTC |
890c9d9 | Jan de Muijnck-Hughes | 03 October 2018, 16:00:51 UTC | Improved API definitions added hasVertex predicate. | 03 October 2018, 16:00:51 UTC |
9ee4763 | Jan de Muijnck-Hughes | 03 October 2018, 15:27:26 UTC | Initial commit of Algebraic Graphs. Algebraic Graphs represent graphs as an algebra. This makes creating and using graphs more interesting. Performance of such graphs in a strict language might be interesting. I suspect lazy annotations will be required at somepoint, and interestingly would be the use of Predicates and covering functions. https://github.com/snowleopard/alga | 03 October 2018, 15:27:26 UTC |
a66fb71 | Jan de Muijnck-Hughes | 22 June 2018, 12:40:03 UTC | Removed dependancy on an old testing package. | 22 June 2018, 12:40:03 UTC |
677596e | Jan de Muijnck-Hughes | 22 June 2018, 12:32:52 UTC | removed nix stuff. | 22 June 2018, 12:32:52 UTC |
dffd19b | Jan de Muijnck-Hughes | 07 June 2018, 18:47:21 UTC | replace nix based testing wiht macOS + homebrew | 07 June 2018, 18:52:17 UTC |
ebb336a | Jan de Muijnck-Hughes | 07 June 2018, 18:41:41 UTC | Fix nix command used for testing. | 07 June 2018, 18:41:41 UTC |
7c66edd | Jan de Muijnck-Hughes | 07 June 2018, 18:33:14 UTC | Added installation guide. | 07 June 2018, 18:33:14 UTC |
fb96aaa | Jan de Muijnck-Hughes | 13 February 2018, 15:48:29 UTC | Make work with latest idris. | 13 February 2018, 15:48:29 UTC |
e46b154 | Jan de Muijnck-Hughes | 22 November 2017, 08:57:40 UTC | New functions for PList. | 22 November 2017, 08:57:40 UTC |
0ad76b6 | Matthew Farrell | 22 October 2017, 03:17:52 UTC | Add proofs for red-black properties and black height. | 22 October 2017, 03:34:52 UTC |
3807578 | Matthew Farrell | 13 October 2017, 21:05:24 UTC | Update Data.RedBlack.Tree to use key-value pairs Update Data.RedBlack.Tree to use key-value pairs. Also adds a new Data.RedBlack.BTree module for trees with values of type Unit, to be used in place of the old Tree type. Updates RedBlack tests to use the new BTree type. | 13 October 2017, 21:05:24 UTC |
742f13c | Jan de Muijnck-Hughes | 12 July 2017, 09:35:21 UTC | More helpers for lists. | 13 July 2017, 10:41:04 UTC |
d700414 | Jan de Muijnck-Hughes | 06 July 2017, 14:31:07 UTC | Improvements to PList. | 10 July 2017, 21:05:42 UTC |
b8d87a3 | Jan de Muijnck-Hughes | 06 July 2017, 14:30:57 UTC | Improvements to DList. | 06 July 2017, 14:30:57 UTC |
c251d7c | Jan de Muijnck-Hughes | 05 July 2017, 09:34:12 UTC | Improved accuracy of API for DList. | 05 July 2017, 09:34:12 UTC |
b6e38fe | Jan de Muijnck-Hughes | 27 June 2017, 11:00:49 UTC | Make testing happen again. The CI testing doesn't link to an installed package for testing, rather it uses a fresh build added to the idrispath. Make separate ipkg file for local testing. | 28 June 2017, 13:16:53 UTC |
e48818a | Jan de Muijnck-Hughes | 27 June 2017, 10:50:20 UTC | Updates to DList. | 27 June 2017, 10:50:20 UTC |
fb4ae1c | Merlin Göttlinger | 28 March 2017, 08:33:06 UTC | Added tests to the Functor/Traversable instances | 28 March 2017, 10:40:12 UTC |
c687b68 | Merlin Göttlinger | 20 March 2017, 08:42:55 UTC | Implement Functor, Foldable & Traversable | 28 March 2017, 10:35:18 UTC |
80c5fc2 | Jan de Muijnck-Hughes | 28 March 2017, 07:30:11 UTC | Merge pull request #25 from jackolantern/jackolantern-fix-typo Fixed typo. | 28 March 2017, 07:30:11 UTC |
597cd77 | John Connor | 27 March 2017, 22:03:31 UTC | Update README.org Changed phrasing. | 27 March 2017, 22:13:39 UTC |
6f9d30f | John Connor | 26 March 2017, 21:40:20 UTC | Fixed typo. | 26 March 2017, 21:40:20 UTC |
904b677 | Jan de Muijnck-Hughes | 20 March 2017, 13:44:23 UTC | Added travis badge | 20 March 2017, 13:44:23 UTC |
92b3904 | Jan de Muijnck-Hughes | 20 March 2017, 12:46:48 UTC | Initial commit of travis job. | 20 March 2017, 13:22:33 UTC |
7371623 | Jan de Muijnck-Hughes | 20 March 2017, 12:45:26 UTC | Fixed Failing Queue Test | 20 March 2017, 13:12:06 UTC |
67ee4c5 | Raine Revere | 07 February 2017, 03:35:18 UTC | Added dependencies folder to gitignore. | 20 March 2017, 13:12:06 UTC |
6f49ebd | Raine Revere | 07 February 2017, 03:34:58 UTC | Corrected spelling of dependencies folder. | 20 March 2017, 13:12:06 UTC |
a33e483 | Jan de Muijnck-Hughes | 20 March 2017, 12:57:00 UTC | Fixed travis | 20 March 2017, 12:57:00 UTC |
0c0bf99 | Jan de Muijnck-Hughes | 04 January 2017, 12:46:51 UTC | Merge pull request #19 from mgttlinger/patch-1 Fixed small typo | 04 January 2017, 12:46:51 UTC |
bfdd3df | Merlin Göttlinger | 04 January 2017, 09:02:24 UTC | Fixed small typo | 04 January 2017, 09:02:24 UTC |
10cfd9d | Jan de Muijnck-Hughes | 09 December 2016, 14:34:04 UTC | Fixed visibility of function internals. | 09 December 2016, 14:34:04 UTC |
623a15a | Jan de Muijnck-Hughes | 08 December 2016, 21:47:50 UTC | Added dropElem to DList. | 08 December 2016, 21:47:50 UTC |
1fe0ea8 | Jan de Muijnck-Hughes | 08 December 2016, 15:28:00 UTC | Added deletion to `DList`. | 08 December 2016, 15:41:23 UTC |
dfce01e | Jan de Muijnck-Hughes | 08 December 2016, 15:28:00 UTC | Added deletion to `DList`. | 08 December 2016, 15:38:56 UTC |
96ffe42 | Jan de Muijnck-Hughes | 30 November 2016, 16:30:54 UTC | Enriched package metadata. | 30 November 2016, 16:30:54 UTC |
4c94cc8 | Jan de Muijnck-Hughes | 30 November 2016, 16:26:29 UTC | Updated to latest test suite. | 30 November 2016, 16:27:45 UTC |
06cbe0a | Jan de Muijnck-Hughes | 30 November 2016, 15:31:29 UTC | Fix assert total usage for RoseTrees. | 30 November 2016, 15:31:29 UTC |
69b5323 | Jan de Muijnck-Hughes | 05 August 2016, 16:12:37 UTC | Removed commented code. | 24 October 2016, 09:17:19 UTC |
8b605fb | Jan de Muijnck-Hughes | 03 June 2016, 19:15:25 UTC | Removed unnecessary use of Views. | 24 October 2016, 09:17:19 UTC |
5f594c3 | Jan de Muijnck-Hughes | 03 June 2016, 16:30:33 UTC | Added fromList for PLists. | 24 October 2016, 09:17:19 UTC |
9edd7e9 | Jan de Muijnck-Hughes | 30 September 2016, 09:48:25 UTC | New list predicates. | 30 September 2016, 09:48:25 UTC |
7134509 | Jan de Muijnck-Hughes | 13 September 2016, 21:33:51 UTC | Added some list predicates. | 13 September 2016, 21:33:51 UTC |
5e0aa28 | Jan de Muijnck-Hughes | 13 September 2016, 16:17:12 UTC | Merge pull request #16 from gpyh/key-proof Added proof that a key is found in a Tree | 13 September 2016, 16:17:12 UTC |
babdd7d | Yacine Hmito | 27 May 2016, 00:12:04 UTC | Added proof that a key is found in a Tree | 27 May 2016, 10:37:42 UTC |
910592d | Yacine Hmito | 27 May 2016, 10:35:37 UTC | Added contributor | 27 May 2016, 10:37:12 UTC |
105bf02 | Jan de Muijnck-Hughes | 27 May 2016, 09:22:06 UTC | Various updates and tweaks. + Module documentation has been improved. + Addition of a `BTree` to expose a sane `Binary Tree` implementation rather than expose `AVLTree`. + API documentation + insertion into an `AVLTree` has been simplified through a singular `insert` function rather than the combined `insertTreeRes` and `insert`. | 27 May 2016, 09:22:06 UTC |
3248e05 | Jan de Muijnck-Hughes | 27 May 2016, 08:14:03 UTC | Updated README | 27 May 2016, 08:14:03 UTC |
3cbd9f9 | Jan de Muijnck-Hughes | 17 May 2016, 08:58:21 UTC | Fixes to Dependent Lists. | 17 May 2016, 09:29:43 UTC |
4a7c1c3 | Jan de Muijnck-Hughes | 17 May 2016, 08:18:57 UTC | Updates. Updated ipkg file format, and removed unused dependancy. | 17 May 2016, 08:18:57 UTC |
b65e992 | Jan de Muijnck-Hughes | 30 April 2016, 15:00:07 UTC | Update `Env` alias so functions need not be placed in a lambda. | 30 April 2016, 15:00:07 UTC |
9273de7 | Jan de Muijnck-Hughes | 29 April 2016, 21:15:34 UTC | Updated DeBruijn indices code. | 29 April 2016, 21:19:39 UTC |
0df0ecc | Jan de Muijnck-Hughes | 29 April 2016, 20:58:19 UTC | Data Structures for DeBruijn indices | 29 April 2016, 20:58:19 UTC |
325570e | Jan de Muijnck-Hughes | 25 March 2016, 09:46:17 UTC | introduced new container: Predicated Lists. This is proof carrying version of All. | 25 March 2016, 09:46:17 UTC |
9b2d015 | Jan de Muijnck-Hughes | 16 February 2016, 14:28:42 UTC | Updates for Sigma renaming | 16 February 2016, 14:31:31 UTC |
f45ceda | Jan de Muijnck-Hughes | 04 February 2016, 15:39:37 UTC | Updates + Updated visibility rules. + Removed nefarious references to Sigma. | 04 February 2016, 15:39:37 UTC |
1976ed6 | Jan de Muijnck-Hughes | 25 November 2015, 08:36:53 UTC | Added git attributes | 25 November 2015, 08:36:53 UTC |
068c35a | Jan de Muijnck-Hughes | 20 September 2015, 21:40:50 UTC | Internalised tests into namespace. | 20 September 2015, 21:40:50 UTC |
4a7a55f | Jan de Muijnck-Hughes | 20 September 2015, 21:28:12 UTC | Moved over to new testing framework. | 20 September 2015, 21:28:12 UTC |
2a224f9 | Jan de Muijnck-Hughes | 20 September 2015, 19:53:04 UTC | Added dependancy fetching bash script. | 20 September 2015, 19:53:04 UTC |
5d47340 | Jan de Muijnck-Hughes | 04 September 2015, 09:43:19 UTC | Improve namespace diambiguations | 04 September 2015, 09:43:19 UTC |
492b19a | Jan de Muijnck-Hughes | 01 September 2015, 07:11:22 UTC | Helper functions for List of Dependent Pairs | 01 September 2015, 07:11:22 UTC |
ee239e0 | Jan de Muijnck-Hughes | 31 August 2015, 09:16:51 UTC | Added performance problem example | 31 August 2015, 09:16:51 UTC |
cb3d3a4 | Jan de Muijnck-Hughes | 22 August 2015, 18:35:56 UTC | New functions for Dicts | 22 August 2015, 18:35:56 UTC |
bb7c24f | Jan de Muijnck-Hughes | 08 August 2015, 12:47:29 UTC | Dot stuff moved to separate repo | 08 August 2015, 12:47:29 UTC |
4298c97 | Jan de Muijnck-Hughes | 07 August 2015, 16:30:14 UTC | Fixed error | 07 August 2015, 16:30:14 UTC |
71478fd | Jan de Muijnck-Hughes | 07 August 2015, 16:24:51 UTC | Added rudimentary Graph to Dot tool | 07 August 2015, 16:24:51 UTC |
04c4a83 | Jan de Muijnck-Hughes | 31 July 2015, 19:16:08 UTC | Fixed error code | 31 July 2015, 19:16:08 UTC |
989bf22 | Jan de Muijnck-Hughes | 31 July 2015, 16:17:36 UTC | Added getValuesById for graph | 31 July 2015, 16:17:36 UTC |
619a1b4 | Jan de Muijnck-Hughes | 31 July 2015, 15:49:27 UTC | Added new graph functions | 31 July 2015, 15:49:27 UTC |
e8a7369 | Jan de Muijnck-Hughes | 31 July 2015, 15:49:08 UTC | Fixed error in Set Difference and tests | 31 July 2015, 15:49:08 UTC |
3b7c59d | Jan de Muijnck-Hughes | 29 July 2015, 11:20:26 UTC | Added generic function for node id lookup. | 29 July 2015, 11:20:26 UTC |
dcde6cd | Jan de Muijnck-Hughes | 29 July 2015, 10:42:00 UTC | A Simple RoseTree I need Trees with an unbounded number of children. This adds a RoseTree to the collection with: 1. Simple contains functions. 2. A dumb insert function to allow me to insert under a specific parent in the tree. Note: There are no restrictions on the contents of the tree. Multiple nodes of the same value can be contained within the tree. | 29 July 2015, 10:42:00 UTC |
538fa63 | Jan de Muijnck-Hughes | 24 July 2015, 07:16:29 UTC | Changes to HOF Eff Funcs for DList | 24 July 2015, 07:16:29 UTC |
dc1423f | Jan de Muijnck-Hughes | 01 July 2015, 18:02:33 UTC | Added Effectful HOFs for DList | 01 July 2015, 18:02:33 UTC |
bb9003f | Jan de Muijnck-Hughes | 30 June 2015, 11:42:21 UTC | Variable disambuiguation in Graph | 30 June 2015, 11:42:21 UTC |
2b1e002 | Jan de Muijnck-Hughes | 30 June 2015, 09:06:18 UTC | Updates + Added size and foldr for redblack trees. + Added uniqueness to random daa generation. + Improved tests for things. | 30 June 2015, 09:06:18 UTC |
679b493 | Jan de Muijnck-Hughes | 30 June 2015, 08:22:39 UTC | Tests now actually compile, run, and fail | 30 June 2015, 08:22:39 UTC |
937f9b5 | Jan de Muijnck-Hughes | 30 June 2015, 08:14:26 UTC | Improvements. + Fixed formatting of `Data.AVL.Tree`. + Fixed test data for `AVL.Set`. + Added rnd KV list generation. | 30 June 2015, 08:14:26 UTC |
2409c51 | Jan de Muijnck-Hughes | 30 June 2015, 07:57:13 UTC | Promoted AVL tree to be primary AVL implementation. | 30 June 2015, 07:57:13 UTC |
81d9df4 | Jan de Muijnck-Hughes | 30 June 2015, 07:52:45 UTC | Removed old AVL implementation. | 30 June 2015, 07:52:45 UTC |