Skip to content

Issues: TorXakis/TorXakis

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

325 Open 292 Closed
325 Open 292 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Allow parentheses surrounding ConditionalCommunications in ProcessBehaviourSequence
#975 opened Mar 23, 2022 by GunnarMorrigan
eval fails on nested constdef
#974 opened Mar 3, 2022 by gijsvcuyck
Test purposes versus global settings
#973 opened Sep 30, 2021 by pjljvandelaar
Abstraction of Events research
#971 opened Jul 28, 2021 by pjljvandelaar
Can the SUT create new connections?
#969 opened Dec 18, 2020 by liyishuai
7
Regex with special characters fails
#966 opened Nov 24, 2020 by pjljvandelaar
1
Regex with $ fails
#965 opened Nov 23, 2020 by pjljvandelaar
1
[LPE] Provide number of states before applying LPE component-lpe user-experience-improvement
#962 opened Oct 28, 2020 by pjljvandelaar
1
Release cvc4 1.8 is incompatible
#961 opened Jun 22, 2020 by pjljvandelaar
4
crashing toString
#960 opened May 20, 2020 by tretmans
1
New stack requires new weeder
#959 opened Apr 17, 2020 by pjljvandelaar
1
Update of gh-pages fails on new pull-request help-wanted
#957 opened Mar 23, 2020 by pjljvandelaar
@keremispirli
13
'trace purp' command produces incorrect purpose bug
#956 opened Mar 12, 2020 by tretmans
1
Move to latest stack / ghc version development-process
#954 opened Mar 9, 2020 by pjljvandelaar
@harcokuppens
ISTEP translation to MCRL2 leads to erroneous MCRL2 model component-lpe
#950 opened Mar 3, 2020 by tretmans
@ikbendedjurre @tretmans
2
Haddock pages not working depends-on-third-party
#949 opened Jan 7, 2020 by pjljvandelaar
2
Parsing of SUT messages can result in a MultipleDefinitions error bug component-txs-compiler
#946 opened Dec 18, 2019 by brampetersen
5
Make alt-ergo available as an available-solver blocked help-wanted
#940 opened Oct 29, 2019 by pjljvandelaar
2
Generate Gherkin test cases from TorXakis model research
#939 opened Oct 8, 2019 by pjljvandelaar
1
Introduce Regex class
#938 opened Oct 4, 2019 by pjljvandelaar
4
interface to SMT-Solver: get-model versus get-value component-smt performace-improvement
#932 opened Sep 3, 2019 by pjljvandelaar
2
States of SUT interface architectural-improvement performace-improvement research
#931 opened Aug 27, 2019 by pjljvandelaar
Solve with growing data complexity research user-experience-improvement
#928 opened Aug 26, 2019 by pjljvandelaar
Rewrite for efficient execution / lpe transformation performace-improvement research
#927 opened Aug 26, 2019 by pjljvandelaar
lpe of procdef with hidden channels component-lpe
#919 opened Aug 15, 2019 by pjljvandelaar
1
ProTip! Adding no:label will show everything without a label.