issues
search
VerifiableRobotics
/
slugs
SmalL bUt Complete GROne Synthesizer
Other
37
stars
25
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Update link to paper
#25
slivingston
closed
10 months ago
1
Minor question: Some non-error normal output is output into stderr instead of stdout
#24
5nizza
opened
1 year ago
1
Building slugs on m1 mac osx
#23
shawnxinyaoz
closed
1 year ago
2
How to use weak and strong "until"s in structuredslugs?
#22
sguysc
closed
4 years ago
1
extension for environmentally-friendly synthesis added
#21
akschmuck
closed
8 months ago
2
Question regarding the format of the slug output
#20
bbiiggppiigg
opened
6 years ago
1
explicit
#19
cyberspace22
closed
8 years ago
1
Two-dimensional cost / Infinite action cost
#18
progirep
closed
8 years ago
0
Pull request for working TravisCITests
#17
progirep
closed
8 years ago
0
request to create versions (and releases)
#16
slivingston
closed
8 years ago
2
tests of correctness of slugs?
#15
slivingston
opened
8 years ago
2
incomplete license description for CUDD
#14
slivingston
closed
8 years ago
1
How to change specification?
#13
layashamgah
closed
8 years ago
2
The experimental branch became mature
#12
progirep
closed
8 years ago
0
empty graph returned as explicit strategy for trivially realizable problem
#11
johnyf
closed
8 years ago
3
Counterstrategy synthesis doesn't work properly for "transition" liveness conditions
#10
vraman
closed
9 years ago
0
Revert "structured slugs compiler"
#9
progirep
closed
9 years ago
0
structured slugs compiler
#8
johnyf
closed
9 years ago
4
json output
#7
johnyf
closed
9 years ago
3
add doc for slugsin and structured slugs
#6
johnyf
closed
9 years ago
2
Backwards reachability computations do not enforce env safety unless "next" is used?
#5
spmaniato
closed
6 years ago
5
use gcc, g++ instead of clang on OS X
#4
johnyf
closed
10 years ago
1
(minor) error thrown when more than one file name provided
#3
jadecastro
closed
10 years ago
1
gcc g++ 4.7 needed to build SLUGS
#2
wongkaiweng
closed
10 years ago
1
Slugs Fuzzer needs to be updated
#1
progirep
opened
11 years ago
0