1b694944c2
update js libs
...
downgrade typescript, because angular needs <4.2.0
2021-03-25 18:45:26 +01:00
f9fc4d2f74
remove node_modules from eclipse
...
Adds a resource filter for node_modules.
2021-03-06 09:37:52 +01:00
b8e73b9b7b
reformat
2021-03-06 09:36:43 +01:00
024fa06926
update js libs
2021-03-06 08:35:07 +01:00
cda7a43c89
update js libs
2021-03-06 08:34:01 +01:00
2bdbac328a
update 3rd party libs
2021-03-06 08:33:00 +01:00
e6e869dc2f
update JS libs
2021-02-19 19:37:07 +01:00
519e9f34c3
update 3rd party libs
2021-02-19 19:25:02 +01:00
6837fd67aa
update node
2021-02-17 17:52:13 +01:00
c4a3ca4422
fix protractor security issue
2021-02-17 17:43:10 +01:00
e9e46d810f
update node-gradle plugin
2021-02-17 17:41:29 +01:00
0ffbae6ec3
update JS libs
2021-02-17 17:35:45 +01:00
492efab78c
update libs
2021-02-17 17:32:14 +01:00
3763d09fa8
sort/filter by max average ratio
2020-12-01 17:10:40 +01:00
5498be6a86
update antlr to 4.9
2020-11-27 19:54:17 +01:00
c6d7f97628
serialize the ingestion of logfiles
...
performance improvement of roughly 40%
2020-11-27 19:49:22 +01:00
08111e0d69
performance improvement: ingest data directly from tmp file
2020-11-24 10:04:21 +01:00
11beda5432
make logging of insertion speed a little nicer
2020-11-24 10:00:53 +01:00
7ad1e95825
add plog downloader scripts
2020-11-24 10:00:24 +01:00
1e59271286
remove obsolete flag that was needed for the vue.js ui
2020-11-24 09:05:07 +01:00
405e5e9799
update typescript
...
step 3 of update Angular 10-> 11
2020-11-23 11:36:36 +01:00
34b80a2864
update angular materials
...
step 2 of update Angular 10 -> 11
2020-11-23 11:32:58 +01:00
398774dbd8
updating angular core and cli
...
step 1 of update Angular 10 -> 11
2020-11-23 11:31:45 +01:00
96bf08431f
update nodejs and npm
2020-11-23 11:25:40 +01:00
0bf4270224
update JS libs
2020-11-15 19:16:37 +01:00
d3eb61bd62
update dependencies
2020-11-15 13:10:12 +01:00
6dc0e3c250
performance improvement for queries with wildcards
...
Computing the union of many LongLists was inefficient, because we were
using a trivial algorithm. I replaced the algorithm with a multi way
merge. The old algorithm had a runtime of O(n!*m) where n is the number
of lists and m the length or the longest list. The new algorithm has a
runtime of O(log(n) * n*m).
2020-11-15 13:02:15 +01:00
356810c355
use correct average value
2020-11-05 16:45:26 +01:00
3bbf11a4ff
use info icon for information buttons
2020-11-05 16:44:29 +01:00
08328ec1e5
extract plot detail view into its own component
2020-11-01 19:13:15 +01:00
50c9e56f2e
reduce size of css
2020-10-31 09:58:49 +01:00
de6ffe5097
make tests more robust
...
1. we are now using a random port for listening
2. TcpIngestor.start() waits until the socket is established.
2020-10-31 09:46:12 +01:00
af4151bc81
update JS libs
2020-10-31 09:15:32 +01:00
0fab0c2e5e
update spring boot
2020-10-31 09:11:32 +01:00
50658b22ee
make URL of image host independent
2020-10-26 10:52:24 +01:00
6536611b5d
print only bar chart tics when they are greater than zero
2020-10-26 10:50:54 +01:00
45c1648773
POC for detailed gallery view
2020-10-18 19:25:53 +02:00
e15b16a65f
fix development server proxy
2020-10-17 14:27:54 +02:00
2cdc9813da
change background in active drop down options
...
Seems like the new material version came with weird coloring.
2020-10-17 10:49:14 +02:00
833f800afa
update javascript libraries
2020-10-17 10:19:56 +02:00
e8ce242a31
update gradle to 6.7
2020-10-17 10:16:23 +02:00
46070a31b9
add block size to the header of a PersistentMap and optimize storage
...
usage for monotonically incrementing keys.
2020-10-17 10:13:46 +02:00
277dba4c04
adding the blocksize to the metadata section
2020-10-10 17:03:55 +02:00
f9ed27f03b
method to print some stats for a tree
2020-10-07 18:50:19 +02:00
4749dca73a
add reindex method to PersistentMap
2020-10-07 12:30:33 +02:00
5cc16ad2f7
update angular to 10.1.3
2020-10-04 17:21:36 +02:00
a3e3c83ffc
value cache didn't work when keys didn't implement hashcode/equals
2020-10-04 17:21:16 +02:00
fbd07e465b
do not add/remove null values
2020-10-04 17:17:32 +02:00
ea7ba042df
track the cache hit rate
2020-10-04 17:16:52 +02:00
d4d3d01405
cache location of root node
...
The location of the root node is not cached in the nodeCache. So it had
to be read for every read or write access. We are still using a lock
when accessing the map. That makes it easy to cache the location.
2020-10-04 16:42:25 +02:00
