Activity
From 08/19/2020 to 09/17/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... - 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...
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 ...
08/20/2020
- 03:38 PM Revision 9e88590e (lustrec): Merge branch 'dune_transition' of https://cavale.enseeiht.fr/git/lustrec into dune_transition
- 03:37 PM Revision 507da95d (lustrec): Mise à jour README.md
- 03:05 PM Revision fca87593 (lustrec): adding lusic building of libraries when installing includes
- 02:53 PM Revision a89ad528 (lustrec): Cleaning up configure.ac by removing now useless informations
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
- 03:09 PM Revision a5484aa2 (lustrec): reactivating all plugins
- 02:47 PM Revision 8658035f (lustrec): restricting opam to core install
- 02:46 PM Revision e40fd0dd (lustrec): restricting opam to core install
- 02:46 PM Revision 943dbab3 (lustrec): fixed some code in salsa plugin migration
Also available in: Atom