Logo
Explore Help
Register Sign In
Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
You've already forked Synchronous_reactive_systems
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity
190 Commits 2 Branches 0 Tags
Commit Graph

6 Commits

Author SHA1 Message Date
Antoine Grimod
66de13fff2 added main to automaton.node 2023-01-10 00:39:50 +01:00
Benjamin Loison
1297835bda Make tests/when_merge.node clearer by using reals 2023-01-10 00:07:49 +01:00
sofamaniac
b2aa8bc6d5 [automaton] support for multiple output conditions 2023-01-05 18:31:12 +01:00
Benjamin Loison
69e84f0a8e Rename _buffer to buffer, expand tabs to spaces in src/ and tests/ and move up BUFFER_SIZE macro definition 2023-01-03 22:58:38 +01:00
Benjamin Loison
5cabb042fc Improve and correct IO UI and add tests 2023-01-03 19:43:24 +01:00
dsac
3cbfaeb2a8 [general] renaming (pp -> lustre_pp ; c_* -> intermediate_*) 2022-12-17 21:26:32 +01:00
Powered by Gitea Version: 1.23.8 Page: 33ms Template: 2ms
English
Bahasa Indonesia Deutsch English Español Français Gaeilge Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API