|
|
8b07ab00ac
|
merging
|
2024-12-24 14:42:51 +01:00 |
|
|
|
df350c7730
|
adding a test for logicla plan
|
2024-12-13 14:05:15 +00:00 |
|
|
|
82460a22fd
|
testing numric literals
|
2024-12-13 09:34:40 +00:00 |
|
|
|
b01c50654c
|
WIP
|
2024-12-11 16:52:19 +00:00 |
|
|
|
827a7fd1d3
|
ading tests
|
2024-12-11 08:32:28 +01:00 |
|
|
|
7e8c637941
|
typo
|
2024-12-10 18:02:14 +01:00 |
|
|
|
334cd6af9d
|
enhancing tests
|
2024-12-10 18:01:33 +01:00 |
|
|
|
4a42d3496f
|
addingt predicands
|
2024-12-09 21:34:23 +01:00 |
|
|
|
869bd2f4ef
|
new unit tests
|
2024-12-09 21:00:13 +01:00 |
|
|
|
cc8540e4f4
|
adding alcotest testing suite
|
2024-12-02 11:08:20 +00:00 |
|
|
|
8f3ec93f82
|
adding futher unit tests with alcotest
|
2024-11-29 15:47:43 +00:00 |
|
