Artur Meski
|
a4d7d82edd
|
clean-up
|
2024-08-30 07:58:58 +01:00 |
|
Artur Meski
|
47e03694e4
|
Scripts to reproduce experiments for reaction mining
|
2023-11-06 21:07:01 +00:00 |
|
Artur Meski
|
1488ad1501
|
Proc index in the formula
|
2023-09-15 14:54:04 +01:00 |
|
Artur Meski
|
282f50bbf8
|
Fixed automaton scaling
|
2023-09-13 20:21:05 +01:00 |
|
Artur Meski
|
62e756693b
|
Formula
|
2023-09-12 22:40:38 +01:00 |
|
Artur Meski
|
38bdb78090
|
New automaton
|
2023-09-12 22:07:38 +01:00 |
|
Artur Meski
|
89b9fb658b
|
Generator
|
2023-09-12 17:09:23 +01:00 |
|
Artur Meski
|
6d8ee08dd3
|
Complete reactions set
|
2023-07-11 21:05:03 +01:00 |
|
Artur Meski
|
946a7d4145
|
Attempt at implementing Example 4
|
2023-06-14 20:48:28 +01:00 |
|
Artur Meski
|
9e81dd9ba4
|
Readme, mutex benchmark
|
2019-09-29 16:19:31 +01:00 |
|
Artur Meski
|
cb2135294f
|
Adding scalable chain
|
2019-09-29 15:31:38 +01:00 |
|
Artur Meski
|
bfe817fa73
|
Copyright
|
2019-09-22 19:58:06 +01:00 |
|
Artur Meski
|
b747a97db0
|
Parametric mutex example
|
2019-09-22 19:04:27 +01:00 |
|
Artur Meski
|
6d0057c40f
|
Examples file for TGC
|
2019-09-22 18:36:47 +01:00 |
|
Artur Meski
|
969f4fd90f
|
TGC examples with generator (correct syntax)
|
2019-09-22 18:36:01 +01:00 |
|
Artur Meski
|
3cdf986959
|
TGC with generator
|
2019-09-22 18:30:33 +01:00 |
|
Artur Meski
|
835c7b898c
|
TGC example for BDD
|
2019-09-22 18:26:42 +01:00 |
|
Artur Meski
|
acc4998613
|
Examples
|
2019-09-22 18:23:59 +01:00 |
|
Artur Meski
|
c6b0d874da
|
Mode
|
2019-09-22 18:19:00 +01:00 |
|
Artur Meski
|
2166bc38f0
|
Examples, invocation script
|
2019-09-22 18:18:35 +01:00 |
|