normativeai backend issues

normativeai / backend

GNU General Public License v3.0

3 stars 3 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

Bump jsonwebtoken from 8.4.0 to 9.0.0

#68 dependabot[bot] opened 1 year ago
0
Bump express from 4.16.4 to 4.17.3

#67 dependabot[bot] opened 1 year ago
0
Bump qs, body-parser and express

#66 dependabot[bot] opened 1 year ago
0
Bump decode-uri-component from 0.2.0 to 0.2.2

#65 dependabot[bot] opened 1 year ago
0
Bump async from 2.6.1 to 2.6.4

#64 dependabot[bot] opened 2 years ago
0
Bump pathval from 1.1.0 to 1.1.1

#63 dependabot[bot] opened 2 years ago
0
Bump undefsafe from 2.0.2 to 2.0.5

#62 dependabot[bot] opened 2 years ago
0
Bump tar from 4.4.8 to 4.4.19

#61 dependabot[bot] opened 3 years ago
0
Bump path-parse from 1.0.6 to 1.0.7

#60 dependabot[bot] opened 3 years ago
0
Bump tar from 4.4.8 to 4.4.15

#59 dependabot[bot] closed 3 years ago
1
Bump bson from 1.1.2 to 1.1.6

#58 dependabot[bot] opened 3 years ago
0
Bump lodash from 4.17.11 to 4.17.21

#57 dependabot[bot] opened 3 years ago
0
Bump pug from 2.0.3 to 3.0.1

#56 dependabot[bot] opened 3 years ago
0
Bump pug-code-gen from 2.0.1 to 2.0.3

#55 dependabot[bot] opened 3 years ago
0
Bump ini from 1.3.5 to 1.3.8

#54 dependabot[bot] opened 3 years ago
0
Bump ini from 1.3.5 to 1.3.7

#53 dependabot[bot] closed 3 years ago
1
Bump lodash from 4.17.11 to 4.17.20

#52 dependabot[bot] closed 3 years ago
1
Bump mongodb from 3.1.10 to 3.3.3

#51 dependabot[bot] closed 4 years ago
1
Bump bcrypt from 3.0.2 to 5.0.0

#50 dependabot[bot] opened 4 years ago
0
Bump lodash from 4.17.11 to 4.17.19

#49 dependabot[bot] closed 4 years ago
1
Bump lodash from 4.17.11 to 4.17.15

#48 dependabot[bot] closed 4 years ago
1
Bump mixin-deep from 1.3.1 to 1.3.2

#47 dependabot[bot] opened 5 years ago
0
Bump mongoose from 5.4.0 to 5.7.5

#46 dependabot[bot] closed 4 years ago
1
Support for comment section in theories.

#45 gjgoerke closed 5 years ago
0
Populate user.queries with query.theory

#44 gjgoerke closed 5 years ago
0
New comment field for theories.

#43 gjgoerke closed 5 years ago
0
Return an error message when saving legislation and queries without a name

#42 shaolintl opened 5 years ago
0
Decoupling the formalization from the annotated text

#41 shaolintl opened 5 years ago
1
rename connectives

#39 Gauntlet173 closed 5 years ago
3
choosing legislation should update the available terms

#40 Gauntlet173 opened 5 years ago
1
Queries are not being rerun when the theory is being changed

#38 shaolintl closed 5 years ago
0
Delete "Term Equality"

#37 terezanovot closed 5 years ago
0
Users can enter illegal terms and we want to prevent it as much as possible

#36 shaolintl opened 5 years ago
0
Annotated term in query 2 is not appearing in formalization

#35 terezanovot closed 5 years ago
4
Consistency check of formalization does not work

#34 terezanovot closed 5 years ago
2
Query autoAssumptions contains autoGoal

#33 lex-lex closed 5 years ago
0
Query GET does not include the content attribute

#32 lex-lex closed 5 years ago
0
Cannot save query if content does not contain a goal

#31 lex-lex closed 5 years ago
0
Cannot save query if theory not chosen

#30 lex-lex closed 5 years ago
2
New fields in query object

#29 lex-lex closed 5 years ago
9
Include vocabulary (both auto and manual) in query GET

#28 lex-lex closed 5 years ago
1
Change mleancop timeout messages to give more information

#27 shaolintl closed 5 years ago
13
Add "(Clone)" or similar to cloned theories

#26 lex-lex closed 5 years ago
0
AutoVocabulary full vs. symbol

#25 lex-lex closed 5 years ago
0
Enabling/Disabling autoFormalization facts

#24 lex-lex opened 5 years ago
1
autoFormalization and autoVocabulary is empty

#23 lex-lex closed 5 years ago
10
Supporting independency checking of facts

#22 shaolintl closed 5 years ago
3
Filter "only active facts" for running queries and consistency check

#21 lex-lex closed 5 years ago
1
Backend prover synchronous

#20 shaolintl opened 5 years ago
1
Get list of all theories

#19 lex-lex closed 5 years ago
5