Update copyright notice
Stub for signal monitoring module
Added some funs useful for sig monitoring
Added some compiler warnings
More stubs for signal monitoring checker
Implemented basic signals of APs
Some funs over Traces useful for signal monitoring
More functions over signals
Some test signals
Signal shifting (for F) and utility funs
Temporal Until of signals + tests
Expose some more useful funs for signal monitoring
mplementation of the model checking fun
Use Octave to solve for plotting to file
Added tests for relative time bounds
Cleaned up redundant imports
Fixed bug in signal monitor
Merge branch 'signals'