Timeline



11/15/10:

18:03 Changeset [15ea04]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add new testcase for missing.globally.undead
17:22 Changeset [a6cbb7]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
logic simplification: return immediately if block is configuration defect
17:00 Changeset [c35a4a]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
minor cleanups in CodeSatStream::analyzeBlock
16:45 Changeset [043c8f]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
pass primary kconfig model to CodeSatStream::analyzeBlock this allows …
16:14 Changeset [1d5fa8d]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
document and cleanup logic of CodeSatStream::blockCoverage …
15:52 Changeset [11eb756]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
make CodeSatStream::parentMap const this allows/requires some …
15:50 Changeset [f8e158d]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
cleanup CodeSatStream - remove unreferenced method declaration …
14:32 Changeset [d68c16] by Gerrit Code Review <gerrit@…>
Auto-merge of 332f121b1f360bf053285ea847a1c3b9d4d0a68b
14:32 Changeset [332f121]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge branch 'codesatstream-refactoring'
14:27 Changeset [2d49c9c]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
update testcase sched.c for accidental logic fix because of refactorings
14:25 Changeset [382a87]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
simplify doIntersect doIntersect counted the number of "added" items …
13:02 Changeset [b24c86f]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
rsf2model: added testsuite
13:00 Changeset [6430ba6]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
rsf2model: insert format information into output
12:58 Changeset [20689b1]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
use && and !! for output instead of single character
12:57 Changeset [918744]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Remove isValid and bugfix Choices
12:39 Changeset [b24d64]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
remove unneeded functionality
12:37 Changeset [66c49f]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Refactor CodeSatStream for readability Rebased and reviewed by …
12:21 Changeset [8ca8ed]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
new testcase fs/exec.c to incldue a check for missing.undeads
12:12 Ticket #17 (dump-rsf.sh should detect available architectures itself) created by tartler
currently, undertaker/dump-rsf.sh has a hardcoded list of architecture …
11:57 Changeset [3f23c0]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add *.d to .gitignore
11:48 Changeset [aaf882]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Copied needed files for rsf2model to subdir
11:08 Changeset [12ef1c] by Gerrit Code Review <gerrit@…>
Auto-merge of 7f380592c73447a2b29a12fc83e30492ff3ab9c1
11:08 Changeset [7f3805]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge remote branch 'refs/remotes/origin/qy03fugy-develop'
11:07 Changeset [a1eb0d5]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add new testcase rcuupdate.c this tests creation on …
11:06 Changeset [f673d4]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
update rsf models to v2.6.37-rc1 also adapted sched.c
10:40 Ticket #16 (dumprsf extracts broken dependencies) created by tartler
10:34 <stettberger> grep MTD_TESTS kconfig-x86.rsf …
10:36 Ticket #15 (integrate herodotos configs and daily runs) created by tartler
10:36 Ticket #14 (integrate satconfig) created by tartler
As discussed, we need the satconfig project integrated into our codebase
10:15 Changeset [5bd18d]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
HOTFIX: initialize p_model in CodeSatStream::blockCoverage()
10:12 Changeset [ca56c0]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
update sched.c testcase to Linux v2.6.37-rc1 to increase testcoverage
09:34 Changeset [4e0de2]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Add dependency generation in Makefile. This will speed up compilation …
09:03 Changeset [9dacf05]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
Remove old and unneeded files

11/12/10:

14:53 Changeset [a16852] by Gerrit Code Review <gerrit@…>
Auto-merge of 99d28840b45fa65831131c164b609b757e781083
14:53 Changeset [99d288]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge branch 'tartler-develop': Avoid segfaults when skipping …
14:33 Changeset [667eea]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
whitespace cleanup (no code changes)
14:27 Changeset [97725e]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <tartler@…>
complete the previous fix also for CodeSatStream::analyzeBlock()
11:51 Changeset [938996]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <tartler@…>
Avoid segfaults when skipping crosschecks If no configuration models …

11/11/10:

14:45 Changeset [c542c3] by Gerrit Code Review <gerrit@…>
Auto-merge of 1bbfe32a79aad14874f2750df06eb5c864a9850b
14:45 Changeset [1bbfe3]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge branch 'tartler-develop': Implement first version of coverage …
14:32 Changeset [5ff81d9]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
export solutions of coverage analysis to caller
12:05 Changeset [8df043]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
implement parameter -c for coverage analysis
12:05 Changeset [196fa7]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
port julios coverage checker to new SatChecker API
12:04 Changeset [2c20e8]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Satchecker: try to enable as many features as possible when searching …
12:04 Changeset [1f31ed]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Documentation Improvement by introducing type AssignmentMap
12:04 Changeset [c8eea2]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
adding API for getting the assignment of a formular
11:03 Changeset [c31bc0]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
StringJoiner: do not destroy deque on join

11/10/10:

18:06 Changeset [57d1a0]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
fix scoping of undead_block and crosscheck only when block actually …
08:44 Ticket #6 (send email notifications for new tickets, ticket comments, etc.) closed by Christian Dietrich
fixed: Problem solved.

11/08/10:

13:51 Ticket #13 (Move Whitelisting to SatChecker) created by Christian Dietrich
12:32 Ticket #12 (Restructure CodeSatStream analyzeBlock) created by Christian Dietrich
11:10 Ticket #4 (Fix Pretty Printer) closed by Christian Dietrich
fixed

11/05/10:

14:06 Changeset [2242b1] by Gerrit Code Review <gerrit@…>
Auto-merge of 41b8edf6c5bc67ae55c5756ebf270fad93ed8311
14:06 Changeset [41b8ed]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge branch 'tartler-develop'
13:54 Changeset [b2b1e5]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
some refactoring in KconfigRsfDb a) move enum ITEMTYPE from inner …
13:45 Ticket #11 (Consider "required" choices) created by tartler
KconfigRsfDb currently considers all optional choices as required.
13:27 Changeset [8d8dad]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
remove member whitelist from KconfigRsfDb this was never properly in …
13:27 Changeset [9dddb2]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
rename WhitelistMap to Itemmap and use consequently
13:27 Changeset [5367f8]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
rename valid -> isValid
13:27 Changeset [11cfa0f]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
const strictness
13:27 Changeset [09048be]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
hide some impl. details in KconfigRsfDb.h
13:27 Changeset [64987e]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
use StringJoiner in KconfigRsfDb/doIntersect
13:27 Changeset [3fa1f5e]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Whitespace only fixes
12:26 Changeset [8fc369]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Extract StringJoiner to its own Implementation File
11:50 Ticket #10 (restore whitelist functionality) closed by tartler
fixed: implemented in changeset [2a14e70de5caad3529f5663eec89171f63e6890b]
11:45 Changeset [2a14e7]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
check for whitelisted item in writePrettyPrinted
11:44 Changeset [c817963]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
adjusted testcases to actually test the whitelist feature
11:44 Changeset [a42d13]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
reindent (only whitespace changes)
11:44 Changeset [e6b702]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Make undertaker load the whitelist
11:44 Changeset [44358c]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
new class KconfigWhitelist

11/04/10:

18:24 Changeset [6519a5]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
introduce new type WhitelistMap
11:39 Ticket #5 (extend parser to understand stuff like '=n') closed by tartler
fixed

11/03/10:

15:53 Changeset [f85848d] by Gerrit Code Review <gerrit@…>
Auto-merge of bc5563251d251801b591ff3c67fff11265c76ee3
15:53 Changeset [bc5563]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge branch 'tartler-develop' implement kind of a expression …
15:45 Changeset [d01c20]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add an additional testcase
15:33 Changeset [7cf843]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
SatChecker: implement !=y, !=m, !=n the same way
15:33 Changeset [a4efa9]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
implement =y, and =m equally to =n
15:33 Changeset [66aa966]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
implement =n in parser
15:33 Changeset [0dff4c]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
new testcase omapfb_main-structure.c currently fails because of …
15:29 Changeset [63a26a]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
make SatChecker pretty print the expression in case of errors
15:29 Changeset [65be932]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
implement kind of a expression pprinter for satchecker
12:55 WikiStart edited by tartler
(diff)
12:12 Changeset [daff7a]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
cleanup coverage files
12:11 Changeset [021d4b8]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
hotfix: use $(CURDIR), which is updated instead of $(PWD)
11:40 Changeset [443abf] by Gerrit Code Review <gerrit@…>
Auto-merge of ae1af4cd37e45222ce5bd10a20fac35cbc73e7b1
11:40 Changeset [ae1af4]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge branch 'tartler' add target for running a lcov based coverage …
11:39 Changeset [416212]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
update ziz
11:39 Changeset [4f93c8]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
update .gitignore files
11:39 Changeset [149c33]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
add target for running a lcov based coverage analysis in html format
11:13 Changeset [c3f17c]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
update .gitignore files
08:06 Ticket #10 (restore whitelist functionality) created by tartler
requires code + test

11/02/10:

16:26 WikiStart edited by tartler
New front Page (diff)
15:46 Changeset [19d555]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <tartler@…>
scripts for nightly runs on head scan-head is in bitten's crontab, …
14:20 Ticket #3 (update kconfig files) closed by tartler
fixed: Kconfig files for all architectures from 2.6.35 have now been copied in.
14:01 Changeset [4df9df] by Gerrit Code Review <gerrit@…>
Auto-merge of d1a16148b8ba1cac19175751f16ac39edb559df9
14:01 Changeset [d1a161]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge branch 'tartler-develop' extend test-suite to cover all …
13:50 Changeset [13f475]release/1.5release/1.6release/1.6.1 by Christian Dietrich <qy03fugy@…>
dump-rsf.sh should'nt fail if one dumpconf process fails
13:45 Changeset [a1d5b7]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
when loading all models, load them alphabetically to ensure consistent …
13:31 Changeset [496eb92]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
update scheduler-structure.c to match structure of kernel/sched.c from …
13:28 Ticket #9 (undertaker should remove potential dead files itself) created by tartler
It is very unintuitive that the user of undertaker needs to take care …
13:18 Changeset [5d07aa]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
check against all models, not only against x86
13:06 Changeset [2f02a0f]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
in case of failures, also output the differences to the reference outputs
13:00 Changeset [90ebc7]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
propagate test failures to makefile
12:53 Ticket #8 (Publish libziz) created by tartler
We should publish libziz and make the git repository publicly …
12:51 Changeset [7e8621]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
import kconfig dumps as of linux v2.6.35
12:51 Changeset [6d0ccf]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
cosmetics: cleanup info output
12:29 Ticket #1 (write and install start script for bitten-slave) closed by tartler
fixed
12:27 Changeset [ac74934]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
do not hardcode path to dumpconf in dump-rsf.sh ensure that …
11:59 Ticket #7 (announce new builds, commits and tickets in #vamos) created by tartler
it would be could if we had something CIA-like for this track in our …
11:58 Ticket #6 (send email notifications for new tickets, ticket comments, etc.) created by tartler
11:14 Ticket #5 (extend parser to understand stuff like '=n') created by tartler
11:13 Ticket #4 (Fix Pretty Printer) created by tartler
11:04 Ticket #3 (update kconfig files) created by tartler
the copy of the kconfig rsf files are pretty old in the branch.
11:03 Ticket #2 (Repair KconfigIntersect) created by tartler
The KconfigIntersect is for the Kconfig as the cpppc is for source files
11:02 Ticket #1 (write and install start script for bitten-slave) created by tartler
implemented as init script, example taken from …
10:23 Changeset [33184a] by Gerrit Code Review <gerrit@…>
Auto-merge of 462c1fc3010fb9986eaf9c7afae4b92db7ae4f0b
10:23 Changeset [462c1f]release/1.5release/1.6release/1.6.1 by Reinhard Tartler <siretart@…>
Merge remote branch 'origin/qy03fugy-develop'

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
Note: See TracTimeline for information about the timeline view.