Commit Graph

148 Commits

Author SHA1 Message Date
ArthurSonzogni 083d74240d Move branch to main 2023-04-30 22:45:37 +02:00
Arthur Sonzogni 413132bc56 Math generator: add limit (#60)
Bug:https://github.com/ArthurSonzogni/Diagon/issues/56
2023-01-24 10:49:11 +01:00
Arthur Sonzogni 0781d8f0b5 Download ANTLR4 (#59)
It now links against pthread, and this is not supported directly by
emscriten. Downgrading the ANTLR version fixed the problem.

Long-term, I submitted a PR against ANTLR to fix the issue:
https://github.com/antlr/antlr4/pull/4086
2023-01-22 16:26:36 +01:00
ArthurSonzogni 8a30edd36a Update snap 2022-12-28 14:12:19 +01:00
ArthurSonzogni c454fc52ea Upgrade snap. 2022-12-28 14:03:28 +01:00
ArthurSonzogni 4ffbe6c509 Improve snapcraft 2022-12-28 13:49:55 +01:00
Arthur Sonzogni cd7d96eeb3 Add syntax highlight (#54) 2022-12-19 19:48:38 +01:00
Arthur Sonzogni 0a6f1b9bc0 Flowchart improved (#53)
* Link against boost statically.

* Improve FlowChart if/then/else

* Add support for while loop in FlowChart

* Add support for do-loop
2022-12-12 18:30:31 +01:00
ArthurSonzogni a74933801a Link against boost statically. v1.0.139 2022-12-04 11:39:01 +01:00
Arthur Sonzogni (slow/sick) 5ddc2aa930 Update CI (#50) 2022-11-26 21:10:59 +01:00
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