VerifiableRobotics LTLMoP issues

VerifiableRobotics / LTLMoP

A toolkit for designing and implementing LTL-based task specifications.

http://ltlmop.github.io

GNU General Public License v3.0

56 stars 70 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Couldn't find Git Bash (Installation issues)

#49 garthbjerk closed 10 years ago
3
CKBotSim fix

#48 amptrofa closed 11 years ago
4
on windows, spec files cannot be on a different drive than the ltlmop directory

#47 cfinucane opened 11 years ago
0
Scintilla crashes on CallTipShow in SpecEditor with wx2.9.5 (OS X)

#46 cfinucane closed 11 years ago
1
NLTK parsing of empty/1-item groups gives bad LTL

#45 cfinucane closed 11 years ago
2
Simulated robot doesn't go anywhere

#44 ConstantineLignos closed 11 years ago
2
Bare LTL compilation in speceditor fails

#43 ConstantineLignos closed 11 years ago
1
use of udp in dummyactuator messaging can result in out of order log

#42 cfinucane opened 11 years ago
0
Spec Editor trying to parse a comment

#41 spmaniato opened 11 years ago
0
Changing robot configuration requires renaming the robot

#40 ConstantineLignos closed 11 years ago
1
Issue with hideandseek.spec

#39 jamiesternlicht closed 11 years ago
1
"and" in a handler param causes crash.

#38 cfinucane opened 11 years ago
0
You can type on SimGUI log

#37 wongkaiweng closed 11 years ago
3
Python issues

#36 anttihah closed 11 years ago
1
gumbotest/configs/ros.config: adds commas in transform matrix

#35 mmedvede closed 11 years ago
0
Update examples/gumbotest to use new map

#34 mmedvede closed 11 years ago
0
be friendlier when initial state violates some assumption

#33 cfinucane opened 11 years ago
0
include original spec text as inline comments in LTL file

#32 cfinucane opened 11 years ago
0
end execution if only possible state successor is current state (regardless of env)

#31 cfinucane opened 11 years ago
0
speceditor last line of text flickers on ubuntu

#30 cfinucane closed 10 years ago
3
allow speced to run even when CWD is not src/

#29 cfinucane opened 11 years ago
0
give better error if no simulation config is defined

#28 cfinucane closed 11 years ago
1
robot configuration window too small

#27 cfinucane opened 11 years ago
0
cut and paste broken on OS X

#26 cfinucane opened 11 years ago
4
handlersubsystem needs refactoring

#25 cfinucane closed 11 years ago
0
LTL generation doesn't handle 1-region maps correctly

#24 cfinucane opened 11 years ago
1
No spaces allowed in robot's name?

#23 spmaniato closed 11 years ago
0
Decomposition issue in grocery.regions

#22 spmaniato closed 11 years ago
2
Sensor proposition name cant start with a number

#21 RobertVillalba closed 11 years ago
1
Configurations don't delete

#20 RobertVillalba closed 11 years ago
1
Calibration tool freeze

#19 RobertVillalba closed 11 years ago
0
Setting basicSim init_region in GUI is blank

#18 ConstantineLignos closed 11 years ago
0
Sporadic crashes in controllerListen

#17 ConstantineLignos closed 11 years ago
1
Fixes rate limiting in basicSim.

#16 ConstantineLignos closed 12 years ago
1
New region editor obstacle regions problems

#15 SMSmith closed 12 years ago
0
New reged

#14 csalzberger opened 12 years ago
1
regions.py wx dependency

#13 ConstantineLignos closed 12 years ago
2
Extra & in LTL file if no environment constraints

#12 ConstantineLignos closed 12 years ago
0
Analyze shows slurptest.spec as unrealizable

#11 ConstantineLignos closed 12 years ago
11
DEEPPINK color not on all systems

#10 ConstantineLignos closed 12 years ago
1
Fix for actuation in state transitions

#9 ConstantineLignos closed 13 years ago
0
Development

#8 slivingston closed 12 years ago
1
Motion Controller

#7 blj39 closed 13 years ago
1
fixed a minor decomp bug

#6 jimjing closed 13 years ago
1
Development

#5 blj39 closed 13 years ago
0
fixed some decomposition bugs

#4 jimjing closed 13 years ago
1
Switched over to vector rendering of maps in all sub-applications. Fixed flickering and other image display problems.

#3 cfinucane closed 13 years ago
1
I fixed a bug in RegEd!

#2 cfinucane closed 13 years ago
1
Fixed a bug in reged!

#1 cfinucane closed 13 years ago
0