Commit Graph

Select branches

Hide Pull Requests

dependabot/cargo/actix-multipart-0.6.1

dependabot/cargo/aes-gcm-0.10.3

dependabot/cargo/clap-4.4.18

dependabot/cargo/h2-0.3.26

dependabot/cargo/mio-0.8.11

dependabot/cargo/mongodb-2.8.2

dependabot/cargo/serde_json-1.0.109

dependabot/cargo/strum-0.26.2

dependabot/cargo/webpki-0.22.4

feature/88_three-val-ng

feature/dexperiments

feature/issue_115_bddrestrict-lists

feature/var_dependencies

gh-pages

iccma-2025

integrate-pmc-vis

main

refactor/rcrefcell

#101

#103

#104

#105

#106

#107

#108

#109

#11

#110

#111

#112

#113

#114

#116

#117

#118

#119

#120

#121

#122

#123

#124

#125

#126

#127

#128

#129

#13

#130

#131

#132

#133

#134

#135

#136

#137

#138

#139

#14

#140

#141

#142

#143

#144

#145

#146

#147

#148

#149

#15

#150

#151

#152

#153

#154

#155

#156

#157

#158

#159

#16

#160

#161

#162

#163

#164

#165

#166

#167

#168

#168

#169

#170

#171

#172

#172

#173

#174

#175

#176

#177

#178

#179

#18

#180

#181

#181

#182

#182

#183

#184

#185

#186

#187

#187

#188

#189

#189

#19

#190

#190

#191

#191

#192

#192

#193

#194

#195

#21

#24

#25

#26

#27

#28

#29

#31

#32

#34

#36

#38

#4

#40

#41

#42

#43

#44

#45

#46

#47

#48

#49

#5

#50

#51

#52

#53

#55

#56

#57

#58

#59

#60

#61

#62

#63

#65

#66

#67

#68

#69

#7

#70

#71

#72

#74

#77

#78

#81

#83

#84

#85

#86

#87

#89

#91

#92

#94

#95

#96

0.2.2

0.2.4

0.3.0

0.3.1

bench_20220408

v0.1.0-alpha

v0.1.1-alpha

v0.1.1-alpha2

v0.1.2-alpha

v0.1.3-alpha

v0.1.3-alpha.2

v0.1.4-alpha.1

v0.1.4-alpha.2

v0.2.0-beta.1

v0.2.1-beta.1

v0.2.4-beta.1

v0.3.0-beta.1

v0.3.0-beta.2

Mono Color

• ff12d4fede
  Add naive af support to webserver (#195) main Lukas Gerlach 2025-06-30 08:51:23 +02:00
• c9631346ab
  Update Data Protection Commissioner address (#194) Lukas Gerlach 2025-05-22 10:55:50 +02:00
• 677533e998
  Try stable nogood for iccma binary iccma-2025 monsterkrampe 2025-04-09 15:54:43 +02:00
• 97b27d1251
  Implement remaining ICCAM tasks (except SE-ID) monsterkrampe 2025-04-02 15:54:58 +02:00
• ff575f9c4d
  Add Basic Binary for ICCMA 2025 monsterkrampe 2025-01-09 11:55:33 +01:00
• ca6c94f2e5 Update versions and fix formatting and clippy issues Stefan Ellmauthaler 2025-03-13 18:07:31 +01:00
• 54e57e3820 Update GDPR/legal document Stefan Ellmauthaler 2025-03-12 16:06:20 +01:00
• f25f81d626
  Bump h2 from 0.3.20 to 0.3.26 dependabot/cargo/h2-0.3.26 dependabot[bot] 2024-04-05 16:04:45 +00:00
• a256758be8
  Bump mongodb from 2.6.0 to 2.8.2 dependabot/cargo/mongodb-2.8.2 dependabot[bot] 2024-04-01 13:03:18 +00:00
• 95b802d12d
  Bump strum from 0.24.1 to 0.26.2 dependabot/cargo/strum-0.26.2 dependabot[bot] 2024-04-01 13:03:01 +00:00
• 8619cd9f83
  Start creating parsing only output for pmc-vis integrate-pmc-vis monsterkrampe 2024-03-28 10:26:08 +01:00
• e7ec60d57a
  Bump mio from 0.8.8 to 0.8.11 dependabot/cargo/mio-0.8.11 dependabot[bot] 2024-03-04 21:54:27 +00:00
• 5bb2ebc7eb
  Add dummy endpoints for PMC-VIS monsterkrampe 2024-02-19 10:25:35 +01:00
• d8cbff5ffb
  Bump clap from 4.3.19 to 4.4.18 dependabot/cargo/clap-4.4.18 dependabot[bot] 2024-02-01 13:09:28 +00:00
• f601d473cc Fix bug introduced by 530fb5c Stefan Ellmauthaler 2024-01-08 12:32:30 +01:00
• dff131132b
  Bump actix-multipart from 0.6.0 to 0.6.1 dependabot/cargo/actix-multipart-0.6.1 dependabot[bot] 2024-01-08 11:07:01 +00:00
• 18b55b1761
  Bump aes-gcm from 0.10.2 to 0.10.3 dependabot/cargo/aes-gcm-0.10.3 dependabot[bot] 2024-01-08 11:06:52 +00:00
• a7e68074a2
  Bump webpki from 0.22.0 to 0.22.4 dependabot/cargo/webpki-0.22.4 dependabot[bot] 2024-01-08 11:06:29 +00:00
• 604f57fcc4
  Bump serde_json from 1.0.104 to 1.0.109 dependabot/cargo/serde_json-1.0.109 dependabot[bot] 2024-01-08 11:06:27 +00:00
• 530fb5c4e6 Fix clippy warnings Stefan Ellmauthaler 2024-01-08 11:55:35 +01:00
• a85b0cb129 flake.lock: Update Stefan Ellmauthaler 2024-01-08 11:46:37 +01:00
• 627a1a1810
  Add flake app and packages for adf-bdd (#155) Stefan Ellmauthaler 2023-08-04 16:00:39 +02:00
• fc0042fcd1
  Bump serde from 1.0.180 to 1.0.181 (#166) dependabot[bot] 2023-08-04 09:28:10 +00:00
• bc403d10cb
  Merge pull request #165 from ellmau/dependabot/npm_and_yarn/frontend/semver-6.3.1 dependabot[bot] 2023-08-04 09:20:41 +00:00
• 34d3af0c0d
  Bump semver from 6.3.0 to 6.3.1 in /frontend dependabot[bot] 2023-08-04 09:11:03 +00:00
• 8cafca22eb Fix typo in info text monsterkrampe 2023-08-03 09:40:40 +02:00
• 3979f77d03 Upgrade dependencies monsterkrampe 2023-08-03 10:10:40 +02:00
• eeef4729b6 flake.lock: Update Stefan Ellmauthaler 2023-06-08 09:30:04 +02:00
• b68c0b3d3f NixOs 23.05 Stefan Ellmauthaler 2023-06-08 09:29:20 +02:00
• 6c0da967b9 Bump clap from 4.2.7 to 4.3.0 dependabot[bot] 2023-06-01 13:57:47 +00:00
• 716d1194a6 Bump predicates from 2.1.5 to 3.0.3 dependabot[bot] 2023-06-01 13:57:56 +00:00
• 3445ae343f Bump serde from 1.0.162 to 1.0.163 dependabot[bot] 2023-06-01 13:57:38 +00:00
• 26e978ca47
  Update Cargo.lock (#148) Lukas Gerlach 2023-05-05 15:37:34 +02:00
• dd8524e02e
  Update dependencies in yarn.lock (#146) Lukas Gerlach 2023-05-05 11:07:50 +02:00
• c9278cf5ce
  milestone/frontend (#63) 0.3.1 Stefan Ellmauthaler 2023-05-04 17:10:38 +02:00
• d9d6576008
  Add tests, Tidy up unneccessary methods feature/88_three-val-ng Stefan Ellmauthaler 2023-03-15 17:21:30 +01:00
• 6ee643ae20
  Add first 3 value nogood handling Stefan Ellmauthaler 2023-03-14 17:13:45 +01:00
• 5a7d6ef7be
  Add nogood-files ind the nogood module Stefan Ellmauthaler 2023-03-09 11:40:45 +01:00
• dd640cf423
  Add first structure for three valued NoGood reasoning Stefan Ellmauthaler 2023-03-07 14:06:01 +01:00
• 73986437f8
  Dependabot/bump (#140) Stefan Ellmauthaler 2023-02-17 14:03:33 +01:00
• 24c6788c9f
  Update Readme files to fix breaking badge changes Stefan Ellmauthaler 2023-01-24 10:49:34 +01:00
• 11083098a2
  Update/depbot flake (#133) Stefan Ellmauthaler 2023-01-02 10:07:24 +01:00
• 68acf25a39
  Dependabot/bump (#121) Stefan Ellmauthaler 2022-11-15 09:41:52 +01:00
• d61f5fcb95
  Optimise caching further feature/issue_115_bddrestrict-lists Stefan Ellmauthaler 2022-10-19 15:23:52 +02:00
• 3541afe4b8
  Implement list-based restriction Stefan Ellmauthaler 2022-10-19 14:06:07 +02:00
• 68cbab5b02
  Bump clap from 4.0.7 to 4.0.9 (#114) dependabot[bot] 2022-10-04 14:53:59 +00:00
• 6d687a3839
  Dependabot/bump (#113) Stefan Ellmauthaler 2022-10-04 16:47:46 +02:00
• d807089884
  Bump clap from 3.2.19 to 3.2.20 (#108) dependabot[bot] 2022-09-06 10:29:53 +00:00
• 683c12a525
  Dependabot/2022sep06 merge (#107) Stefan Ellmauthaler 2022-09-06 12:16:33 +02:00
• 17a57938c7
  Fix/restrict slow (#103) Stefan Ellmauthaler 2022-08-23 15:17:51 +02:00
• bc21ecabc7
  Add a channel to inform other threads about bdd updates (#95) Stefan Ellmauthaler 2022-08-17 12:43:35 +02:00
• 495f9c893f
  Add a random heuristic, based on rand-crate (#96) Stefan Ellmauthaler 2022-08-16 23:13:27 +02:00
• ebbf8de684
  Merge pull request #101 from ellmau/feature/issue_99_BDD-cache Stefan Ellmauthaler 2022-08-12 14:36:35 +02:00
• 7000c41a61
  Add cache to ite and restrict Stefan Ellmauthaler 2022-08-12 13:55:48 +02:00
• 8269fbac9d
  Bump clap from 3.2.12 to 3.2.16 (#83) dependabot[bot] 2022-08-02 18:08:38 +00:00
• dccf11479f
  Bump test-log from 0.2.10 to 0.2.11 (#84) dependabot[bot] 2022-08-02 18:03:41 +00:00
• fdf530f6e6
  Bump serde from 1.0.137 to 1.0.141 (#87) dependabot[bot] 2022-08-02 17:59:23 +00:00
• 0216a10895
  Merge pull request #94 from ellmau/triage/1.62.1_upgrade Stefan Ellmauthaler 2022-08-02 19:58:27 +02:00
• a0139c66e2
  
  Restore rust 1.62.1 conformity Stefan Ellmauthaler 2022-08-02 19:55:03 +02:00
• d8492dc6d0
  Merge pull request #92 from ellmau/triage/1.61_downgrade v0.3.0-beta.2 Stefan Ellmauthaler 2022-08-02 19:47:06 +02:00
• c4a57bcb84
  
  Rust 1.61 conformity Stefan Ellmauthaler 2022-08-02 19:43:15 +02:00
• fea31f1590
  Update build.yml (#91) Stefan Ellmauthaler 2022-08-02 15:55:30 +02:00
• 1596dc6818
  Prepare files to publish the adf-bdd-bin package (#89) v0.3.0-beta.1 Stefan Ellmauthaler 2022-08-02 15:09:48 +02:00
• d7e71e5da7
  milestone/nogoods (#74) 0.3.0 Stefan Ellmauthaler 2022-08-02 14:02:00 +02:00
• 45700d7224
  Create combine-prs.yml (#86) Stefan Ellmauthaler 2022-08-01 23:35:47 +02:00
• 30c0ca6c30
  Fix badges in the app-doc gh-pages Stefan Ellmauthaler 2022-07-27 12:57:04 +02:00
• fa52a02de0
  Added more links and information to the landing page Stefan Ellmauthaler 2022-07-27 12:53:41 +02:00
• 2b86e745b2
  Fix some style issues Stefan Ellmauthaler 2022-07-27 12:50:04 +02:00
• d4465feea2
  Simple version of gh pages Stefan Ellmauthaler 2022-07-27 12:44:30 +02:00
• b38c64ab5f
  Fix docs string Stefan Ellmauthaler 2022-07-27 12:42:41 +02:00
• 65de1298a6
  mv gh-pages to docs Stefan Ellmauthaler 2022-07-27 12:40:18 +02:00
• c531413192
  Add first documentation structure Stefan Ellmauthaler 2022-07-27 12:38:47 +02:00
• 84aa627159
  Add multithread-safe functionality for the dictionary/ordering Stefan Ellmauthaler 2022-07-27 11:50:14 +02:00
• 00674f7c5e
  Fix facet count tests Stefan Ellmauthaler 2022-07-26 14:42:27 +02:00
• e1b9eeb3b2
  Add metadata to bin/Cargo.toml, add features Stefan Ellmauthaler 2022-07-26 12:19:00 +02:00
• 92a53c47fd
  Merge branch 'main' into milestone/nogoods Stefan Ellmauthaler 2022-07-26 12:04:08 +02:00
• 1163f305fc
  Update Readme for lib to reflect the new NoGood API Stefan Ellmauthaler 2022-07-26 12:03:38 +02:00
• ea1043620a
  Fix broken links in rust-doc Stefan Ellmauthaler 2022-07-26 11:56:51 +02:00
• 6215573925
  Add better test coverage Stefan Ellmauthaler 2022-07-26 11:47:51 +02:00
• 80e1ca998d
  Add test-case to show multi-threaded use of the ng solver Stefan Ellmauthaler 2022-07-26 11:34:16 +02:00
• c6f112b4ed
  Add crossbeam-channel to represent an output-stream of stable models Stefan Ellmauthaler 2022-07-26 10:55:05 +02:00
• d4e31ee8c2
  Update citation.cff Stefan Ellmauthaler 2022-07-18 12:25:30 +02:00
• 62fa2e8c94
  Add citation.cff file Stefan Ellmauthaler 2022-07-18 11:41:20 +02:00
• 7726d27007
  
  Merge remote-tracking branch 'origin/main' into milestone/nogoods Stefan Ellmauthaler 2022-07-18 11:09:33 +02:00
• 493a834388
  Bump clap from 3.1.18 to 3.2.2 -> 3.2.12 (#78) dependabot[bot] 2022-07-18 10:58:45 +02:00
• b7902ef940
  Merge pull request #77 from ellmau/dependabot/cargo/serde_json-1.0.82 dependabot[bot] 2022-07-18 08:28:16 +00:00
• bdbebc137d
  Bump serde_json from 1.0.81 to 1.0.82 dependabot[bot] 2022-07-01 13:09:56 +00:00
• 83b403baf2
  Modified heuristics Stefan Ellmauthaler 2022-06-24 16:06:51 +02:00
• 55e6c30472
  Add new heuristic Stefan Ellmauthaler 2022-06-24 16:02:44 +02:00
• 0dc35d39d5
  Fix tests, which are changed due to the new feature flag Stefan Ellmauthaler 2022-06-23 14:02:53 +02:00
• 4eabf1692b
  Optimise ng learner further on and fix a verification bug Stefan Ellmauthaler 2022-06-23 12:36:20 +02:00
• 86084d7221
  Add ng option with heu to binary Stefan Ellmauthaler 2022-06-22 17:15:51 +02:00
• 5da2c2cf62
  Avoid a Box, support custom heuristics functions Maximilian Marx 2022-06-21 19:45:36 +02:00
• d68d6cca1c
  Ignore perf data (gitignore) Stefan Ellmauthaler 2022-06-21 18:35:25 +02:00
• e7d92918d9
  Add direnv to gitignore Stefan Ellmauthaler 2022-06-21 18:34:31 +02:00
• e7f38c100b
  Fix rustfmt Stefan Ellmauthaler 2022-06-21 18:16:13 +02:00
• e78cd57210
  Update lib/src/nogoods.rs Stefan Ellmauthaler 2022-06-21 18:15:44 +02:00
• f99d6171e9
  Updated rustfmt to match the version on the server-CI Stefan Ellmauthaler 2022-06-21 16:21:07 +02:00
• 273973f378
  Update to trigger a new rustfmt Stefan Ellmauthaler 2022-06-21 16:17:36 +02:00
• 57cdb469a0
  Fix rustfmt Stefan Ellmauthaler 2022-06-21 16:11:30 +02:00