marcosh/crem
1
1
Fork 0
mirror of https://github.com/marcosh/crem.git synced 2024-09-17 15:27:31 +03:00
Code Issues Packages Projects Releases Wiki Activity
147 Commits 3 Branches 1 Tag 719 KiB
b3d9db9fe8
Commit Graph

12 Commits

Author SHA1 Message Date
Marco Perone
cc6c2b7c15 decision log on cabal in CI 2023-03-09 17:40:03 +01:00
Marco Perone
3cc5b668ba disable global OverloadedStrings 2023-02-27 17:05:45 +01:00
Marco Perone
5d3272ec37 decision log entry for Feedback constructor 2023-02-27 17:05:45 +01:00
Marco Perone
e096f7d33f add Loop constructor to state machines 2023-02-27 17:05:45 +01:00
Marco Perone
e07f6d0834 complete unfinished sentence 2023-01-26 17:42:40 +01:00
Marco Perone
93fabb304c add Parallel and Alternative constructors 2023-01-26 17:42:40 +01:00
Marco Perone
91462083ad Machines without trivial transitions are not considered 2023-01-26 12:11:29 +01:00
Marco Perone
5c456bf059 Improve wording on identity transitions decision log 
Co-authored-by: Alex <alexei.drake@tweag.io>
 2023-01-26 12:11:29 +01:00
Marco Perone
c606edee64 always allow the identity transition 2023-01-26 12:11:29 +01:00
Marco Perone
00f14c0202 state explicitly that we run doctests in the test suite 2023-01-13 16:19:04 +01:00
Marco Perone
b1e34a7ba7 Improve wording on doctest decision log 
Co-authored-by: Alex <alexei.drake@tweag.io>
 2023-01-13 16:19:04 +01:00
Marco Perone
7999a60a43 use single-line Haddock comments 2023-01-13 16:19:04 +01:00