artur/reactics
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Commit Graph

  • ae419e5e0e Failure handling (CI) master Artur Meski 2026-04-10 18:27:57 +01:00
  • f0019619b3 Refactor + tests (#6) Artur Meski 2026-04-10 18:16:49 +01:00
  • 363446821e Released version of GUI (#5) Marcin Piątkowski 2025-06-04 20:21:51 +02:00
  • 90c8e4f4c0 Added time and memory measurement for windows. (#4) Marcin Piątkowski 2025-05-28 16:21:56 +02:00
  • fafe8dbe07 Optimisations are now enabled by default Artur Meski 2025-05-08 19:41:27 +01:00
  • 3237c2eae5 Clean-up Artur Meski 2025-05-05 14:27:07 +01:00
  • 092fd94b56 README update: website Artur Meski 2025-05-05 14:26:40 +01:00
  • f86316cdbd Context Automaton states in transitions (#2) Artur Meski 2025-04-29 13:13:50 +01:00
  • a864329883 Translation into ISPL (for benchmarks with MCMAS) Marcin Piątkowski 2025-04-02 21:56:25 +02:00
  • a4d7d82edd clean-up drs_examples Artur Meski 2024-08-30 07:58:58 +01:00
  • 64cff38e84 wip Artur Meski 2024-08-30 07:54:48 +01:00
  • 48b4f1bb4d Clean-up Artur Meski 2023-11-06 21:10:05 +00:00
  • af26ca543b Examples and clean-ups (#1) Artur Meski 2023-11-06 21:09:08 +00:00
  • 47e03694e4 Scripts to reproduce experiments for reaction mining Artur Meski 2023-11-06 21:07:01 +00:00
  • e9589cd0d9 Summary Artur Meski 2023-09-24 10:51:51 +01:00
  • 0173fd6562 benchmark generator Artur Meski 2023-09-23 15:17:11 +01:00
  • b7d5eae9e5 benchmarking script Artur Meski 2023-09-23 10:36:38 +01:00
  • 1488ad1501 Proc index in the formula Artur Meski 2023-09-15 14:54:04 +01:00
  • 282f50bbf8 Fixed automaton scaling Artur Meski 2023-09-13 20:21:05 +01:00
  • 62e756693b Formula Artur Meski 2023-09-12 22:40:38 +01:00
  • 38bdb78090 New automaton Artur Meski 2023-09-12 22:07:38 +01:00
  • 89b9fb658b Generator Artur Meski 2023-09-12 17:09:23 +01:00
  • 888ed4e68e Update README.md Artur Meski 2023-09-08 15:29:51 +01:00
  • 7505acc6a6 Merge remote-tracking branch 'origin/master' into drs_examples Artur Meski 2023-07-11 21:05:17 +01:00
  • 6d8ee08dd3 Complete reactions set Artur Meski 2023-07-11 21:05:03 +01:00
  • a1fb5836a5 black formatting Artur Meski 2023-07-11 19:48:37 +01:00
  • 946a7d4145 Attempt at implementing Example 4 Artur Meski 2023-06-14 20:48:28 +01:00
  • 8be615b293 Simplified result report Artur Meski 2023-05-11 17:19:53 +01:00
  • b4d58b94be Backend mode for easier output parsing Artur Meski 2023-05-10 23:15:44 +01:00
  • 33ca0fd6e9 build Artur Meski 2022-10-28 21:07:46 +01:00
  • 632286ec7f Fixed crashes with empty context automaton Artur Meski 2022-03-20 13:22:36 +00:00
  • 98894fc6e1 Path to bash Artur Meski 2022-03-07 20:29:04 +00:00
  • a565b5bf5e Removing incorrect comment oncogenic_signalling Artur Meski 2020-05-26 17:31:10 +01:00
  • 89f2017a11 Readme Artur Meski 2019-09-29 17:07:21 +01:00
  • 0402bd0d3d Readme Artur Meski 2019-09-29 17:05:41 +01:00
  • b6f362b80f Readme Artur Meski 2019-09-29 17:04:21 +01:00
  • de8ed11498 Clean-up Artur Meski 2019-09-29 16:23:48 +01:00
  • f621808e9b Readme Artur Meski 2019-09-29 16:21:15 +01:00
  • 9e81dd9ba4 Readme, mutex benchmark Artur Meski 2019-09-29 16:19:31 +01:00
  • 39761502d0 Readme update Artur Meski 2019-09-29 15:49:11 +01:00
  • 38b84bdc22 Readme update Artur Meski 2019-09-29 15:46:54 +01:00
  • 34765f2c2f Readme update Artur Meski 2019-09-29 15:44:54 +01:00
  • 671e5f71c4 Readme update Artur Meski 2019-09-29 15:44:29 +01:00
  • 1a49abea23 Readme update Artur Meski 2019-09-29 15:43:44 +01:00
  • e2561014c6 Readme Artur Meski 2019-09-29 15:37:18 +01:00
  • cb2135294f Adding scalable chain Artur Meski 2019-09-29 15:31:38 +01:00
  • 2f7c16775d Readme Artur Meski 2019-09-29 14:42:00 +01:00
  • bfe817fa73 Copyright Artur Meski 2019-09-22 19:58:06 +01:00
  • b747a97db0 Parametric mutex example Artur Meski 2019-09-22 19:04:27 +01:00
  • 5a2dea1dbc Typo Artur Meski 2019-09-22 18:48:16 +01:00
  • 4db7afeac7 Added some details on running the examples Artur Meski 2019-09-22 18:47:28 +01:00
  • 6d0057c40f Examples file for TGC Artur Meski 2019-09-22 18:36:47 +01:00
  • 969f4fd90f TGC examples with generator (correct syntax) Artur Meski 2019-09-22 18:36:01 +01:00
  • 3cdf986959 TGC with generator Artur Meski 2019-09-22 18:30:33 +01:00
  • 835c7b898c TGC example for BDD Artur Meski 2019-09-22 18:26:42 +01:00
  • acc4998613 Examples Artur Meski 2019-09-22 18:23:59 +01:00
  • c6b0d874da Mode Artur Meski 2019-09-22 18:19:00 +01:00
  • 2166bc38f0 Examples, invocation script Artur Meski 2019-09-22 18:18:35 +01:00
  • f1122cafa2 Banner Artur Meski 2019-09-22 16:54:03 +01:00
  • 1077dadebb HSR example Artur Meski 2019-09-22 16:40:26 +01:00
  • dc6213743e Synxtax error Artur Meski 2019-09-22 16:37:11 +01:00
  • 47741751ee SMT with no options Artur Meski 2019-09-22 16:36:41 +01:00
  • a260187478 Chain reaction example Artur Meski 2019-09-22 16:35:00 +01:00
  • a16a5cd030 Invocation of SMT module Artur Meski 2019-09-22 16:23:27 +01:00
  • a30b5da6d8 The main ReactICS script Artur Meski 2019-09-22 16:19:14 +01:00
  • 62da2de88c Added cassert Artur Meski 2019-09-22 13:31:49 +01:00
  • f91fce4c34 ASM generator, syntax update Artur Meski 2019-06-23 15:15:17 +01:00
  • 2379248d3f Disallow for PMutex Artur Meski 2019-04-28 18:59:38 +01:00
  • 7f212fbf2b Modified PMutex Artur Meski 2019-04-28 18:55:06 +01:00
  • 390eda7e48 Entity concentration validation (against its max) Artur Meski 2019-04-28 12:22:01 +01:00
  • 614817bf94 trivial example Artur Meski 2019-04-06 20:07:01 +01:00
  • 52ad96358a bison update Artur Meski 2019-04-06 19:47:23 +01:00
  • f587957b7f Clean-up Artur Meski 2019-03-20 21:04:47 +00:00
  • cd698c281c Tests, parameters, minor clean-up Artur Meski 2019-03-19 21:37:56 +00:00
  • 08ff772c1c Sorting out licensing Artur Meski 2019-03-05 18:40:07 +00:00
  • 485960b912 Merge branch 'master' of github.com:arturmeski/reactics pyparser Artur Meski 2019-03-03 22:41:42 +00:00
  • d2347ae0bb README update Artur Meski 2019-03-03 22:41:27 +00:00
  • 96d172d925 Set theme jekyll-theme-minimal Artur Meski 2019-03-03 22:32:47 +00:00
  • 863e456af2 README Artur Meski 2019-03-03 22:30:38 +00:00
  • b619f6119d Merge branch 'bdd' Artur Meski 2019-03-03 22:26:33 +00:00
  • 97c83ba535 Moved files to 'reactics-bdd' Artur Meski 2019-03-03 22:26:33 +00:00
  • 5eb8e3b63d Moved files to 'reactics-smt' Artur Meski 2019-03-03 22:26:00 +00:00
  • 21edba3c65 Test Artur Meski 2019-03-02 19:01:33 +00:00
  • c3a19d81dc Code re-formatting Artur Meski 2019-02-23 14:41:36 +00:00
  • 5f8d979906 Merge pull request #1 from arturme/distrib_rs Artur Meski 2019-02-23 14:30:11 +00:00
  • 59cbc00e7f Cleaning up rs/ Artur Meski 2019-02-23 13:06:42 +00:00
  • df19367659 Removed tgz Artur Meski 2019-02-23 13:01:45 +00:00
  • 493e4c5fc6 Clean-up Artur Meski 2019-02-23 12:59:20 +00:00
  • 28821c78de Cleaning up Artur Meski 2019-02-22 23:23:59 +00:00
  • f6de47a827 Moved avg.py to scripts/ Artur Meski 2019-02-22 23:15:39 +00:00
  • 9e0ca1d654 Example: overview Artur Meski 2019-02-22 23:14:57 +00:00
  • beef6c5f4e example Artur Meski 2019-02-22 22:10:17 +00:00
  • 0e4a58a9af Examples, default concentration Artur Meski 2019-01-01 16:06:57 +00:00
  • c990b33d96 Print, phd_example Artur Meski 2018-12-31 18:56:04 +00:00
  • b70c09a2d1 Shorter verbose message Artur Meski 2018-12-29 22:41:15 +00:00
  • e4f5b7271e Formatting Artur Meski 2018-12-29 22:07:26 +00:00
  • 53504d6514 Parser semicols Artur Meski 2018-12-29 15:01:57 +00:00
  • 37ef85beaa Space Artur Meski 2018-12-29 13:50:28 +00:00
  • e0535de471 Version Artur Meski 2018-12-29 13:48:56 +00:00
  • 877e9d0954 Benchmarks Artur Meski 2018-12-08 21:58:39 +00:00