Timeline


and

Oct 31, 2010:

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

Oct 28, 2010:

5:10 PM Changeset [953f47]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
improve output
4:59 PM Changeset [4fae46]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
simplify go.sh
3:40 PM Changeset [def885]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Merge remote branch 'proj/master' into develop Conflicts: …
3:40 PM Changeset [ea113c6] by Gerrit Code Review <gerrit@…>
Auto-merge of def885e5b542561045cdfba03570214f8079f915
3:17 PM Changeset [64e249]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
run testsuite with libcheck and validation at once
3:16 PM Changeset [96e8907]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
remove taking temporary address warning
3:06 PM 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
3:04 PM Changeset [9d4311]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
indent CodeSatStream?.cpp
3:02 PM Changeset [b97551b]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
fix kconfig symlink in validation
3:01 PM 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 AM Changeset [a65fe5]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
remove now obsolete undertaker/tests/ directory
11:16 AM Changeset [4d7f3b]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add check rule to top-level makefile

Oct 27, 2010:

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

Oct 26, 2010:

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

Oct 23, 2010:

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

Oct 22, 2010:

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

Oct 21, 2010:

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

Oct 18, 2010:

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

Oct 8, 2010:

6:16 PM Changeset [357fcb4]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
fix segfault on syntax error
3:43 PM Changeset [a477efd]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Merge branch 'feature/limboole-integration' into develop
3:43 PM Changeset [799849] by Gerrit Code Review <gerrit@…>
Auto-merge of a477efd1a8818417cff8a94d403736460c6b6bd1
3:42 PM Changeset [aab92e]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
integrated limboole source code into undertaker
3:37 PM Changeset [6d71646]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
import limmat source tree
12:01 PM Changeset [87cc75]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Merge branch 'feature/RsfDbFactoryRewrite' into develop
12:01 PM Changeset [0b014bd] by Gerrit Code Review <gerrit@…>
Auto-merge of 87cc755cd21280607e770d4f4f118a2f6f523c3b
12:01 PM Changeset [e0c906]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
add profiler for loading the rsf models
11:50 AM 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 AM Changeset [7da6dc1]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
use boost::filesystem instead of calling find
10:57 AM 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.