Commit graph

Select branches

Hide pull requests

master

Mono Color

• 08d316812b open source in new tab master Joeri Exelmans 2025-11-15 13:43:57 +01:00
• 456b85bf8f better (less annoying) colors + default editor state is error-free Joeri Exelmans 2025-11-15 13:34:47 +01:00
• 8b0726ef01 better find/replace (with highlighting of all occurrences) + more consistent error visualization Joeri Exelmans 2025-11-15 13:14:57 +01:00
• 64aab1a6df grealy improved memoization Joeri Exelmans 2025-11-14 20:45:43 +01:00
• 7994cd6eb0 cleanup the code a bit... Joeri Exelmans 2025-11-14 19:05:02 +01:00
• 1bd801ce5d less code duplication Joeri Exelmans 2025-11-14 17:19:33 +01:00
• 970b9d850e getting rid of some code duplication Joeri Exelmans 2025-11-14 16:52:09 +01:00
• 0266675f29 update todo Joeri Exelmans 2025-11-14 11:59:53 +01:00
• d805fa95e4 bind zoom in shortcut also to Ctrl+= (like browsers do)" Joeri Exelmans 2025-11-14 11:01:15 +01:00
• 8fa430846b edit css, make microwave background transparent Joeri Exelmans 2025-11-14 09:27:19 +01:00
• 632cf9b542 progress bar shows how long until next timer elapse Joeri Exelmans 2025-11-13 23:56:52 +01:00
• bdc2a66b1c remove debug output Joeri Exelmans 2025-11-13 22:49:16 +01:00
• 74361eb162 accidentally committed debug endpoint for property checking Joeri Exelmans 2025-11-13 22:47:10 +01:00
• dc948629a7 fix history color in dark mode + flip colors of and/or Joeri Exelmans 2025-11-13 22:27:13 +01:00
• c825830a14 better looking checkboxes Joeri Exelmans 2025-11-13 22:09:49 +01:00
• e29559e46d improve dark mode colors + fix dark logo in chrome Joeri Exelmans 2025-11-13 22:01:02 +01:00
• e3b88b7d89 blue is better for bottom panel in dark mode Joeri Exelmans 2025-11-13 21:06:19 +01:00
• ee899cea2d fix selection Joeri Exelmans 2025-11-13 21:01:50 +01:00
• af934c6767 improve colors Joeri Exelmans 2025-11-13 19:55:52 +01:00
• 02cbbe601a disable forcing light/dark mode (doesn't work properly) Joeri Exelmans 2025-11-13 19:50:33 +01:00
• 6efc27453e new featuregit status dark mode Joeri Exelmans 2025-11-13 19:25:43 +01:00
• 9646d716c6 editor: shift or ctrl key to append selection Joeri Exelmans 2025-11-13 13:05:22 +01:00
• 848a13e875 update assignment: alternate and/or states as in the theory Joeri Exelmans 2025-11-13 10:59:34 +01:00
• 1f72542234 cleanup code a bit more Joeri Exelmans 2025-11-12 14:34:46 +01:00
• 07b51dd2f2 move file Joeri Exelmans 2025-11-08 10:50:41 +01:00
• 5674416623 assignment: get rid of the water levels Joeri Exelmans 2025-11-08 10:49:51 +01:00
• a013fca768 update assignment (MTL property was wrong! i blame chatgpt) Joeri Exelmans 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) Joeri Exelmans 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 Joeri Exelmans 2025-11-08 10:32:28 +01:00
• 2dd35ab079 assignment: fix property (it was wrong) + always include traces for 'true' and 'false' Joeri Exelmans 2025-11-07 15:09:21 +01:00
• fcf9448441 assignment: fix example Joeri Exelmans 2025-11-07 14:35:53 +01:00
• 2d6b8a764b update assignment.html (the bug mentioned has been fixed) Joeri Exelmans 2025-11-07 14:32:43 +01:00
• 5713c3a59f edit assignment.html Joeri Exelmans 2025-11-07 14:30:37 +01:00
• 3f6b2ba950 fix interpreter bug Joeri Exelmans 2025-11-07 14:09:04 +01:00
• 9fd1c3a9a7 update assignment Joeri Exelmans 2025-11-07 08:16:01 +01:00
• b5a5a8a6d7 fix error in digital watch plant Joeri Exelmans 2025-11-07 00:02:37 +01:00
• 5fb586a5be forgot something Joeri Exelmans 2025-11-06 22:17:15 +01:00
• f5c427d61b fix: plant steps were wrongly showing statechart output events Joeri Exelmans 2025-11-06 21:26:17 +01:00
• 8ed9267cb7 update todo Joeri Exelmans 2025-11-06 19:53:54 +01:00
• 5b48895c94 fix typescript error Joeri Exelmans 2025-11-06 19:53:43 +01:00
• 3c302a83c5 fix bug + more info on stored traces Joeri Exelmans 2025-11-06 19:12:02 +01:00
• 49e701c7d7 nearly the entire application state is saved in URL Joeri Exelmans 2025-11-06 18:48:37 +01:00
• c7e661eb61 can define multiple properties. can see detailed view of chosen property. Joeri Exelmans 2025-11-06 16:25:48 +01:00
• 1660b06064 fix two timers bugs Joeri Exelmans 2025-11-02 13:25:21 +01:00
• 1470a99665 traffic light: loop wind sound without gaps Joeri Exelmans 2025-11-01 11:55:49 +01:00
• ba3b4a1235 remove debug output Joeri Exelmans 2025-11-01 11:40:52 +01:00
• 254dbaf2fd traffic light: every color has its own buzz sound volume Joeri Exelmans 2025-11-01 11:36:18 +01:00
• 5dbe51d871 fix bug: initialization output events were not properly routed to the plant Joeri Exelmans 2025-11-01 11:34:46 +01:00
• 3a409dfe1e CSS animation speed follows simulation speed Joeri Exelmans 2025-10-31 16:37:31 +01:00
• eb9792a8d7 fix firefox hanging? Joeri Exelmans 2025-10-31 16:28:51 +01:00
• 6a12ba5341 traffic light makes even more sounds Joeri Exelmans 2025-10-31 15:46:11 +01:00
• 39b286bffe traffic light timer: nice glow effect Joeri Exelmans 2025-10-31 15:31:49 +01:00
• 0689808703 use WebP for microwave images Joeri Exelmans 2025-10-31 15:26:16 +01:00
• 73c52c1867 finished traffic light example + use WebP format for images Joeri Exelmans 2025-10-31 15:19:32 +01:00
• ea72f2d40b add trafficlight images Joeri Exelmans 2025-10-31 13:09:49 +01:00
• d893476d1b better looking connection editor Joeri Exelmans 2025-10-30 17:22:23 +01:00
• 8ac5a730cc editable connections sc <-> plant Joeri Exelmans 2025-10-30 17:14:57 +01:00
• e27d3c4c88 digital watch plant is now also a statechart Joeri Exelmans 2025-10-28 21:52:30 +01:00
• 3e5dca437b plant has its own timed/reactive behavior - typically another statechart Joeri Exelmans 2025-10-28 14:47:42 +01:00
• b50f52496a coupled simulation + fix nested scopes Joeri Exelmans 2025-10-27 19:59:06 +01:00
• 7b6ce420c0 don't render plant when plant state is undefined (prevent crash) Joeri Exelmans 2025-10-27 11:40:27 +01:00
• 8951380f9b disable plant-selection on runtime (currrently not supported) Joeri Exelmans 2025-10-27 11:12:18 +01:00
• a81fe1e884 fix nested environment scopes + highlight runtime errors in editor Joeri Exelmans 2025-10-27 10:37:42 +01:00
• 56467e5ea5 digital watch can play beep sound Joeri Exelmans 2025-10-26 13:44:23 +01:00
• 25fbb26fd7 cleanup sounds that are done playing Joeri Exelmans 2025-10-26 12:54:02 +01:00
• 08dc096792 wrap pausable / play-rate-able audio in a React hook Joeri Exelmans 2025-10-26 12:46:05 +01:00
• 99180e63ce move some more stuff around Joeri Exelmans 2025-10-25 23:46:35 +02:00
• 400efff3a1 fix broken imports Joeri Exelmans 2025-10-25 23:31:36 +02:00
• 30fa1aaca1 move some files around to confuse everyone Joeri Exelmans 2025-10-25 23:30:08 +02:00
• 710f7be68c nice feature: the microwave's sounds playback speed corresponds to the simulation speed, hahahaha Joeri Exelmans 2025-10-25 22:57:15 +02:00
• dd82b0433c delete unnecessary code Joeri Exelmans 2025-10-25 19:29:27 +02:00
• f3a9656891 important feature: use Web Audio API to get microwave sounds just right. Joeri Exelmans 2025-10-25 19:27:39 +02:00
• a5afcd5908 add Microwave plant Joeri Exelmans 2025-10-25 15:51:31 +02:00
• 43e3b2117c fix broken pseudo-states (they work more like regular transitions now) Joeri Exelmans 2025-10-25 15:51:17 +02:00
• 3e192f8e26 remove dependency on MUI Joeri Exelmans 2025-10-24 11:09:21 +02:00
• 74f4c3bead don't render EditorState before having attempted to recover state from URL hash Joeri Exelmans 2025-10-24 09:01:17 +02:00
• e527baf81f simplify simulated time implementation Joeri Exelmans 2025-10-24 08:24:38 +02:00
• aac77b79f2 usability thingy Joeri Exelmans 2025-10-24 01:17:37 +02:00
• 913a7f1275 bug Joeri Exelmans 2025-10-24 01:14:48 +02:00
• 41b2de7529 some refactoring and performance optimization Joeri Exelmans 2025-10-24 01:12:50 +02:00
• 0fac3977b3 fewer unnecessary re-renders Joeri Exelmans 2025-10-24 00:03:20 +02:00
• 4f9a546fd1 move the parsing from VisualEditor to App component Joeri Exelmans 2025-10-23 23:13:09 +02:00
• 65b6a343d1 memoize parsed text labels Joeri Exelmans 2025-10-23 22:29:45 +02:00
• 529ad1d4bd wrap some more callbacks in useCallback Joeri Exelmans 2025-10-23 22:10:18 +02:00
• 87ceaa1220 further reduce unnecessary re-renders Joeri Exelmans 2025-10-23 22:00:45 +02:00
• 2ca2ba5d1b prevent unnecessary re-rendering of rountangles and diamonds Joeri Exelmans 2025-10-23 21:47:39 +02:00
• 0fc3775a11 first of many performance improvements: no unnecessary TextSVG re-renders - more to follow Joeri Exelmans 2025-10-23 21:22:28 +02:00
• af60e811fc CSS: need less shadow now that execution trace has its own 'summary' Joeri Exelmans 2025-10-23 19:58:06 +02:00
• ab988898c0 performance and usability improvements Joeri Exelmans 2025-10-23 19:16:46 +02:00
• a25396b6f2 update logo Joeri Exelmans 2025-10-23 16:39:44 +02:00
• 694380aa18 shortcuts for raising input events Joeri Exelmans 2025-10-22 11:48:45 +02:00
• 1ce7bdb9bd better rendering of digital watch Joeri Exelmans 2025-10-22 11:47:43 +02:00
• 45cfc6f1f8 add _log function to environment + enable explicit order of orthogonal regions Joeri Exelmans 2025-10-22 11:15:33 +02:00
• 098a6d7e78 disable zoom buttons on min/max zoom Joeri Exelmans 2025-10-22 09:58:47 +02:00
• 7c66cc1878 improve zoom Joeri Exelmans 2025-10-22 09:45:42 +02:00
• 6bbb230636 implement zoom Joeri Exelmans 2025-10-22 09:39:50 +02:00
• 523e00d5dc fix some things Joeri Exelmans 2025-10-21 23:30:27 +02:00
• 6202934ac4 digital watch works Joeri Exelmans 2025-10-21 22:59:17 +02:00
• 639a296075 parser: add unary operators and modulo Joeri Exelmans 2025-10-21 20:49:35 +02:00
• dfbcca5c14 user can select 'plant' from dropdown menu Joeri Exelmans 2025-10-21 17:25:04 +02:00