|
|
cf6b773c42
|
fix typo
|
2025-11-15 19:18:58 +01:00 |
|
|
|
41ceea2bcc
|
fmt
|
2025-11-12 17:35:00 +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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
617af61d7c
|
Working application
|
2025-10-17 21:42:41 +02:00 |
|
