Ampersand

Ampersand copied to clipboard

Rule names are lost in FSpec

2

While `ampersand-models/ZwolleFrontEnd/EURent/EURent Ontology.adl` has ```` RULE "Promised rental requests": ```` , the generated PDF and HTML have `Rule 84`. Is this a conscious design decision? (`Ampersand-v3.7.3 [development:dee5e24]`)

WolframKahl

Feature request: docker for generating pdf documents

2

I really like using docker for making prototypes. It is very fast too! In fact, while I'm still waiting for 'stack' to install the latest so I can build pdf...

sjcjoosten

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 /\`...

Michiel-s

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...

Michiel-s

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...

Michiel-s

Feature: Atom called ONE

3

# What happened I remember that when we discussed the concept `ONE` in prehistoric times, we decided not to have a syntax for its atom. The idea was that we...

stefjoosten

Concepts without equality

14

# Problem Ampersand currently assumes that equality is defined for all concepts. Suppose we could have concepts on which equality is *not* defined. The type checker could then help the...

stefjoosten

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...

Michiel-s

Disallow I on concepts without equivalence defined.

16

With the introduction of TTYPE, we now have concepts without a proper equivalence relation defined. This already causes errors, because SQL does not allow these concepts as the primary key...

hanjoosten

Technical type should be checked to make mistakes easier to diagnose.

6

# What happened Han was using RAP on his local machine, trying to compile "[Arbeidsduur.adl](https://github.com/AmpersandTarski/Ampersand/blob/2aea634743a21f798d5cda8f10a068374eb85f83/testing/Travis/testcases/Misc/Arbeidsduur.adl)". After compiling Arbeidsduur for over 30 seconds, he got unexpected errors:  I can reproduce...

stefjoosten