Commit Graph

60 Commits (d40af28b387acb0e0103426469afe2181e30e984)

Author SHA1 Message Date
Bram d40af28b38 Add RationalOrder type 2024-01-29 21:42:33 +01:00
Bram b6e181237f Merge branch 'develop' into 3-timeline 2024-01-23 19:20:44 +01:00
Bram van den Heuvel 311de94c1f Bump to beta 2.1.1 2024-01-12 17:18:01 +01:00
Bram van den Heuvel ad3f45d035 Update syncTime to be at least 1 2024-01-12 17:11:07 +01:00
Bram 394799da8b Add Timeline JSON coders 2024-01-12 00:08:06 +01:00
Bram van den Heuvel 29f6a5e754 Refactor Batch input 2024-01-11 22:35:14 +01:00
Bram van den Heuvel 79aff7af3b Refactor Timeline architecture 2024-01-11 09:20:16 +01:00
Bram van den Heuvel 81b0b1c166 Add first (faulty) design of Timeline 2024-01-09 18:19:29 +01:00
Bram 211f8f1df4 Add Timeline framework
The tests fail, but using test-driven development we will now build them functional
2024-01-05 13:51:06 +01:00
Bram e8ee125def Add subsetOf Filter function 2024-01-04 03:13:17 +01:00
Bram 3739043f87 Create Timeline filter 2024-01-04 02:00:31 +01:00
Bram af26e2b0a4 Prepare develop for master
elm-test --fuzz 10000 --seed 188919533398969
2023-12-29 17:03:57 +01:00
Bram 20b4ea2f5c elm-format 2023-12-29 14:58:50 +01:00
Bram 5cdb4fad33 Remove warnings 2023-12-29 14:57:59 +01:00
Bram e1a4bcab9b Add StateManager type 2023-12-29 14:50:43 +01:00
Bram acfeabb39e Merge branch 'elm-test' into 3-state-manager 2023-12-26 17:44:48 +01:00
Bram 277c15c7e1 Add Mashdict 2023-12-26 17:43:06 +01:00
Bram c7a3fe804b elm-format + add more tests 2023-12-26 16:11:51 +01:00
Bram f465c9cbb1 Add isEqual function for Hashdict + tests 2023-12-26 12:59:50 +01:00
Bram 4905b7341d Complete documentation 2023-12-24 11:36:34 +01:00
Bram bf64d5911f Add Timestamp test 2023-12-24 11:17:43 +01:00
Bram 959642499b Envelope refactor
Effectively, the Envelope type has been moved to the Types module, effectively keeping it separate from other data types.
2023-12-24 02:16:52 +01:00
Bram 3e54ea9cbe Add separate Settings module 2023-12-24 01:26:06 +01:00
Bram 5ac3e7eb6a Fix Event test
This commit is starting to show how the definition of the Envelope wrapper is better done on a different level
2023-12-24 00:37:22 +01:00
Bram 1a819cbe39 Add exposed Event module 2023-12-24 00:03:07 +01:00
Bram 5065ed05ff Add Event tests 2023-12-22 23:44:46 +01:00
Bram ff180ec84d Merge branch '3-data-types' into 3-event 2023-12-22 22:24:07 +01:00
Bram 5d2d9ddb73 Merge develop into 3-data-types 2023-12-22 22:22:48 +01:00
Bram 0448b74609 Improve Event documentation 2023-12-22 22:20:19 +01:00
Bram van den Heuvel ce83d1260f Add reader functions for Event types 2023-12-22 16:59:45 +01:00
Bram 16c9e0d4e1 Prepare develop for master 2023-12-21 22:27:34 +01:00
Bram 14058f4b69 Add Event type 2023-12-19 02:46:23 +01:00
Bram 1d3ceb9b2d Fix typos 2023-12-18 17:30:52 +01:00
Bram d9d5760928 Reorder Envelope functions alphabetically 2023-12-18 17:20:43 +01:00
Bram 5bd95699d2 Add function for Envelope 2023-12-18 17:19:12 +01:00
Bram 447a18ab04 Update Internal.Config.Text docs 2023-12-18 17:10:04 +01:00
Bram 87a5919921 Include Context in Envelope 2023-12-18 14:27:22 +01:00
Bram 7254fcfaa4 Add Context type 2023-12-18 14:26:57 +01:00
Bram b3479cf2c9 Add leaking values 2023-12-18 05:51:24 +01:00
Bram 3b927dc460 Update exposed Vault to match internal Vault 2023-12-18 02:11:31 +01:00
Bram ce0f96a74e Merge branch 'develop' into 2-transfer-tools
This operation merges the new update from the `develop` branch in order to get the latest changes.
2023-12-18 02:05:13 +01:00
Bram 29f9482b74 Add public settings interface 2023-12-18 01:32:57 +01:00
Bram 8b7b2aa312 Add internal Vault type 2023-12-18 01:32:21 +01:00
Bram 5293eb4003 Add Envelope function to extract settings values 2023-12-18 01:30:15 +01:00
Bram f910c0225b Add Envelope JSON coders 2023-12-18 01:08:40 +01:00
Bram 848d83a18e Add JSON coder helper files 2023-12-17 21:29:45 +01:00
Bram 1b0be9bffa Add Envelope type 2023-12-17 15:18:54 +01:00
Bram 7c7e05d42a Add standardized text values 2023-12-16 01:25:02 +01:00
Bram b7c2e28f71 Add default config values 2023-12-16 00:28:14 +01:00
Bram dd10d43da1 Add Timestamp data type 2023-12-15 23:55:03 +01:00