Project

General

Profile

Activity

From 08/17/2020 to 09/15/2020

09/03/2020

06:27 AM Feature #106 (Closed): The NFL should be able to open
https://broncosvssteelersgame.com
The NFL should be able to open its 2020 season on time, but some or all of their t...
Anonymous
06:25 AM Feature #105 (Closed): The NFL should be able to open
https://broncosvssteelersgame.com
The NFL should be able to open its 2020 season on time, but some or all of their t...
Anonymous

08/31/2020

02:56 PM Revision 9b0432bc (lustrec): Using deriving_ppx to derive show_ functions for the main types defined in lib/
Applying the same procedure of operator specialization taken from the C backend to Tiny
Lustrev has now a functional ...
Corentin Lauverjat

08/20/2020

03:38 PM Revision 9e88590e (lustrec): Merge branch 'dune_transition' of https://cavale.enseeiht.fr/git/lustrec into dune_transition
Corentin Lauverjat
03:37 PM Revision 507da95d (lustrec): Mise à jour README.md
Corentin Lauverjat
03:05 PM Revision fca87593 (lustrec): adding lusic building of libraries when installing includes
Pierre-Loïc Garoche
02:53 PM Revision a89ad528 (lustrec): Cleaning up configure.ac by removing now useless informations
Corentin Lauverjat

08/19/2020

03:31 PM Revision a2b101d3 (lustrec): Zustre/Z3 dependency: switched from -R to -rpath to solve compatibility issues with Linux/Gcc vs OSX/Clang
Pierre-Loïc Garoche
03:09 PM Revision a5484aa2 (lustrec): reactivating all plugins
Pierre-Loïc Garoche
02:47 PM Revision 8658035f (lustrec): restricting opam to core install
Pierre-Loïc Garoche
02:46 PM Revision e40fd0dd (lustrec): restricting opam to core install
Pierre-Loïc Garoche
02:46 PM Revision 943dbab3 (lustrec): fixed some code in salsa plugin migration
Pierre-Loïc Garoche
 

Also available in: Atom