|
|
08d316812b
|
open source in new tab
|
2025-11-15 13:43:57 +01:00 |
|
|
|
456b85bf8f
|
better (less annoying) colors + default editor state is error-free
|
2025-11-15 13:34:47 +01:00 |
|
|
|
8b0726ef01
|
better find/replace (with highlighting of all occurrences) + more consistent error visualization
|
2025-11-15 13:14:57 +01:00 |
|
|
|
64aab1a6df
|
grealy improved memoization
|
2025-11-14 20:45:43 +01:00 |
|
|
|
7994cd6eb0
|
cleanup the code a bit...
|
2025-11-14 19:05:02 +01:00 |
|
|
|
1bd801ce5d
|
less code duplication
|
2025-11-14 17:19:33 +01:00 |
|
|
|
970b9d850e
|
getting rid of some code duplication
|
2025-11-14 16:52:09 +01:00 |
|
|
|
0266675f29
|
update todo
|
2025-11-14 11:59:53 +01:00 |
|
|
|
d805fa95e4
|
bind zoom in shortcut also to Ctrl+= (like browsers do)"
|
2025-11-14 11:01:15 +01:00 |
|
|
|
8fa430846b
|
edit css, make microwave background transparent
|
2025-11-14 09:27:19 +01:00 |
|
|
|
632cf9b542
|
progress bar shows how long until next timer elapse
|
2025-11-13 23:56:52 +01:00 |
|
|
|
bdc2a66b1c
|
remove debug output
|
2025-11-13 22:49:16 +01:00 |
|
|
|
74361eb162
|
accidentally committed debug endpoint for property checking
|
2025-11-13 22:47:10 +01:00 |
|
|
|
dc948629a7
|
fix history color in dark mode + flip colors of and/or
|
2025-11-13 22:27:13 +01:00 |
|
|
|
c825830a14
|
better looking checkboxes
|
2025-11-13 22:09:49 +01:00 |
|
|
|
e29559e46d
|
improve dark mode colors + fix dark logo in chrome
|
2025-11-13 22:01:02 +01:00 |
|
|
|
e3b88b7d89
|
blue is better for bottom panel in dark mode
|
2025-11-13 21:06:19 +01:00 |
|
|
|
ee899cea2d
|
fix selection
|
2025-11-13 21:01:50 +01:00 |
|
|
|
af934c6767
|
improve colors
|
2025-11-13 19:55:52 +01:00 |
|
|
|
02cbbe601a
|
disable forcing light/dark mode (doesn't work properly)
|
2025-11-13 19:50:33 +01:00 |
|
|
|
6efc27453e
|
new featuregit status dark mode
|
2025-11-13 19:25:43 +01:00 |
|
|
|
9646d716c6
|
editor: shift or ctrl key to append selection
|
2025-11-13 13:05:22 +01:00 |
|
|
|
848a13e875
|
update assignment: alternate and/or states as in the theory
|
2025-11-13 10:59:34 +01:00 |
|
|
|
1f72542234
|
cleanup code a bit more
|
2025-11-12 14:34:46 +01:00 |
|
|
|
07b51dd2f2
|
move file
|
2025-11-08 10:50:41 +01:00 |
|
|
|
5674416623
|
assignment: get rid of the water levels
|
2025-11-08 10:49:51 +01:00 |
|
|
|
a013fca768
|
update assignment (MTL property was wrong! i blame chatgpt)
|
2025-11-08 10:41:41 +01:00 |
|
|
|
e0863c9443
|
merge recovered app state with default app state (makes a difference if the recovered app state is only partially defined)
|
2025-11-08 10:36:42 +01:00 |
|
|
|
9922f8588d
|
clean up code a bit (split of SideBar component and simulator callbacks from App) + fix bug in property checker
|
2025-11-08 10:32:28 +01:00 |
|
|
|
2dd35ab079
|
assignment: fix property (it was wrong) + always include traces for 'true' and 'false'
|
2025-11-07 15:09:21 +01:00 |
|
|
|
fcf9448441
|
assignment: fix example
|
2025-11-07 14:35:53 +01:00 |
|
|
|
2d6b8a764b
|
update assignment.html (the bug mentioned has been fixed)
|
2025-11-07 14:32:43 +01:00 |
|
|
|
5713c3a59f
|
edit assignment.html
|
2025-11-07 14:30:37 +01:00 |
|
|
|
3f6b2ba950
|
fix interpreter bug
|
2025-11-07 14:09:04 +01:00 |
|
|
|
9fd1c3a9a7
|
update assignment
|
2025-11-07 08:16:01 +01:00 |
|
|
|
b5a5a8a6d7
|
fix error in digital watch plant
|
2025-11-07 00:02:37 +01:00 |
|
|
|
5fb586a5be
|
forgot something
|
2025-11-06 22:17:15 +01:00 |
|
|
|
f5c427d61b
|
fix: plant steps were wrongly showing statechart output events
|
2025-11-06 21:26:17 +01:00 |
|
|
|
8ed9267cb7
|
update todo
|
2025-11-06 19:53:54 +01:00 |
|
|
|
5b48895c94
|
fix typescript error
|
2025-11-06 19:53:43 +01:00 |
|
|
|
3c302a83c5
|
fix bug + more info on stored traces
|
2025-11-06 19:12:02 +01:00 |
|
|
|
49e701c7d7
|
nearly the entire application state is saved in URL
|
2025-11-06 18:48:37 +01:00 |
|
|
|
c7e661eb61
|
can define multiple properties. can see detailed view of chosen property.
|
2025-11-06 16:25:48 +01:00 |
|
|
|
1660b06064
|
fix two timers bugs
|
2025-11-02 13:25:21 +01:00 |
|
|
|
1470a99665
|
traffic light: loop wind sound without gaps
|
2025-11-01 11:55:49 +01:00 |
|
|
|
ba3b4a1235
|
remove debug output
|
2025-11-01 11:40:52 +01:00 |
|
|
|
254dbaf2fd
|
traffic light: every color has its own buzz sound volume
|
2025-11-01 11:36:18 +01:00 |
|
|
|
5dbe51d871
|
fix bug: initialization output events were not properly routed to the plant
|
2025-11-01 11:34:46 +01:00 |
|
|
|
3a409dfe1e
|
CSS animation speed follows simulation speed
|
2025-10-31 16:37:31 +01:00 |
|
|
|
eb9792a8d7
|
fix firefox hanging?
|
2025-10-31 16:28:51 +01:00 |
|
