check code diff between old and new repo (don't merge) #7
Conversation
There was a problem hiding this comment.
what is this for?
| result_path = Path(ilp_problem=ilp_problem, nodes=candidate_path_nodes) | ||
|
|
||
| # feasibility test | ||
| value = self.measure_path(result_path, f'gen-basis-path-row{current_row}-attempt{i}') |
There was a problem hiding this comment.
- feasability test through measurement
| current_row += 1 | ||
| num_paths_unsat = 0 | ||
|
|
||
| #feasibility test |
There was a problem hiding this comment.
- again checking feasibility through measurement
There was a problem hiding this comment.
SMT hidden in the function
| logger.info("Adding a constraint to exclude these edges...") | ||
| infeasible.append(candidate_path_edges) | ||
|
|
||
| logger.info("Finding the edges to exclude...") |
There was a problem hiding this comment.
There is some logic missing
There was a problem hiding this comment.
- Replace CIL prepocessing with Clang preprocessing
- Rename variables
- move helper functions for file processing
- feasibility check through measurement
- some logic is missing
There was a problem hiding this comment.
replaced with llvm
There was a problem hiding this comment.
replaced cil and phoenix
There was a problem hiding this comment.
replaced with yaml
There was a problem hiding this comment.
replace cil with llvm
| logger.info("Candidate path found.") | ||
| logger.info("Running the candidate path to check feasibility and measure run time") | ||
| candidate_path_edges = Dag.get_edges(candidate_path_nodes) | ||
| candidate_path_value = ilp_problem.obj_val |
There was a problem hiding this comment.
check feasibility using new smt
| elif querySatisfiability == Satisfiability.UNSAT: | ||
| logger.info("Candidate path is infeasible.") | ||
| analyzer.add_path_exclusive_constraint(candidate_path_edges) | ||
|
|
There was a problem hiding this comment.
logic missing?
There was a problem hiding this comment.
replaced by llvm
There was a problem hiding this comment.
gametime versioning
No description provided.