Timeline



10/31/10:

23:30 Changeset [a5af72]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
removed dead and unneeded files
23:21 Changeset [d1d4e4]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Added correct undertaker target to main Makefile
23:01 Changeset [1cd894]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
use local path for git submodule
22:30 WikiDeletePage created by trac
22:30 TracBrowser created by trac
22:30 TracInterfaceCustomization created by trac
22:30 TracAdmin created by trac
22:30 TracEnvironment created by trac
22:30 TracQuery created by trac
22:30 TracSyntaxColoring created by trac
22:30 TracModWSGI created by trac
22:30 TracBackup created by trac
22:30 PageTemplates created by trac
22:30 TracRevisionLog created by trac
22:30 TracRoadmap created by trac
22:30 TitleIndex created by trac
22:30 TracModPython created by trac
22:30 RecentChanges created by trac
22:30 WikiNewPage created by trac
22:30 TracFastCgi created by trac
22:30 TracLogging created by trac
22:30 TracWiki created by trac
22:30 TracUnicode created by trac
22:30 InterMapTxt created by trac
22:30 WikiRestructuredText created by trac
22:30 TracCgi created by trac
22:30 TracChangeset created by trac
22:30 WikiPageNames created by trac
22:30 WikiFormatting created by trac
22:30 TracNavigation created by trac
22:30 TracTicketsCustomFields created by trac
22:30 WikiRestructuredTextLinks created by trac
22:30 TracLinks created by trac
22:30 TracInstall created by trac
22:30 WikiMacros created by trac
22:30 TracWorkflow created by trac
22:30 TracSupport created by trac
22:30 TracPlugins created by trac
22:30 TracIni created by trac
22:30 TracNotification created by trac
22:30 TracAccessibility created by trac
22:30 TracStandalone created by trac
22:30 CamelCase created by trac
22:30 SandBox created by trac
22:30 TracTimeline created by trac
22:30 TracPermissions created by trac
22:30 TracSearch created by trac
22:30 InterTrac created by trac
22:30 WikiProcessors created by trac
22:30 TracRss created by trac
22:30 TracFineGrainedPermissions created by trac
22:30 TracTickets created by trac
22:30 InterWiki created by trac
22:30 WikiStart created by trac
22:30 TracGuide created by trac
22:30 WikiHtml created by trac
22:30 TracReports created by trac
22:30 TracImport created by trac
22:30 TracUpgrade created by trac

10/28/10:

17:10 Changeset [953f47]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
improve output
16:59 Changeset [4fae46]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
simplify go.sh
15:40 Changeset [ea113c6] by Gerrit Code Review <gerrit@…>
Auto-merge of def885e5b542561045cdfba03570214f8079f915
15:40 Changeset [def885]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Merge remote branch 'proj/master' into develop Conflicts: …
15:17 Changeset [64e249]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
run testsuite with libcheck and validation at once
15:16 Changeset [96e8907]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
remove taking temporary address warning
15:06 Changeset [85cfc18]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
CodeSatStream: don't do a undead check, if already dead block
15:04 Changeset [9d4311]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
indent CodeSatStream.cpp
15:02 Changeset [b97551b]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
fix kconfig symlink in validation
15:01 Changeset [8bb2e6]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
SatChecker: do picosat init/reset in the check routine, not in …
11:16 Changeset [a65fe5]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
remove now obsolete undertaker/tests/ directory
11:16 Changeset [4d7f3b]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add check rule to top-level makefile

10/27/10:

17:25 Changeset [bb2d2b4]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
fixes for makefile
17:20 Changeset [d70530]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add gitignore file
17:19 Changeset [fb1a4d]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add forgotten files for picosat
17:04 Changeset [68f9ff] by Gerrit Code Review <gerrit@…>
Auto-merge of 2af06314b717e20f71328eea6160bbec39350d6a
17:04 Changeset [2af0631]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge remote branch 'origin/qy03fugy-picosat'
16:40 Changeset [1a6a81]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add a couple of test cases
16:40 Changeset [496e4e8]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
new default binary
16:40 Changeset [de6b7f]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
import test-suite script from sparse 0.4.3
16:40 Changeset [1de9ae1]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
remove time benchmarking from model loading for the testsuite, we …
16:40 Changeset [32a962]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
new switch to print runtimes (unneeded for the testsuite)
16:40 Changeset [d4cccc3]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
reference new ziz commit
16:40 Changeset [f9a67ee]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add missing dependency on libziz for undertaker
16:40 Changeset [c759e04]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
various cleanups cleanups in output and code (mostly indentation) …
12:33 Changeset [ef4eb9]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
silence FinishSaveCurrentConditionalBlock for regular use

10/26/10:

17:10 Changeset [822715]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
using picosat function instead of limmat
16:41 Changeset [34cae5]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
remove limmat sources, add picosat sources
16:00 Changeset [844e18]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
add test parser and translator testcases with check
15:31 Changeset [08c4d5]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
some 80 character cleanup
15:16 Changeset [11e60c]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
lots of whitespace cleanups
15:12 Changeset [984eb80] by Gerrit Code Review <gerrit@…>
Auto-merge of 39b4a606a03251fef79708a56ea73de91868e499
15:12 Changeset [39b4a60]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge remote branch 'origin/qy03fugy-develop' into tartler check …
13:26 Changeset [d292fb4]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
check worklist argument correctly

10/23/10:

21:46 Changeset [47fc06]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
check worklist argument correctly
20:38 Changeset [00dc8a] by Gerrit Code Review <gerrit@…>
Auto-merge of 5eea0df9436b5269043699a302e5e641ba1a4ffc
20:38 Changeset [5eea0df]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Merge remote branch 'proj/tartler' into develop Conflicts: …

10/22/10:

15:32 Changeset [f68bb9]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
scripts to support the undertaker in a Linux analysis
15:27 Changeset [714b89]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add Doxygen rule and config
15:16 Changeset [cf4861]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
cleanup: Introduce type 'ParentMap'
14:55 Changeset [8ead39]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
'simple' regression test for undertaker
09:28 Changeset [85c7d73]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
nicer debug messages

10/21/10:

18:11 Changeset [ba95ec]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
improve error handling with wrong parameters
18:08 Changeset [76ffb8]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
undertaker: do the parallelism intern, and use shared models
16:12 Changeset [7d34ea]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add rule to run all tests
16:04 Changeset [16a5e4]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add profiler for loading the rsf models
16:04 Changeset [5c0a9a0]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
use boost::filesystem instead of calling find
16:04 Changeset [97da7d]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
KconfigRsfDbFactory: add check, if no rsf models are found. Instead …
16:00 Changeset [434d880]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
added test case for sat checker
15:47 Changeset [36c4f03]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
import limmat from branch qy03fugy-develop
15:34 Changeset [75b7eb]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
fix member initialization order
15:29 Changeset [564984]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
disable debug by default, but add comment how to compile with debug …
15:25 Changeset [5bffc1f]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add very simple testrule for cpppc
15:22 Changeset [e76ad4]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
cleanup cpppc
15:22 Changeset [54892b]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Change API of CodeSatStream, take cloud container as (optional) …
15:21 Changeset [0260a0]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
disable undertaker2, currently doesn't build anymore
14:12 Changeset [f1e1f4]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
LimBoole: remove old limboole source
14:08 Changeset [c415dab]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
SatChecker: possibility to disable debugging out and skip nodes with …
13:44 Changeset [aeb362]release/1.5release/1.6release/1.6.1 by Julio Sincero <sincero@…>
gitignore
11:00 Changeset [5bcabf]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
add difficult testcase and fix symbol detection
10:19 Changeset [3a1542]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
added boost::spirit parser and new limboole replacement

10/18/10:

15:06 Changeset [7911e8]release/1.5release/1.6release/1.6.1 by Julio Cezar Rodrigues Sincero <sincero@…>
getLine
13:12 Changeset [796dd4]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
added test case for sat checker

10/08/10:

18:16 Changeset [357fcb4]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
fix segfault on syntax error
15:43 Changeset [799849] by Gerrit Code Review <gerrit@…>
Auto-merge of a477efd1a8818417cff8a94d403736460c6b6bd1
15:43 Changeset [a477efd]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Merge branch 'feature/limboole-integration' into develop
15:42 Changeset [aab92e]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
integrated limboole source code into undertaker
15:37 Changeset [6d71646]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
import limmat source tree
12:01 Changeset [0b014bd] by Gerrit Code Review <gerrit@…>
Auto-merge of 87cc755cd21280607e770d4f4f118a2f6f523c3b
12:01 Changeset [87cc75]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Merge branch 'feature/RsfDbFactoryRewrite' into develop
12:01 Changeset [e0c906]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
add profiler for loading the rsf models
11:50 Changeset [c08fed8]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
undertaker/makefile: add boost_filesystem to the linker options
11:49 Changeset [7da6dc1]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
use boost::filesystem instead of calling find
10:57 Changeset [d1ec341]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
KconfigRsfDbFactory: add check, if no rsf models are found. Instead …
Note: See TracTimeline for information about the timeline view.