ArthurSonzogni
94cd2f901c
Add fuzzer
2022-11-20 11:32:02 +01:00
ArthurSonzogni
a5eaf5a3f8
Remove link against c++ standard lib and filesystem.
2022-11-19 13:30:32 +01:00
Wojtek Nowak
18ba3aa392
Update README.md ( #43 )
...
I think value should be 113/2
https://www.wolframalpha.com/input?i=1+%2B+1%2F2+%2B+%28sum+x+from+0+to+10%29
2022-09-15 20:53:55 -07:00
Ian Wahbe
dc46e04185
Adjust CI for mac build + fix paths ( #42 )
2022-08-25 13:55:14 +02:00
ArthurSonzogni
79677aed93
Fix default value for interpret_backslash_n
2022-06-07 22:14:54 +02:00
tg-m
3a1dfe84ab
Add support for new lines in Sequence ( #40 )
...
* Add support for new lines in Sequence
When using `diagon Sequence` it is not possible (at least I couldn't
find a way) to add new lines to the messages in the Sequence submodule.
This patch adds parameter `--new_lines_at_bsn` that results in
substituting literal `\n` with new lines.
Example:
```bash
$ echo "Alice -> Bob: send(\n msg="Hello...",\n length=8,\n)" | \
diagon Sequence --new_lines_at_bsn=true
```
output:
```
┌─────┐ ┌───┐
│Alice│ │Bob│
└──┬──┘ └─┬─┘
│ │
│send( │
│ msg=Hello...,│
│ length=8, │
│) │
│──────────────>│
┌──┴──┐ ┌─┴─┐
│Alice│ │Bob│
└─────┘ └───┘
```
* Add tests & refactor.
Co-authored-by: ArthurSonzogni <sonzogniarthur@gmail.com >
2022-06-07 22:06:59 +02:00
Arthur Sonzogni
ccb028fc8a
Catch parser errors. ( #38 )
...
This should resolve:
https://github.com/ArthurSonzogni/Diagon/issues/36
2022-05-08 08:35:11 +02:00
Maximiliano Greco
23d95bb09f
doc: fix instructions to install dependencies ( #35 )
...
- include missed `apt`
- fix order
- include java
2022-03-25 01:57:51 +01:00
Arthur Sonzogni
30e6b87874
Add mathbb ( #34 )
...
This resolves:
https://github.com/ArthurSonzogni/Diagon/issues/33
2022-03-20 15:40:14 +01:00
David
e1cb51c173
refactor: rename variable name for good reading
...
1. line -> row
2. row -> column
Co-authored-by: ArthurSonzogni <sonzogniarthur@gmail.com >
2022-02-15 16:52:35 +01:00
David
fffa39bbbe
refactor: change sequence/graph vertex name to edge ( #31 )
...
Co-authored-by: ArthurSonzogni <sonzogniarthur@gmail.com >
2022-02-13 10:33:55 +01:00
ArthurSonzogni
0d4a89e513
Fix workflow. Move to v1.0.127
v1.0.127
2021-12-23 01:43:48 +01:00
Arthur Sonzogni
772b9e1e05
Update README.md
2021-12-23 01:12:52 +01:00
Arthur Sonzogni
571a7ea13e
Update README.md
2021-12-23 01:09:34 +01:00
ArthurSonzogni
2a6452e221
Switch to version 1.0.124
v1.0.124
2021-12-23 01:04:13 +01:00
ArthurSonzogni
81145d8c29
Automate production of packages.
2021-12-23 00:37:20 +01:00
ArthurSonzogni
412c751e21
Warn about uuid module dependency.
...
This fixes:
https://github.com/ArthurSonzogni/Diagon/issues/26
2021-12-14 20:13:33 +01:00
Arthur Sonzogni
ad9bf47870
Update README.md. Add {vim,vscode}-diagon
...
See:
- https://github.com/ArthurSonzogni/Diagon/issues/24
- https://github.com/ArthurSonzogni/Diagon/issues/25
Also, put every generators behind a <details> tag, to ease navigation.
2021-10-15 14:23:11 +02:00
Kyle
3032fca8ba
refactor(stylesheet): make everything more consistent ( #23 )
2021-08-13 16:47:05 +02:00
Slava Kardakov
56a4d45f44
Fix typo in README.md ( #22 )
2021-06-22 14:47:18 +02:00
Arthur Sonzogni
dc884d5e0c
Specify the C++ version to use on all targets.
...
This fixes:
https://github.com/ArthurSonzogni/Diagon/issues/21
2021-06-09 20:57:47 +02:00
ArthurSonzogni
50d0676f6e
Upgrade workflows.
2021-05-20 19:08:18 +02:00
ArthurSonzogni
55b05747a4
Upgrade snapcraft.
2021-05-20 19:05:24 +02:00
Arthur Sonzogni
7f1dac31af
Update kgt version. ( #20 )
2021-03-26 12:02:20 +01:00
Arthur Sonzogni
013b4176a5
Fix github workflow ( #18 )
2021-03-20 22:10:57 +01:00
Arthur Sonzogni
b430bc5fdf
Add emscripten build to the CI. ( #17 )
...
Build the project with emscripten and export as an archive.
This will help resolving
https://github.com/ArthurSonzogni/Diagon/issues/9
2021-03-20 19:04:38 +01:00
Arthur Sonzogni
8a083bc689
Add continuous integration ( #16 )
...
* Add github action for continuous integration.
2021-03-19 01:16:50 +01:00
Arthur Sonzogni
fe9fd23ac2
Improve the flowchart translator and add history API. ( #15 )
2021-03-18 21:37:18 +01:00
Xin Wu
bbf3788823
Add infty ∞ ( #14 )
...
* Add infty ∞
* Add infinity and add tests.
Co-authored-by: Xin Wu <xin.wu@uni-paderborn.de >
Co-authored-by: ArthurSonzogni <sonzogniarthur@gmail.com >
2021-03-18 21:32:08 +01:00
ArthurSonzogni
7e755898a3
Improve the flowchart translator and add history API.
2021-03-16 21:50:49 +01:00
ArthurSonzogni
187e48bf68
Simplify file structure.
...
Simplify file struct by removing the http directory.
Fix issue with antlr that were outputting data outside of the build
directory.
2021-03-16 21:30:32 +01:00
ArthurSonzogni
34b68f63e4
Merge main() files.
2021-03-15 00:47:57 +01:00
ArthurSonzogni
95f070f953
TMP
2020-12-22 16:33:15 +01:00
ArthurSonzogni
aff3e0864d
Refactor CMakeLists.txt
...
This allows ANTLR to be compiled locally instead of globally. This
prevents bugs when emscripten is/isn't used.
2020-12-21 00:41:40 +01:00
ArthurSonzogni
ffbf4a7093
Add graph DAG.
2020-12-13 22:05:10 +01:00
ArthurSonzogni
4b0b881265
Add the DAG translator.
2020-12-05 18:05:37 +01:00
ArthurSonzogni
b904e33274
Remove tools.json & big refactor.
2020-11-26 23:03:05 +01:00
ArthurSonzogni
ab1a91dd38
Simplify the CMakeLists
2020-11-15 23:27:50 +01:00
ArthurSonzogni
91866492fe
Various changes.
2020-11-15 22:40:15 +01:00
ArthurSonzogni
66dabda26e
Put kgt behind a namespace.
2020-11-08 15:28:30 +01:00
ArthurSonzogni
f1fa0792c4
Add a copy button.
2020-11-08 15:04:10 +01:00
ArthurSonzogni
8de5bfbd98
Fix monospace font.
2020-11-08 14:08:59 +01:00
ArthurSonzogni
bc18bef015
Fix monospace.
2020-11-08 13:41:04 +01:00
ArthurSonzogni
80d3fd9802
Update web interface UI.
...
Fix monospace font.
Fix container not scrolling.
2020-11-08 12:20:01 +01:00
ArthurSonzogni
f01a76d43a
Add example for kgt and disable wrapping.
2020-11-01 12:06:04 +01:00
ArthurSonzogni
6698c6aa40
Integrate KGT.
...
Add the "Grammar" translated, powered by KGT.
[KGT]:
https://github.com/katef/kgt
Bug: https://github.com/ArthurSonzogni/Diagon/issues/10
2020-11-01 12:06:04 +01:00
ArthurSonzogni
cf173d9e43
Update Diagon version.
2020-11-01 00:19:18 +01:00
Arthur Sonzogni
f5c1eae2bf
Update README.md > Add an entry about the CLI
...
This fixes :https://github.com/ArthurSonzogni/Diagon/issues/8
2020-10-04 20:22:55 +02:00
ArthurSonzogni
f4d9760f5a
Add desktop file.
2020-07-11 00:01:10 +02:00
ArthurSonzogni
c7aca3ab99
Add logo.
2020-06-29 22:09:47 +02:00