mathlib3
feat(tactic/delta_instance): handle parameters and use in library
#1483

Merged

feat(tactic/delta_instance): handle parameters and use in library #1483

mergify merged 9 commits into master from delta_instance

robertylewis requested a review 6 years ago

jcommelin commented on 2019-09-24

robertylewis changed the title ~~feat(tactic/derive_instance): handle parameters and use in library~~ feat(tactic/delta_instance): handle parameters and use in library 6 years ago

fpvandoorn commented on 2019-09-24

fpvandoorn added awaiting-author

robertylewis force pushed from 77d0ad80 to 4005a2fa 6 years ago

robertylewis removed awaiting-author

robertylewis added awaiting-review

robertylewis removed awaiting-review

robertylewis added awaiting-review

robertylewis assigned

fpvandoorn 6 years ago

robertylewis commented on 2019-09-25

feat(tactic/core): improve delta_instance handler

a509c0e2

feat(*): use delta_instance derive handler

f1e86edd

feat(tactic/delta_instance): cleaner handling of application under bi…

11e3a0ee

Revert "feat(tactic/delta_instance): cleaner handling of application …

25148e9d

comment apply_under_pis

fbb4fd3a

properly get unused name

0ec4cbe6

robertylewis force pushed from 065fc70f to 0ec4cbe6 6 years ago

feat(tactic/delta_instance): run with high priority and don't run on …

ec278a30

fpvandoorn commented on 2019-09-30

Update src/tactic/core.lean

a322c080

fpvandoorn commented on 2019-09-30

fpvandoorn approved these changes on 2019-10-01

fpvandoorn removed awaiting-review

fpvandoorn added ready-to-merge

Merge branch 'master' into delta_instance

b1b4bbde

mergify merged 5ed5f594 into master 6 years ago

mergify deleted the delta_instance branch 6 years ago

Reviewers

fpvandoorn

jcommelin

Assignees

fpvandoorn

Labels

ready-to-merge

Milestone

No milestone

mathlib3 feat(tactic/delta_instance): handle parameters and use in library #1483 Merged

feat(tactic/delta_instance): handle parameters and use in library #1483

mathlib3
feat(tactic/delta_instance): handle parameters and use in library
#1483

Merged