Commits · main · woca / platin · GitLab

Snippets Groups Projects

Jun 21, 2024
- clarify licensing · f18d2c54
  Phillip Raffeck authored 10 months ago
  
  f18d2c54
Jun 20, 2024
- add gcfg testcases · e1d956d3
  Phillip Raffeck authored 10 months ago
  
  e1d956d3
- gitlab-ci: install riscv toolchain · 4e543edc
  Phillip Raffeck authored 10 months ago
  
  4e543edc
- wca: identify interrupt nodes by local successors · 97aaab86
  Phillip Raffeck authored 10 months ago
  97aaab86
- wca: additional condition for exit node check · 76f9c8a6
  Phillip Raffeck authored 10 months ago
  
  76f9c8a6
- wca: assert recomputation leads to identical values · 6aa44c72
  Phillip Raffeck authored 10 months ago
  
  6aa44c72
- wca: more info messages · 020cda5b
  Phillip Raffeck authored 10 months ago
  
  020cda5b
- ESP32C3: add default cpu current consumption · aa1ae19b
  Phillip Raffeck authored 10 months ago
  
  aa1ae19b
- PML: discard nil values during PML parsing · b7e91692
  Phillip Raffeck authored 10 months ago
  
  b7e91692
- PML: default initializer for device list · 6603eff4
  Phillip Raffeck authored 10 months ago
  
  6603eff4
- programinfo: actually ignore flowfacts marked as ignore · ae000cfe
  Phillip Raffeck authored 1 year ago
  
  ae000cfe
- IPETEdge: do not compare against other classes · ae3c8d44
  Phillip Raffeck authored 1 year ago
  
  ae3c8d44
- add TODO about potentially wrong baseline device handling · 531f68c3
  Phillip Raffeck authored 1 year ago
  
  531f68c3
- wca: explicitly check and abort when wcet value is calculated twice · 2f6d3d58
  Phillip Raffeck authored 1 year ago
  
  2f6d3d58
- wca: resolve timefacts · e54a7846
  Phillip Raffeck authored 1 year ago
  
  e54a7846
- device iternals · cad53110
  Phillip Raffeck authored 1 year ago
  
  cad53110
- add timebound test · 4430f6b7
  Phillip Raffeck authored 1 year ago
  
  4430f6b7
- add support for timebound expressions · 9dc41aee
  Phillip Raffeck authored 1 year ago
  
  9dc41aee
- wca: transform timefacts · be99f584
  Phillip Raffeck authored 1 year ago
  
  be99f584
- transform timefacts to flowfacts · d75abd43
  Phillip Raffeck authored 1 year ago
  
  d75abd43
- introduce timefacts · a35338b7
  Phillip Raffeck authored 1 year ago
  a35338b7
- wca: WCEC: more informative result output · c34cc59b
  Phillip Raffeck authored 1 year ago
  
  c34cc59b
- add devicefacts for facts about target platform · 48d6caa5
  Phillip Raffeck authored 1 year ago
  
  48d6caa5
- utils: string format for frequency · 664f2ac5
  Phillip Raffeck authored 1 year ago
  
  664f2ac5
- esp32c3: add default time per cycle · 8e00a51a
  Phillip Raffeck authored 1 year ago
  
  8e00a51a
- pml: do not prune gcfg facts · bc7a5154
  Phillip Raffeck authored 2 years ago
  
  bc7a5154
- test: armv7m: fix ARCH · b0386464
  Phillip Raffeck authored 10 months ago
  
  b0386464
- ipet: lp_solve does not like , in variable names · 0e550557
  Phillip Raffeck authored 2 years ago
  
  0e550557
Jun 19, 2024
- replace Fixnum with Integer · df83456a
  Phillip Raffeck authored 10 months ago
  df83456a
- update gemfile with json · beb3633a
  Phillip Raffeck authored 1 year ago
  
  beb3633a
- replace File.exists with File.exist · 33239751
  Phillip Raffeck authored 10 months ago
  33239751
Apr 24, 2024
- riscv32: die if unknown library func encountered · 4493428a
  Eva Dengler authored 1 year ago
  
  4493428a
Feb 06, 2024
- CI: install libyaml-dev on debianoids for psych · 5c8d2fee
  Simon Schuster authored 1 year ago and Eva Dengler committed 1 year ago
  
  5c8d2fee
- Always caputure output logs of tests to work around gitlab-ci's log length limitations · 5da524d0
  Simon Schuster authored 1 year ago and Eva Dengler committed 1 year ago
  
  5da524d0
- gitlab-ci: enable debian stable · 2365741a
  Simon Schuster authored 3 years ago and Eva Dengler committed 1 year ago
  
  2365741a
- .gitlab-ci: move to archlinux:base-devel · 305bdd16
  Simon Schuster authored 4 years ago and Eva Dengler committed 1 year ago
  
  305bdd16
- CI: add nokogiri native dependencies for ubuntu · f1c65717
  Simon Schuster authored 4 years ago and Eva Dengler committed 1 year ago
  
  f1c65717
- gitlab-ci: Archlinux: update the base system before package installation · f7dfa337
  Simon Schuster authored 4 years ago and Eva Dengler committed 1 year ago
  
  f7dfa337
- .gitlab-ci: Mitigate https://bugs.archlinux.org/task/66882 in archlinux CI image · f74c8540
  Simon Schuster authored 4 years ago and Eva Dengler committed 1 year ago
  
  f74c8540
- Configure submodules for gitlab-ci · 9a8ecdac
  Simon Schuster authored 4 years ago and Eva Dengler committed 1 year ago
  
  9a8ecdac