Help has moved to the Planio platform. All logins and passwords remained the same. All users will be able to login and use Redmine just as before. Read more...



Apply Clear

# Project Tracker Status Priority Subject Assignee Updated Category
152011 SMT-LIB Feature New Urgent Licences for SMT-LIB artifacts Cesare Tinelli 2013-02-22 05:38 PM Actions
154551 Language Feature New High add resource limit command Cesare Tinelli 2014-01-21 03:46 AM Actions
152351 Theories and Logics Feature New High Add various missing logics for existing benchmarks Cesare Tinelli 2013-02-23 07:19 PM Actions
152020 SMT-LIB Feature New High how to add and classify multi-query benchmarks Cesare Tinelli 2013-02-22 05:57 PM Actions
180913 Language Bug New Normal inconsistency with :print-success option Cesare Tinelli 2013-05-26 02:20 PM Actions
154519 Language Feature New Normal Add reset command Cesare Tinelli 2013-03-01 05:40 PM Actions
154516 Language Feature New Normal standardize meaning of division by zero in BV logics Clark Barrett 2013-03-01 05:38 PM Actions
154514 Language Feature New Normal add global declarations Cesare Tinelli 2013-03-01 05:34 PM Actions
154503 Language Feature New Normal add get-model command Cesare Tinelli 2013-03-01 05:22 PM Actions
152080 Language Feature New Normal interpolation commands Cesare Tinelli 2013-03-01 05:20 PM Actions
152342 Theories and Logics Feature New Normal Add BV and UFBV logics Cesare Tinelli 2013-02-23 06:19 PM Actions
152246 Language Feature New Normal officialize patterns Cesare Tinelli 2013-02-23 03:16 AM Actions
152074 Language Feature New Normal add ADTs to language Cesare Tinelli 2013-02-22 06:28 PM Actions
162924 SMT-LIB Feature New Low create new web pages for SMT-LIB site Cesare Tinelli 2013-03-24 04:59 AM Actions
154542 Theories and Logics Feature New Low define and add new theory of constructible arrays Cesare Tinelli 2013-03-01 06:13 PM Actions
154522 Theories and Logics Feature New Low add a parametrized theory of sets Cesare Tinelli 2013-03-01 05:45 PM Actions
152350 Language Bug New Low Let construct not well defined in reference-manual Cesare Tinelli 2013-02-23 07:03 PM Actions
152007 SMT-LIB Feature New Low Functions with Boolean arguments in SMT-LIB 2 Cesare Tinelli 2013-02-22 05:23 PM Actions

    Also available in: Atom CSV PDF