 02 Aug, 2016 2 commits


Robbert Krebbers authored

Zhen Zhang authored

 28 Jul, 2016 1 commit


Robbert Krebbers authored
This avoids recompilation of coq_tactics each time an instance is added.

 25 Jul, 2016 2 commits


Robbert Krebbers authored

Robbert Krebbers authored

 22 Jul, 2016 4 commits


Robbert Krebbers authored

Robbert Krebbers authored
Also, add algebra/gset to _CoqProject.

Robbert Krebbers authored

Robbert Krebbers authored
Similar files (gmap, listset, ...) were already in singular form and matched the name of the set/map data type.

 19 Jul, 2016 4 commits


Robbert Krebbers authored

Robbert Krebbers authored

Ralf Jung authored

Ralf Jung authored

 03 Jul, 2016 1 commit


Robbert Krebbers authored

 29 Jun, 2016 1 commit


Robbert Krebbers authored

 27 Jun, 2016 2 commits


Robbert Krebbers authored
This reverts commit 4c056f5e.

JacquesHenri Jourdan authored

 17 Jun, 2016 2 commits


Robbert Krebbers authored

Robbert Krebbers authored

 15 Jun, 2016 1 commit


Robbert Krebbers authored

 01 Jun, 2016 1 commit


JacquesHenri Jourdan authored

 31 May, 2016 1 commit


Robbert Krebbers authored

 30 May, 2016 1 commit


JacquesHenri Jourdan authored

 25 May, 2016 2 commits


Ralf Jung authored

Robbert Krebbers authored

 09 May, 2016 1 commit


Robbert Krebbers authored

 29 Apr, 2016 1 commit


Robbert Krebbers authored

 19 Apr, 2016 1 commit


Robbert Krebbers authored
It is just a test case and not really part of the barrier library.

 13 Apr, 2016 1 commit


Robbert Krebbers authored

 12 Apr, 2016 1 commit


Robbert Krebbers authored
It is not a library; it does not contain code, but instead is a core part of heap_lang.

 11 Apr, 2016 1 commit


Robbert Krebbers authored

 30 Mar, 2016 1 commit


Ralf Jung authored

 29 Mar, 2016 3 commits


Ralf Jung authored
This required a new ectx axiom: Positivity of evaluation contexts. This axiom was also present in the old Iris 1.1 development, back when it still derived lifting axioms for ectx languages.

Ralf Jung authored

Robbert Krebbers authored
Also remove some superfluous map_ prefixes.

 21 Mar, 2016 1 commit


Robbert Krebbers authored

 20 Mar, 2016 2 commits
 17 Mar, 2016 2 commits