|
|
95814bf633
|
Minor improvement
|
2025-12-22 15:24:21 +01:00 |
|
|
|
267bb6c513
|
Boolean Networks
|
2025-12-22 14:48:25 +01:00 |
|
|
|
5a2577b2bc
|
to single products
|
2025-12-17 18:03:35 +01:00 |
|
|
|
a2ca25ccd1
|
batik
|
2025-12-15 21:44:31 +01:00 |
|
|
|
28bd345d2c
|
Cancel computation + fix invalidating cache
|
2025-12-15 21:37:33 +01:00 |
|
|
|
827895de3b
|
Execute external command
|
2025-12-10 21:39:23 +01:00 |
|
|
|
ec87f96046
|
Fix
|
2025-12-02 05:00:48 +01:00 |
|
|
|
36e5acb1ad
|
fix
|
2025-11-18 15:36:46 +01:00 |
|
|
|
c77d4b095b
|
Colors and Naming
|
2025-11-18 11:06:38 +01:00 |
|
|
|
719fd3082b
|
Formatter instead of debug
|
2025-11-16 03:29:20 +01:00 |
|
|
|
06c7432610
|
added instruction to save the svg, renamed bisimilarity
|
2025-11-16 02:08:21 +01:00 |
|
|
|
cf6b773c42
|
fix typo
|
2025-11-15 19:18:58 +01:00 |
|
|
|
f2f4c96e06
|
fix
|
2025-11-14 03:19:32 +01:00 |
|
|
|
87cdc97987
|
headache
|
2025-11-14 02:44:01 +01:00 |
|
|
|
41ceea2bcc
|
fmt
|
2025-11-12 17:35:00 +01:00 |
|
|
|
f06991d2ff
|
github
|
2025-11-04 19:00:06 +01:00 |
|
|
|
866e4606da
|
fixed font rendering in svg
|
2025-11-03 16:44:41 +01:00 |
|
|
|
62545cb800
|
different svg renderer
|
2025-11-03 03:56:51 +01:00 |
|
|
|
7c73fd6ed3
|
Fixed bugs for svg
|
2025-11-02 17:45:54 +01:00 |
|
|
|
920b9c7280
|
Svg output
|
2025-11-02 15:03:07 +01:00 |
|
|
|
ea05a8d99e
|
No threads on wasm
|
2025-10-31 16:35:49 +01:00 |
|
|
|
c0517f7e4a
|
Thread dedicated to computing the result
|
2025-10-31 16:13:23 +01:00 |
|
|
|
e86bae735a
|
Refactoring
|
2025-10-31 03:57:07 +01:00 |
|
|
|
423d8a4ef4
|
Sleep
|
2025-10-31 01:12:35 +01:00 |
|
|
|
d5743313e2
|
Clarification
|
2025-10-30 19:13:54 +01:00 |
|
|
|
dd596491c7
|
Better save file
|
2025-10-30 02:02:10 +01:00 |
|
|
|
cce3b5a7a0
|
Update to egui version 0.33, also fix weird spacing between inputs
|
2025-10-29 18:11:48 +01:00 |
|
|
|
284f136409
|
ReadMe
|
2025-10-29 17:16:14 +01:00 |
|
|
|
efc08a2f3a
|
Dot and GraphML output for positive graphs
|
2025-10-28 22:21:43 +01:00 |
|
|
|
41a3b0c601
|
fmt
|
2025-10-28 14:01:05 +01:00 |
|
|
|
4fe1bd2a4c
|
Better naming, Group and Assert functions
Group and Assert functions for normal and positive systems,
bisimilarity for positive graphs
|
2025-10-27 21:14:12 +01:00 |
|
|
|
92627cf12e
|
Instructions for positive systems
|
2025-10-26 18:55:35 +01:00 |
|
|
|
fc57e72e80
|
trace to string
|
2025-10-25 17:46:42 +02:00 |
|
|
|
969c24bd70
|
added instructions, fixed code for multiple outputs
|
2025-10-25 17:38:44 +02:00 |
|
|
|
55c7675915
|
Better cache, fixed order for macro retrieve_from_cache
Better cache by saving last output and recomputing only when there is
a need.
|
2025-10-23 01:47:49 +02:00 |
|
|
|
b5a8c8e283
|
im dumb
|
2025-10-23 00:19:02 +02:00 |
|
|
|
c28cad681f
|
fmt, macro in app_logic for hash
|
2025-10-23 00:17:40 +02:00 |
|
|
|
d2bf38a927
|
better defaults, macros
|
2025-10-22 22:17:59 +02:00 |
|
|
|
c3a8941baf
|
Removed generated files, added cache clearing in debug
|
2025-10-21 10:04:35 +02:00 |
|
|
|
f1ace24797
|
traces, slicing
|
2025-10-20 17:28:27 +02:00 |
|
|
|
c1cee93eb4
|
gitignore and licence
|
2025-10-17 23:52:55 +02:00 |
|
|
|
617af61d7c
|
Working application
|
2025-10-17 21:42:41 +02:00 |
|
|
|
3472a31584
|
Initial commit
|
2025-10-17 19:55:24 +02:00 |
|
