
    ^       —————.   —.—  .     .  —.—  .     .  .—————    .    .
   ———      |     |   |   |     |   |   ||    |  |         |    |
  —(o)—     |     |   |   |     |   |   |  |  |  |————     '————|
 ———————    |     |   |    |   |    |   |    ||  |              |
—————————   —————'   —'—     '     —'—  '     '  '—————         '

home     manual     roadmap     issues     status     papers     download

Custom Query (5 matches)

Filters

	Milestone
	Status	accepted assigned closed new reopened
And		Or

Group results by descending

Show under each result: Description

Max items per page

Status: assigned (5 matches)

Ticket	Summary	Owner	Type	Priority	Component	Created
#4	Implement exec --symbolic.	adamatousek	feature	major	MC	7 years ago
#53	divcc: Investigate and fix coreutils' ls	blurry	defect	major	divcc	6 years ago
#60	missing __sym_sitofp	Henrich Lauko	defect	major	other	6 years ago
#62	Generate concrete counterexample from smt.	Henrich Lauko	feature	major	MC	6 years ago
#49	Build system should check for minimal version of Z3	Henrich Lauko	defect	minor	other	6 years ago

Note: See TracQuery for help on using queries.

—— paradise  |  fi muni  |  2000 – 2018 ——