jhawkreynolds
commented
1 week ago And here are the parser and lexer for Resolute: https://github.com/loonwerks/Resolute/tree/master/com.rockwellcollins.atc.resolute/src-gen/com/rockwellcollins/atc/resolute/parser/antlr
Noting this down for future reference: OSATE invokes Java tools in com.rockwellcollins.atc.resolute.analysis, which is within the loonwerks Resolute repository. https://github.com/osate/osate2/blob/master/core/org.osate.resolute/src/org/osate/resolute/ResoluteUtil.java Digging through this, you can find the path to: https://github.com/loonwerks/Resolute/tree/master/com.rockwellcollins.atc.resolute.analysis/src/com/rockwellcollins/atc/resolute/analysis/execution Which contains files titled "ResoluteInterpreter", "ResoluteEvaluator", and "ResoluteProver" among others. If we want to understand what Resolute is actually doing, this is probably where we want to start.