~verifypn-cpn/verifypn/cfp_point-wise

From Revision 284 to 265

expand all

collapse all

Rev		Summary	Authors	Date	Diff	Files
284		Fix handling of vars not on in arcs and unfolding of initial... Fix handling of vars not on in arcs and unfolding of initial tokens	tpede16 at aau	3 years ago
283		Fix bugs causing us to unfold too much Fix bugs causing us to unfold too much	tpede16 at aau	3 years ago
282		Clear valid bindings between iterations Clear valid bindings between iterations	tpede16 at aau	3 years ago
281		Undo push of wrong code Undo push of wrong code	tpede16 at aau	3 years ago
280		Fix intersection in tuples Fix intersection in tuples	tpede16 at aau	3 years ago
279		Convert color fixpoint creation to pointwise version Convert color fixpoint creation to pointwise version	tpede16 at aau	3 years ago
278		Add negation push in guard parser Add negation push in guard parser	tpede16 at aau	3 years ago
277		Fix lower max-interval values not unfolding correctly Fix lower max-interval values not unfolding correctly	tpede16 at aau	3 years ago
276		Implement timeout and print max intervals Implement timeout and print max intervals	tpede16 at aau	3 years ago
275		Add naive timeout Add naive timeout	tpede16 at aau	3 years ago
274		Fix issues with combining arc intervals Fix issues with combining arc intervals	tpede16 at aau	3 years ago
273		Change application of modifiers and merge intervals from ore... Change application of modifiers and merge intervals from orexpression	tpede16 at aau	3 years ago
272		If right side of or is nullptr there must be only one consti... If right side of or is nullptr there must be only one constituent and we just parse that. For sudoku B-N1	ptaankvist at gmail	3 years ago
271		Fix binding generator creating a binding when no binding is ... Fix binding generator creating a binding when no binding is valid	tpede16 at aau	3 years ago
270		Make some optimizations and fix binding generator done check Make some optimizations and fix binding generator done check	tpede16 at aau	3 years ago
269		Handle .all in tuples on arcs and simplify after merge Handle .all in tuples on arcs and simplify after merge	tpede16 at aau	3 years ago
268		Reapply fireability fix Reapply fireability fix	tpede16 at aau	3 years ago
267		Handle when vars only appear on output arcs Handle when vars only appear on output arcs	tpede16 at aau	3 years ago
266		Apply some optimizations to color fixpoint computation Apply some optimizations to color fixpoint computation	tpede16 at aau	3 years ago
265		Fix wrong indexing of modifiers in restrict vars Fix wrong indexing of modifiers in restrict vars	tpede16 at aau	3 years ago

• Older »

Loggerhead is a web-based interface for Breezy
Version: 2.0.1