{"push_id":655434288,"size":24,"distinct_size":24,"ref":"refs/heads/feat-dan-pull-request","head":"26633d80c30fb42d62aa81448c47d5f16c831eef","before":"acb5ee98294b07b02ec2be028a0d964a507ebbf2","commits":[{"sha":"7f3046e55a7f13252f227233c593d06a9446ac72","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(heuristic): avoid backtracking in heuristic unless required\n\nfix(style)\n\nfix(heuristic): avoid backtracking in heuristic unless required\n\nfix(style)\n\nfix(heuristic): avoid backtracking in heuristic unless required\n\nfix(heuristic): avoid backtracking in heuristic unless required\n\nfix(style)\n\nfeat(heuristics): checkpoint on implementing ode simulation\n\nfeat(heuristics): checkpoint on implementing ode simulation\n\nfeat(heuristics): checkpoint on implementing ode simulation\n\nfeat(heuristics): checkpoint on implementing ode simulation\n\nfeat(heuristics): checkpoint on implementing ode simulation\n\nfeat(heuristics): checkpoint on implementing ode simulation\n\nfeat(heuristics): checkpoint on implementing ode simulation\n\nfeat(heuristic): ode sim heuristic\n\ncleanup","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/7f3046e55a7f13252f227233c593d06a9446ac72"},{"sha":"4f691d02030557d29bf801cca2fdf13bada62a48","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(ode_solver): fixed bug in capd formulation that involve double negative --\n\nfix(cherry-pick)","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/4f691d02030557d29bf801cca2fdf13bada62a48"},{"sha":"f2cc19744cb27746178b88f2ea29d16806cecdb3","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(bmc): added case when there is no relevance analysis","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/f2cc19744cb27746178b88f2ea29d16806cecdb3"},{"sha":"999ac58979d86d44746fe97355d13abcd7374664","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(dReach): added parameter for time splitting heuristic\n\nfeat(heuristics): generalized time splitting heuristic\n\nfeat(heuristics): generalized time splitting heuristic\n\nfeat(dsolver): style","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/999ac58979d86d44746fe97355d13abcd7374664"},{"sha":"0b77ec5cfc0637a77d58e900df0a0613f0ff4d5b","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(Enode.C): wrapped constants in parens to make negative values safe for CAPD parser","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/0b77ec5cfc0637a77d58e900df0a0613f0ff4d5b"},{"sha":"fb7821234f4112295b45546bc31eb2202de7b9b8","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(short_sat): Prefer not to branch on irrelevant variables.  Added start of new planning heuristic.\n\nfix(style)","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/fb7821234f4112295b45546bc31eb2202de7b9b8"},{"sha":"7284ac4afda1adc96a703841d6730254d96e3e03","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(THandler): handler was not freezing boolean vars, causing them to be eliminated with prejudice","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/7284ac4afda1adc96a703841d6730254d96e3e03"},{"sha":"085025015cb29dbbdc7990558258875205d0c4a7","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"feat(Debug.C): print Boolean var assignments\n\nfix(CoreSMTSolver): print boolean part of model","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/085025015cb29dbbdc7990558258875205d0c4a7"},{"sha":"032412112ce60b15e30e5b47a6657c135042b385","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"feat(heuristics): enhanced plan heuristic","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/032412112ce60b15e30e5b47a6657c135042b385"},{"sha":"4f7e2350aaa967a5b318c1a74b45cc3a2897cd91","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"feat(benchmarks): hycirca uav parameter synthesis problem\n\nfix(style)\n\nfix(debugging): removed unnecessary debugging","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/4f7e2350aaa967a5b318c1a74b45cc3a2897cd91"},{"sha":"8420c3ea0e52b877fce5fc50c53631131e9063d8","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"feat(benchmarks): integer version of modes for battery and heuristics file\n\nfix(heuristics): refactored variable selection heuristics to use common parent class and live in SMTSolver\n\nfeat(.gitignore)","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/8420c3ea0e52b877fce5fc50c53631131e9063d8"},{"sha":"c7d18328ee77d31c2bb32e7b1486bcb300d83a9b","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"feat(heuristics): network heuristics","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/c7d18328ee77d31c2bb32e7b1486bcb300d83a9b"},{"sha":"862828162278983ba01b23ad80eb474b70f8a2b8","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"feat(benchmarks): integer mode encoding of network battery","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/862828162278983ba01b23ad80eb474b70f8a2b8"},{"sha":"e6e7d20569a06e5778f29c4da3115f165b01a7df","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(heuristics): fixed planning heuristics to work with newly refactored heuristic interface\n\nForgot some new files.\n\nFixed compiling errors caused by updated code base.","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/e6e7d20569a06e5778f29c4da3115f165b01a7df"},{"sha":"6dd4a94bef7962b4c6f6b76d68241cc20d464631","author":{"email":"3a47c278ef77e86cb19c441058a10f84018cda85@saturn.uni-freiburg.de","name":"Alexander Heinz"},"message":"fix(dReach): Reworked substitution stuff\nAutomata instanciation\nExtended ile format syntax to accommodate for instanciation, network scope initialization\nInternal mode name encoding\nInitial SMT work\n\nDiscrete encoding (Hopefully). Sync really took a while...\nEncoded benchmark (train) for k=0..2 in benchmarks/train-k*.txt\n\nRewrote discrete mode encoding to use synchronization variables. Jump precompostion will remain an experimental feature.\n\"Active\" encoding.\n\nAdded continuous encoding\nRenamed enforcing variable\nUpdated train benchmark encoding in benchmarks/networked_train_testing_grounds/\n\nForgot to add a \"maintain\" for the last iteration.\n\nChanged invariant implication order\nAdded \"active\" formula to the last iteration since \"maintain\" requires the setting of gamma variables for the flow in the final mode-space\nAdded noop-transitions\nAdded unused variables in transitions for value propagation (x_1_0 = x_0_t)\nAdded dummy flows of gamma variables (gamma' = 0) to the flowmap since it's required for constructions such as x' = t * gamma\nAdded dummy flows for variables without flows to account for the satisfaction of the goal formula (Otherwise x_final_t might be dangling)\nAdded dumbed down generator model for testing of continuous behavior (dreach-networks/benchmarks/networked_train_testing_grounds/generator.drh\nAdded simple model for testing discrete behavior (dreach-networks/benchmarks/networked_train_testing_grounds/discrete_test.drh)\nUpdated benchmark outputs (dreach-networks/benchmarks/networked_train_testing_grounds/*.smt2)\n\nChanged composition parser according to mail/documentation\nUpdated benchmarks accordingly\n\ndan's train tweaks","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/6dd4a94bef7962b4c6f6b76d68241cc20d464631"},{"sha":"7d1d6c6bc7c13dca1036467995aff9aed614e092","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"feat(dReach): extended syntax for network heuristic","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/7d1d6c6bc7c13dca1036467995aff9aed614e092"},{"sha":"a702632477599bd93e921cffa2283a7bca93c04c","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"feat(heuristics): network heuristics working w/o labels, and added mode mutex constraint to encoding\n\nAdded basic backwards compatability. Creation of singleton network.\n\nFixes to the backward compatability\n\nAdd option to parse the old file format to dReach runscript.\n\nRemoved old, uncommented code.\nGeneral clean up.\n\nRemoved pathgen and possibly related stuff by mistake. Put it back in.","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/a702632477599bd93e921cffa2283a7bca93c04c"},{"sha":"dbac94e20a1370d4bffff8eee2fda6e4ba1156ac","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(dReach): invert switch for old/new format","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/dbac94e20a1370d4bffff8eee2fda6e4ba1156ac"},{"sha":"0390dbfb8dc40a4428e9cbef5db78f1422c53a8b","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"feat(heuristics): heuristic now uses labels for syncing.  Also fixed encoding mutex for goal modes.\n\nfix(cherry-pick)","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/0390dbfb8dc40a4428e9cbef5db78f1422c53a8b"},{"sha":"6c9812ea18b40c33f50f9d52a4d00e84a502e154","author":{"email":"c8cab6c876fd2939900126af636bf3791ba781b9@gmail.com","name":"Daniel Bryce"},"message":"fix(json): change from json11 dependency and fix rebase issues\n\nfix(cherry-pick)","distinct":true,"url":"https://api.github.com/repos/soonhokong/dreal3/commits/6c9812ea18b40c33f50f9d52a4d00e84a502e154"}]}