|
|
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 |
|
