Skip to content

Issues: ariadne-cps/release-1.0

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

35 Open 19 Closed
35 Open 19 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Milestones
Filter by milestone
Loading
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

Travis integration on macos gcc
#54 opened Aug 28, 2018 by lgeretti
Missed events when the step size is large blocker bug Something isn't working
#52 opened Feb 9, 2017 by lgeretti
TaylorModel::value() after reconditioning not working correctly bug Something isn't working major
#51 opened Feb 3, 2017 by lgeretti
5
Change the step size relation to grid enhancement New feature or request major
#50 opened Jan 20, 2017 by lgeretti
Add consistency checks for evolver settings enhancement New feature or request minor
#49 opened Jan 15, 2017 by lgeretti
Add Ariadne into the list of tools for Hybrid System on wikipedia task trivial
#48 opened Jan 14, 2017 by lgeretti
Using C++11 introduces error in evolution bug Something isn't working critical
#47 opened Jan 14, 2017 by lgeretti
Hierarchical composition major proposal
#43 opened Oct 9, 2016 by lgeretti
Renaming the I/O interface of automata enhancement New feature or request major
#42 opened Oct 9, 2016 by lgeretti
Create Builders for Evolver, ReachabilityAnalyser and Verifier enhancement New feature or request major
#41 opened Sep 19, 2016 by lgeretti
Evolution time estimation too coarse for finite time discretiser routines bug Something isn't working minor
#39 opened Sep 15, 2016 by lgeretti
Check evolution invariance to scale minor task
#38 opened Aug 22, 2016 by lgeretti
2
Deal with the laser example using non-quadratic raised cosine minor task
#37 opened Aug 14, 2016 by lgeretti
Analyze the possibility to perform mesh reachability analysis major proposal
#36 opened Jul 31, 2016 by lgeretti
2
Adapt TaylorModel accuracy parameters enhancement New feature or request major
#33 opened Jul 24, 2016 by lgeretti
1
Improve error absorption enhancement New feature or request major
#29 opened Jul 21, 2016 by lgeretti
Review the Lanotte-Dini article task trivial
#28 opened Jul 20, 2016 by lgeretti
Input events acceptance influences the event source automaton bug Something isn't working critical
#26 opened Jul 14, 2016 by lgeretti
1
Unspecified dynamics for a mode do not raise an error bug Something isn't working major
#25 opened Jul 14, 2016 by lgeretti
Dangling input events cause transitions to be always taken bug Something isn't working minor
#24 opened Jul 13, 2016 by lgeretti
IntersectionException in the laser case study bug Something isn't working major
#23 opened Jul 13, 2016 by lgeretti
Fix the CMOS inverter example bug Something isn't working minor
#22 opened Jul 11, 2016 by lgeretti
Convert dominance examples to the compositional format enhancement New feature or request minor
#21 opened Jul 11, 2016 by lgeretti
Safe settings update for evolver/analyser enhancement New feature or request minor
#20 opened Jul 10, 2016 by lgeretti
Create a FindAriadne.cmake module enhancement New feature or request minor
#19 opened Jul 10, 2016 by lgeretti
ProTip! Find all open issues with in progress development work with linked:pr.