Commit Graph

41 Commits

Author SHA1 Message Date
277be04ae7 Dump examples in TEX 2023-03-01 08:50:39 +01:00
208d87df79 Can generate examples 2023-02-28 15:56:35 +01:00
14c1955b15 Can generate JSON schemas 2023-02-28 15:09:01 +01:00
97966c983a Bump version 2023-02-10 11:02:17 +01:00
bf2aada26f Improve previous fix 2023-02-10 11:01:35 +01:00
90ad7cfe45 Bump version 2023-02-10 10:53:18 +01:00
235e32d29a Remove duplicate vertices 2023-02-10 10:52:50 +01:00
8d1bf2dfb0 Bump version 2023-02-07 15:42:24 +01:00
594fe4b1ae Remove useless line breaks 2023-02-07 15:41:59 +01:00
bb6854f381 bump version 2023-02-07 15:00:12 +01:00
51a2717590 cargo clippy 2023-02-07 14:59:10 +01:00
3eeeac6841 Add array examples 2023-02-07 14:52:45 +01:00
c56760927c Add missing examples 2023-02-07 14:44:37 +01:00
caa4b23d5f Tex export: fix array support 2023-02-07 13:54:36 +01:00
b5cf85adc7 Bump version 2023-02-06 10:43:19 +01:00
934ca2c0dd cargo update 2023-02-06 10:15:44 +01:00
88472ba02f Add useful environments 2023-02-06 10:14:50 +01:00
87f942e440 Bump version 2023-02-06 10:04:09 +01:00
07a955e654 Fix issue with numbers 2023-02-06 10:03:51 +01:00
805b46e164 Bump version 2023-02-06 09:14:07 +01:00
94ec495057 Tex export more flexible 2023-02-06 09:13:16 +01:00
8c93ab9b78 Bump version 2023-02-03 15:49:10 +01:00
85e0c3abc5 Tex export functional 2023-02-03 15:36:52 +01:00
ebfe4d6e7c Improve Tex export 2023-02-03 15:06:29 +01:00
4f07dc2d73 Start to perform Tex export 2023-02-03 14:48:28 +01:00
ed0d8e05f1 Bump version 2023-02-03 09:57:21 +01:00
bda9cc3fad Add schema 2023-02-03 09:56:32 +01:00
960d4318ec Add comments everywhere 2023-02-03 09:48:58 +01:00
cc05d65eb9 Allègement du graphe 2023-02-03 09:30:42 +01:00
115f907113 Allègement du graphe 2023-02-03 09:06:05 +01:00
8f2b55fede Generate Graphviz dots 2023-02-03 08:59:54 +01:00
ca359c20e8 Can extract additional informations 2023-02-02 14:44:25 +01:00
8044e1618d Add basic README 2023-02-02 14:23:08 +01:00
3f5ca27979 Prepare crate for publication 2023-02-02 14:10:16 +01:00
c6fc5f9123 cargo clippy 2023-02-02 14:08:57 +01:00
250fdb9f82 Can output parsed tree as JSON 2023-02-02 14:06:13 +01:00
9be4e5ee89 Split code into a lib part and a binary part 2023-02-02 13:46:29 +01:00
61dcf23853 Rename package with a more appropriate name 2023-02-02 13:41:16 +01:00
8f721bbac7 Add support for all_of 2023-02-02 13:39:31 +01:00
abd8ba90c4 Basic parsing 2023-02-02 12:14:01 +01:00
ca83bd8da0 Initial commit 2023-02-02 10:06:39 +01:00