issues
search
sillydan1
/
aaltitoad
Extendable verification engine and simulator for Tick Tock Automata constructs
GNU General Public License v3.0
6
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Rename README.md to README.md2
#52
Shiranm88
closed
1 week ago
2
Draft: Feature: MLSP implementation
#51
sillydan1
opened
3 months ago
0
chore: dependency updates
#50
sillydan1
closed
1 year ago
0
Build packages for distribution
#49
sillydan1
opened
1 year ago
1
Catch SIGTERM and handle it properly
#48
sillydan1
opened
1 year ago
0
Improvements found during testing
#47
sillydan1
closed
1 year ago
0
CI for OSX and Windows
#45
sillydan1
opened
1 year ago
0
Version v1.1.0
#44
sillydan1
closed
1 year ago
0
linux: parsing suddenly stops
#43
sillydan1
closed
1 year ago
0
Update issue templates
#42
sillydan1
closed
1 year ago
0
AG queries with counterexamples is doubly-inverted, which is confusing.
#41
sillydan1
opened
1 year ago
0
Naive implementation in plugin system
#40
sillydan1
opened
1 year ago
9
v1.0.0 - reimplementation
#39
sillydan1
closed
1 year ago
1
Statistics to file / pipe
#38
sillydan1
opened
1 year ago
0
v1.0.0 reimplementation
#37
sillydan1
closed
1 year ago
1
Patch/correct cross edge
#36
sillydan1
closed
2 years ago
0
Patch/bugfixes
#34
sillydan1
closed
2 years ago
0
Patch/bug hunting
#33
sillydan1
closed
2 years ago
0
Fix nondeterminism strategy code
#32
sillydan1
closed
2 years ago
0
Patch/long support
#31
sillydan1
closed
2 years ago
0
Patch/multimap
#30
sillydan1
closed
2 years ago
0
Patch/interestingness on external vars
#29
sillydan1
closed
2 years ago
0
Added proper versioning and changelog
#28
sillydan1
closed
2 years ago
0
Adding test sets and setting up CI
#27
sillydan1
closed
2 years ago
0
Getting CI into the build chain
#26
sillydan1
closed
3 years ago
0
A G feature is still wrong
#25
sillydan1
closed
2 years ago
1
Safety Query Support
#24
sillydan1
closed
3 years ago
0
Readme compile instructions is wrong
#23
sillydan1
closed
2 years ago
0
Fixing compilation for Windows
#22
sillydan1
closed
3 years ago
0
We can now output to a file
#21
sillydan1
closed
3 years ago
0
Added an additional check for providing EXIT_SUCCESS and EXIT_FAILURE
#20
sillydan1
closed
3 years ago
0
—output is doing nothing
#19
sillydan1
closed
3 years ago
0
Feature: CLI option for fileignore
#18
sillydan1
closed
1 year ago
1
The tool always returns 0
#17
sillydan1
closed
3 years ago
0
Cleanup in the TTA::GetNextTickStates function
#16
sillydan1
closed
2 years ago
1
Nondeterminism strategy support for reachability search
#15
sillydan1
closed
3 years ago
0
Guards with parentheses that checks on interesting variables are not parsed properly
#14
sillydan1
closed
1 year ago
1
An attempt to reduce hash_combine collisions
#13
sillydan1
closed
2 years ago
2
Draft: Trace Abstraction Refinement
#12
sillydan1
closed
2 years ago
1
Codebase is messy
#11
sillydan1
closed
2 years ago
1
Statespace explosion handling on Tock is semantically incorrect
#10
sillydan1
closed
2 years ago
1
Symbolic Toking, so that we can do proper model checking
#9
sillydan1
closed
3 years ago
0
Renaming to AALTITOAD in the source files
#8
sillydan1
closed
3 years ago
0
Testing trace equivalence confomance with HAWK system
#7
sillydan1
closed
3 years ago
0
Query Parsing
#6
sillydan1
closed
3 years ago
0
Parsing external variables
#5
sillydan1
closed
3 years ago
0
Parsing of .parts files
#4
sillydan1
closed
3 years ago
0
WIP: TTA Simulator Semantics
#3
sillydan1
closed
3 years ago
0
Project Naming Discussion
#2
sillydan1
closed
3 years ago
3
TTA Parser
#1
sillydan1
closed
4 years ago
0
Next