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