{"shas":[["208cda5525013afd7011251e89d1d794e8a6035b","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Removed java class files because it makes merges annoying; instead, added jtlv build script for *nix","Cameron Finucane"],["a381d618aabad40528028c879278fb8858f99609","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Switch to StyledTextCtrl in speceditor for better editing capabilities","Cameron Finucane"],["9ff020ea184d2d84967d16495e272c1e2f63ab16","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Fixed path bug in calling analysis code","Cameron Finucane"],["d459a58fe17f38b92ff485b817ff98f5e472149b","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Initial hideandseek example from Ben (slightly modified)","Cameron Finucane"],["0d0fe49b2c68a954c9bdba8c9cbc09a3b153a89a","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Removed debugging code from JTLV that made it so in some cases only a single possible initial condition was considered","Cameron Finucane"],["37d40518161ab150dfe4481e52768f24218a9813","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Minor tweaks to SE parsing, including adding support for 'you were activating'","Cameron Finucane"],["938996dfa72f284ceb1e005ab75896d307a5d97a","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Fixed incorrect set/reset behavior when events include system conditions","Cameron Finucane"],["0b987525b036fbcfdcefd5b8e3b352ae052e5846","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Fixed another eng2ltl bug involving region names being contained in other region names","Cameron Finucane"],["efaa70143ebeff3f26061eccc2863756c44cb619","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Rewrote HnS example from scratch","Cameron Finucane"],["4f32d2711c91947e4ac9b8dc43a5cafe8a6092a7","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Created utility to convert region files to SVG file","Cameron Finucane"],["942a04e41fe11399bc45ad691d45f10814f1337b","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","utility for converting husion's XML maps into region files","Cameron Finucane"],["97b45a23cd1be374a2967c222d5929a91d6d17b2","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","added pioneer movement test script","Cameron Finucane"],["6509e25d277afd3399c95b76dcab5e6f100d61b0","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Moved various utils into etc/utils dir","Cameron Finucane"],["85918ab605c5df9597cadacd7d45209f582fe00e","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","simconfig window now lists robots in spec directory too (still need to handle case where there are two robots with the same name)","Cameron Finucane"],["e804e281a866af90451a90fed48408789184eb00","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","SimGUI now shows what human-friendly region name any given pXX region corresponds to","Cameron Finucane"],["a35d7b95d52a6ca863d09f9ba766b1227298d468","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Shortened delay on dummyActuator","Cameron Finucane"],["5fb3a680a208df4365d513a153baf015fc757116","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Minor updates to orca handlers to match ASL infrastructure changes","Cameron Finucane"],["32ae4cc04260b692752860207660e3451ee09e9f","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Sheepdog example for lab demo","Cameron Finucane"],["2f06dea9fc4fd504e8a0b61c2c491399843de722","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Updating Nao handlers for HnS video","Cameron Finucane"],["765190081072dfb8799915b4ea086a9e1b0625d6","fbdbcc4e4931906aac47c47772cf0e3d8ed58612@cornell.edu","Switched execute.py and simGUI IPC to sockets so it works on Windows","Cameron Finucane"]],"repo":"LTLMoP/LTLMoP","actor":"cfinucane","ref":"refs/heads/development","size":42,"head":"cc8d029ccfb53a836d58563948c5a8d4d072e5e9","actor_gravatar":"42de43186984e09e1bf450eabad65b20","push_id":28361644}