Index of modules

A node of a site graph

Abstract domain that abstracts away the interface of agents, and see each rule as a multiset-rewriting reaction over typed agents

Smart constructor

Primitives for handling rule rates when detecting symmetries

Analyzer entry point

signature of abstract domains (with explicit communication)

type declarations and values shared among the abstract domains

Kappa AST just after parsing

* build_graph.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: November, the 12th of 2017 * Last modification: Time-stamp: <Nov 12 2017> * * * Primitives to build site graph in Cckappa * * Copyright 2010,2011,2012,2013,2014 Institut National de Recherche en Informatique et * en Automatique.

* cckappa_sig.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: January, the 17th of 2011 * Last modification: Time-stamp: <Nov 11 2017> * * * Signature for prepreprocessing language ckappa * * Copyright 2010,2011,2012,2013,2014 Institut National de Recherche en Informatique et * en Automatique.

* ckappa_sig.ml * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: 01/17/2011 * Last modification: Time-stamp: <Nov 11 2017> * * * Signature for prepreprocessing language ckappa * * Copyright 2010,2011,2012,2013,2014 Institut National de Recherche en Informatique et * en Automatique.

composite abstract domain (no longer with communications which have been internalized)

Main entry to the story machinery

(internal_states, (agent_type, agent_site) link_states

Simulation progress keeper

Must have length >= 1 (at least T or E)

Array with dynamic size

This domain tracks which rules can be applied, and warns other domains at the first application of a rule

Concrete graph implementation

Main compilation functions

* export.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: Aug 23 2016 * Last modification: Time-stamp: <Aug 07 2017> * * * * Copyright 2010,2011 Institut National de Recherche en Informatique et * en Automatique.

* export.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: June 30 2016 * Last modification: Time-stamp: <Nov 13 2017> * * * * Copyright 2010,2011 Institut National de Recherche en Informatique et * en Automatique.

* export.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: June 30 2016 * Last modification: Time-stamp: <Nov 21 2016> * * * * Copyright 2010,2011 Institut National de Recherche en Informatique et * en Automatique.

* export.mli * openkappa * Jérôme Feret, projet Abstraction/Antique, INRIA Paris-Rocquencourt * * Creation: Aug 23 2016 * Last modification: Time-stamp: <Jan 25 2018> * * * * Copyright 2010,2011 Institut National de Recherche en Informatique et * en Automatique.

Algebraic expression computation

Cartesian product

Signature of array only limited by max_int

* graph_js.ml * * a module for KaSim * Jérôme Feret, projet Antique, INRIA Paris * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 23/05/2016 * Last modification: 25/05/2016 * * * * * Copyright 2016 Institut National de Recherche en Informatique et * en Automatique.

* graph_loggers.mli * * a module for KaSim * Jérôme Feret, projet Antique, INRIA Paris * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 23/05/2016 * Last modification: 25/05/2016 * * * * * Copyright 2016 Institut National de Recherche en Informatique et * en Automatique.

What users wrote when writing its rules

Imperative int set

2-dim matrices with sparse fold/iter

* int_storage.mli * * Creation: <2016-03-14 feret> * Last modification: Time-stamp: <Nov 23 2016> * * openkappa * Jérôme Feret, projet Abstraction, INRIA Paris-Rocquencourt * * * This library provides primitives to deal with storage functions * * Copyright 2010,2011,2012,2013,2014,2015 Institut National * de Recherche en Informatique et en Automatique.

simple array implementation

Utilities on files

Printers (user readable) of Kappa compiled units

Intermediate representation of model on wich sanity has been checked

* LKappa_group_action.ml * openkappa * Jérôme Feret & Ly Kim Quyen, projet Antique, INRIA Paris-Rocquencourt * * Creation: 2016, the 5th of December * Last modification: Time-stamp: <Jun 12 2017> * * Abstract domain to record relations between pair of sites in connected agents.

Implementation of array only limited by max_int

Set union of 2 sorted list When l1 is included in l2: merge_uniq l1 l2 == merge_uniq l2 l1 == l2

Output a JSON value of type Locality.t.

* loggers.mli * * a module for KaSim * Jérôme Feret, projet Antique, INRIA Paris * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 26/01/2016 * Last modification: 25/05/2016 * * * * * Copyright 2016 Institut National de Recherche en Informatique et * en Automatique.

Injection from a pattern in the mixture

Compiled representation of a full Kappa model

Datastructures' functors instantiation

* mvbdu_wrapper.mli * openkappa * Jérôme Feret, projet Abstraction, INRIA Paris-Rocquencourt * * Creation: 08/03/2010 * Last modification: Time-stamp: <Jul 11 2017> * * * This library provides test benchmarks for the library of sets of finite maps from integers to integers * * Copyright 2010 Institut National de Recherche en Informatique et * en Automatique.

Stores a bunch of stuff the user gave a name to

Pathes to explore a mixture

Kappa numbers (either float, int or int64) and operations on them

3-dim expandable matrices

2-dim expandable matrices

expandable 1-dim array

expandable arrays (the size is still limited by max_int

Network/ODE generation * Creation: 22/07/2016 * Last modification: Time-stamp: <Feb 08 2017>

Network/ODE generation * Creation: 22/07/2016 * Last modification: Time-stamp: <Sep 02 2017>

* graph_loggers.ml * * a module for KaSim * Jérôme Feret, projet Antique, INRIA Paris * * KaSim * Jean Krivine, Université Paris-Diderot, CNRS * * Creation: 22/07/2016 * Last modification: Time-stamp: <Jul 25 2016>* * * * * Copyright 2016 Institut National de Recherche en Informatique et * en Automatique.

Network/ODE generation * Creation: 15/07/2016 * Last modification: Time-stamp: <Jul 20 2017>

Compiled algebraic expression

Utilities on option

Deal with simulation output

Abstract domain to over-approximate the set of reachable views

Domain to navigate in the graph

* pattern_group_action.ml * openkappa * Jérôme Feret & Ly Kim Quyen, projet Antique, INRIA Paris-Rocquencourt * * Creation: 2016, the 5th of December * Last modification: Time-stamp: <May 13 2017> * * Abstract domain to record relations between pair of sites in connected agents.

graph_page title deps header core f

Compiled kappa model unit

parameters to tune which event is discarded next

Functor to combine several abstract domains (with explicit communiaction among them)

Utilities to show progress on stdout

expandable 1-dim array with sparse fold/iter

also record the list of key, for more efficient fold/iter

Utilities to make mixtures from traces

This domain tracks which rules can be applied, and warns other domains at the first application of a rule

Our own implementattion of Set and Map

Store definitions of agents

Abstract domain to over-approximate the set of reachable views

Kappa pattern compiler

Event loop module

* contact_map_domain.ml * openkappa * Jérôme Feret & Ly Kim Quyen, project Antique, INRIA Paris * * Creation: 2016, the 22th of February * Last modification: Time-stamp: <Apr 02 2017> * * Abstract domain to record live rules * * Copyright 2010,2011,2012,2013,2014,2015,2016 Institut National de Recherche * en Informatique et en Automatique.

* symmetries.ml * openkappa * Jérôme Feret & Ly Kim Quyen, projet Antique, INRIA Paris-Rocquencourt * * Creation: 2016, the 5th of December * Last modification: Time-stamp: <Jul 18 2017> * * Abstract domain to record relations between pair of sites in connected agents.

Abstract domain to record relations between pair of sites in connected agents.

Misc utilities

Trace of simulation

Elementary rule transformations

Output a JSON value of type User_graph.connected_component.

High-level elementary primitives to generate stories

Abstract domain to over-approximate the set of reachable views