Michiel Stornebrink

False negative Declaration of Foo\Bar::test() must be compatible with Foo\Foo::test(): mixed

1

## Version used Phan 5.4.1 php-ast version 1.0.16 PHP version used to run Phan: 8.1.3 ## The script ```php

Adding Collection node to graph

2

Hi @njh, Thanks very much for work on this great library. I'm using EasyRdf to create graphs from php code. Mainly using methods Graph::resource(), Resource::addResource(), Resource::addLiteral(), etc. It seems to...

Generate OpenAPI specification

4

# Problem In many adminstrative IT-projects, the communication between services causes headaches because interfacing can quickly become complex. Ampersand helps with this problem because interfaces are checked statically. To be...

Purpose The current prototypes generated by Ampersand are generated using AngularJS. This is old technology with a lot of limitations. For that reason we want to use more modern technology:...

First step in adding calculation in Ampersand

22

In relation to the discussion in #207, I propose to do a small experiment to see how we can add calculations to our expressions and what is needed for that....

Performance issue of certain rule formulation

2

Given the script ```adl RELATION prop[A] [PROP] RELATION r[A*B] [UNI] ``` Evaluating the following rule performs very badly: `prop |- I /\ r;('b1' \/ 'b2');r~` When removing the `I /\`...

Check for required Ampersand version

1

Like with dependency management system, I would like to specify the version (range) of the Ampersand compiler that works with my script. This allows to transfer projects and work together...

Improve performance of checking affected conjuncts

1

**Issue** As of the fix for #345 all rule conjuncts that are affected when a relation is edited are checked, including those for the UNI and INJ constraints. Given our...

Fatal 249 SQL cannot create closures

13

Hi Han, I'm getting a fatal error `!fatal 249 (module FSpec.SQL) Ampersand v3.1.0[master:7fedefc] SQL cannot create closures EKl0 (`SELECT * FROM NotExistingKl0`)` when generating the following script: ``` CONTEXT Test...